ニコニコVIP


HOME



人気タグ⇒ 実況プレイ動画 車載動画 スポーツ ニコニコ動画講座 CoD SFC 初音ミク 女性実況 自然 


名古屋Reject会議 mzp



投稿日:2011-03-05 11:26:40
長さ:00:18:57
PV:400  コメ:7  マイリス:6

ニコニコ技術部 Coq 証明駆動開発 mzp NagoyaReject ocaml-nagoya プログラミング    

CoqでGCを証明してみたよ ( CSNagoya 第5回GC本読書会 vol.5)



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

科学 Coq GC FORMEL mzp