[B! Coq][*面白い] mzpのブックマーク

mzp id:mzp

Coqと*面白いに関するmzpのブックマーク (2)

Coqでニコニコ :-] - にわとり小屋でのプログラミング
Coqで証明をする動画を作って、にこにこ動画に公開した。 http://www.nicovideo.jp/watch/sm1276083
mzp 2007/10/16
*面白い

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

*面白い

Coq
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx