ニコニコＶＩＰ

HOME

人気タグ⇒ 実況プレイ　ニコニコ技術部　ラジオ　ニコニコ動画講座　ニコニコカラオケDB　R-18　MUGENストーリー　ゆっくり実況　実況プレイ動画　LIVE　

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