タグCOQを含む動画:10件 1ページ目を表示
2024年6月18日 07時09分に生成された05時00分のデータです
2007-10-14 11:19:37
定理証明器Coqの紹介定理証明器Coqを使った、証明のデモです。 [Coqのダウンロードhttp://coq.inria.fr/] [Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yoshihiro503/] [OCaml名古屋http://itpl.co.jp/ocaml-nagoya/]
trivialではないのか 今のCoqだと "No more subgoals" なので少しさみしい 講義でやった〜 Propを使うときはVariableよりHypothesisを使ったほうがわかりやすい ここはapplyよりassumptionを使...
- 3,003
- 511.7
- 10.0
- 311.0 YouTubeで検索
2008-09-03 10:45:29
超未来言語 Gallina - yoshihiro503LL Future (2008-08-30)
今井宜洋 (yoshihiro503)
次 : sm4505381 (shelarcy)
最初: sm4481852 (LL Future 開会宣言)
マイリスト: mylist/8224180
http://ll.jus.or.jp/2008/schemeできるっていうてるやん よく考えて命名規則作らないとすぐ詰まりそうな言語だなぁ w T...
- 1,341
- 302.2
- 00.0
- 171.3 YouTubeで検索
2010-05-24 12:51:37
てすとcoqによるlistの結合が結合律を満すことの証明
ああ aa かなり文字くっきりだね ++の最初がでかくなってるね リストの推移律? ProofGeneraljanai...
- 775
- 749.5
- 00.0
- 20.3 YouTubeで検索
2011-03-05 11:26:40
名古屋Reject会議 mzp2011年2月26日 名古屋Reject会議 mzp http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
弱点の説明があるのはうまし ペアノ数知らん coqって何ぞ 証明駆動やるべし MZP キャーmzpサー...
- 461
- 71.5
- 10.2
- 61.3 YouTubeで検索
2007-10-06 10:42:25
ProofMovieTest定理証明器Coqを使った証明動画のテストです。完成品はsm1276083です。
Printt. Checkt. Qed. applyH. introH. introP. Proof. Theoremt:forallP:Prop,P->P. Printt. Checkt. Qed. applyH. introH. introP. ...
- 271
- 228.1
- 10.4
- 20.7 YouTubeで検索
2010-08-10 11:37:30
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/
学んでみれば分かるよテストが一回も必要ないプログラムが出来る みずぴーさんwww 「バグの...
- 190
- 63.2
- 00.0
- 42.1 YouTubeで検索
2024-04-27 15:58:03
COQで巨大数RTAε0部門COQで巨大数を定義する時間を競います。
- 150
- 42.7
- 85.3
- 10.7 YouTubeで検索
2011-03-05 11:35:59
名古屋Reject会議 yosihiro5032011年2月26日 名古屋Reject会議 yosihiro503 http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
ぼけてる coqの曲を作って,初音ミクに歌わせると言いかも。 coqの弱点もっとだすべし 初音ミ...
- 139
- 53.6
- 00.0
- 42.9 YouTubeで検索
2020-02-24 16:51:13
Coq勉強会coqtokyoの勉強会です
1 1
- 133
- 21.5
- 00.0
- 10.8 YouTubeで検索
2012-11-15 07:56:07
【やまさん】アイロニ すこっぷ 歌ってみたspecial thanks■Music&Words:すこっぷ様■Illustration&Movie:はるはる様はじめまして、やまさん(こきゅう)です。初めての投稿です。コメントいただけると嬉しいです。YouTube にも投稿しています。https://www.youtube.com/user/yamagrb/videos?flow=grid&view=0
普通に池voice
- 91
- 11.1
- 00.0
- 11.1 YouTubeで検索