動画の説明文：
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロードhttp://coq.inria.fr/] [Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yoshihiro503/] [OCaml名古屋http://itpl.co.jp/ocaml-nagoya/]
登録されているタグ：
この動画をご覧いただくには ニコニコ動画アカウント でログインしてください。
 |  |
この動画をお気に入り登録したコメント(マイリストコメント) …
|
RamosITL さん CoQ |
この動画に関連した商品(by ニコニコ市場) …
| ニコニコ市場 は動画に関連した商品を動画に登録できるサービスです | Amazon.co.jp アソシエイト |
この動画に関連した動画
| 関連動画はありません |
動画トップ … 掲示板 - ヘルプ- 利用規約 | 台湾版(Taiwan)
- 動画を投稿される方へ - 動画に使用できる音源の検索 - フィッシング詐欺にご注意ください - 広告出稿に関するお問い合わせ -
総動画数：7,265,357 ／ 総再生数：29,867,462,355 ／ 総コメント数：3,525,380,238
【推奨環境】
OS：Windows XP, Vista, 7 & Mac OS X Leopard, Snow Leopard
ブラウザ：Internet Explorer, Firefox, Safari(Mac版のみ), 各最新版
プラグイン：Adobe Flash Player 10以降
その他：クッキー(cookie)制限をしている場合は nicovideo.jp を許可
