タグ COQ が登録されている動画 ： 10 件中 1 - 10 件目
種類:
- タグ
- キーワード
対象:
定理証明器Coqの紹介
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロードhttp://coq.inria.fr/] [Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yoshihiro503/] [OCaml名古屋http://itpl.co.jp/ocaml-nagoya/]
超未来言語 Gallina - yoshihiro503
LL Future (2008-08-30)
今井宜洋 (yoshihiro503)
次 : sm4505381 (shelarcy)
最初: sm4481852 (LL Future 開会宣言)
マイリスト: mylist/8224180
http://ll.jus.or.jp/2008/
名古屋Reject会議 mzp
2011年2月26日 名古屋Reject会議 mzp http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
名古屋Reject会議 yosihiro503
2011年2月26日 名古屋Reject会議 yosihiro503 http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
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/
【やまさん】アイロニ すこっぷ 歌ってみた
special thanks■Music＆Words：すこっぷ様■Illustration&Movie：はるはる様はじめまして、やまさん（こきゅう）です。初めての投稿です。コメントいただけると嬉しいです。YouTube にも投稿しています。https://www.youtube.com/user/yamagrb/videos?flow=grid&view=0