タグ ocaml-nagoya が登録されている動画 ： 7 件中 1 - 7 件目
種類:
- タグ
- キーワード
対象:
定理証明器Coqの紹介
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロードhttp://coq.inria.fr/] [Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yoshihiro503/] [OCaml名古屋http://itpl.co.jp/ocaml-nagoya/]
javascriptでマインスイーパを作ってみた
prototype.js と script.aculo.us を利用してマインスイーパを作ります。Scheme使いなので、Array.eachやArray.mapが頻出します。２倍速で再生しています。公開元はこちらhttp://d.hatena.ne.jp/Gemma/20070909β版(sm1084313)へのコメントに感謝します。改良点:完成図を表示しました。
超未来言語 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会議 keigoi
2011年2月26日 名古屋Reject会議 keigoi http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
名古屋Reject会議 osiire
2011年2月26日 名古屋Reject会議 osiire http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
名古屋Reject会議 dico_leque
2011年2月26日 名古屋Reject会議 dico_leque http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)