ニコニコVIP


HOME



人気タグ⇒ 音楽 GUMI 三国志大戦3 K-POP 実況プレイPart1リンク 描いてみた アトラス ボカロオリジナルを歌ってみた 春香 これはひどい 



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/

投稿日:2010-08-10 11:37:30
長さ:00:10:33
PV:121  コメ:6  マイリス:5

科学 Coq GC FORMEL mzp