ニコニコVIP


HOME



人気タグ⇒ ゲーム実況 VOCALOID→UTAUカバー曲 ドラクエ MHP3 Wii 戦国大戦 実況 三国志大戦3 バイク PS 


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



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

科学 Coq GC FORMEL mzp      

てすと



投稿日:2010-05-24 12:51:37
長さ:00:01:33
PV:738  コメ:74  マイリス:2

その他 Coq FORMEL        

超未来言語 Gallina - yoshihiro503



投稿日:2008-09-03 10:45:29
長さ:00:05:17
PV:887  コメ:29  マイリス:16

LLFuture TechTalk GALLINA Coq sm1276083 関数型言語 ocaml-nagoya FORMEL   

定理証明器デモ



投稿日:2007-10-14 11:19:37
長さ:00:02:14
PV:2106  コメ:36  マイリス:32

Coq バイオリン ニコニコ動画講座 GALLINA ocaml-nagoya ライブコーディング 全部俺 FORMEL プログラミング  

ProofMovieTest



投稿日:2007-10-06 10:42:25
長さ:00:01:34
PV:227  コメ:22  マイリス:2

科学 Coq Formel