ニコニコVIP
HOME
人気タグ⇒
涼宮ハルヒの憂鬱
もっと評価されるべき
進撃の巨人
マリオ
アイドルマスター2
プロ野球
三国志大戦3
歴史
三国志
AxisPowersヘタリア
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