ニコニコＶＩＰ

HOME

人気タグ⇒ BO2　ボーダーブレイク外部出力　踊ってみた　ポケモン　RPG　PS3　ミクオリジナル曲　VOCALOIDカバー曲　VOCALOID→UTAUカバー曲　ミクオリジナル曲　

名古屋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