ニコニコＶＩＰ

HOME

人気タグ⇒ 戦国大戦　iM@S架空戦記シリーズ　ゆっくり実況プレイ　実況　ダークソウル　ガンスリンガーストラトス　遊戯王　東方MMD　ゆっくり実況　涼宮ハルヒの憂鬱　

定理証明器デモ

定理証明器Coqを使った、証明のデモです。　[Coqのダウンロードhttp://coq.inria.fr/]　　[Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yoshihiro503/]　　[OCaml名古屋http://itpl.co.jp/ocaml-nagoya/]

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

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