タグ Formel が登録されている動画 ： 4 件中 1 - 4 件目

種類:

対象:

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

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

CSNagoya 第5回GC本読書会におけるid:mzp さんの発表です。スライド - http://d.hatena.ne.jp/mzp/20100808/gc みずぴー日記 - http://d.hatena.ne.jp/mzp/ CSNagoya - http://www.jamboree.jp/cs/

http://www.nicovideo.jp/watch/sm11698415

てすと

てすと

coqによるlistの結合が結合律を満すことの証明

http://www.nicovideo.jp/watch/sm10828608

定理証明器Coqの紹介

定理証明器Coqの紹介

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

http://www.nicovideo.jp/watch/sm1276083

ProofMovieTest

ProofMovieTest

定理証明器Coqを使った証明動画のテストです。完成品はsm1276083です。

http://www.nicovideo.jp/watch/sm1212567