タグを含む動画 : 7件
「ocaml-nagoya」の記事はまだ書かれていません記事を書く
関連タグ
ocaml-nagoya を含むタグ一覧
検索ヘルプ
この機能をご利用いただくには、会員登録する必要があります。
2008/09/03 10:45投稿
超未来言語 Gallina - yoshihiro503
LL Future (2008-08-30)今井宜洋 (yoshihiro503) 次 : sm4505381 (shelarcy) 最初: sm4481852 (LL Future 開会宣言) マイリスト: mylist/8224180http://ll.jus.or.j...
schemeできるっていうてるやん よく考えて命名規則作らないとすぐ詰まりそうな言語だなぁ w T...
2011/03/05 11:29投稿
名古屋Reject会議 osiire
2011年2月26日 名古屋Reject会議 osiire http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
2003年から議論 型推論ができる実用的な技術 coqでおなじみのInductivetypeは型推論ができない 代...
2011/03/05 11:26投稿
名古屋Reject会議 mzp
2011年2月26日 名古屋Reject会議 mzp http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
弱点の説明があるのはうまし ペアノ数知らん coqって何ぞ 証明駆動やるべし MZP キャーmzpサー...
ニコニ広告
センシティブな内容が含まれている可能性のあるコンテンツです。
2011/03/05 11:20投稿
名古屋Reject会議 keigoi
2011年2月26日 名古屋Reject会議 keigoi http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
88888888 ポケットにocamlを忍ばせてwwwww 昨日公開!? ocamlとHTML5とな! 画質いいね androidでの利点は?...
2011/03/05 11:07投稿
名古屋Reject会議 dico_leque
2011年2月26日 名古屋Reject会議 dico_leque http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
呼び方の説明は納得。こう呼び方の説明は納得。こういうことをちゃんと説明する人は偉い...
2007/10/14 11:19投稿
定理証明器Coqの紹介
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロードhttp://coq.inria.fr/] [Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yos...
trivialではないのか 今のCoqだと "No more subgoals" なので少しさみしい 講義でやった〜 Propを使うときはVariableよりHypothesisを使ったほうがわかりやすい ここはapplyよりassumptionを使...
2007/09/22 13:27投稿
javascriptでマインスイーパを作ってみた
prototype.js と script.aculo.us を利用してマインスイーパを作ります。Scheme使いなので、Array.eachやArray.mapが頻出します。2倍速で再生しています。公開元はこち...
w せっかくなので 高画質 何というクロージャマンセー動画 定義済みだよ るー つーか$Rはつ...
関連するチャンネルはありません
ocaml-nagoyaに関するチャンネルが件見つかりました
他のチャンネルを探してみませんか?
全ての関連チャンネルを見る
関連するコミュニティはありません
ocaml-nagoyaに関するコミュニティが件見つかりました
動画:
フォロワー数:
レベル:
コミュニティを開設してみませんか?
全ての関連コミュニティを見る