タグ mzp が登録されている動画 ： 2 件中 1 - 2 件目
種類:
- タグ
- キーワード
対象:
名古屋Reject会議 mzp
2011年2月26日 名古屋Reject会議 mzp http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
CoqでGCを証明してみたよ （ CSNagoya 第5回GC本読書会 vol.5）
CSNagoya 第5回GC本読書会におけるid:mzp さんの発表です。スライド - http://d.hatena.ne.jp/mzp/20100808/gc みずぴー日記 - http://d.hatena.ne.jp/mzp/ CSNagoya - http://www.jamboree.jp/cs/