OCaml - nicozon

javascriptでマインスイーパを作ってみた

prototype.js と script.aculo.us を利用してマインスイーパを作ります。Scheme使いなので、Array.eachやArray.mapが頻出します。２倍速で再生しています。公開元はこちらhttp://d.hatena.ne.jp/Gemma/20070909β版(sm1084313)へのコメントに感謝します。改良点:完成図を表示しました。

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

定理証明器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

超未来言語 Gallina - yoshihiro503

LL Future (2008-08-30)
今井宜洋 (yoshihiro503)

次　: sm4505381 (shelarcy)
最初: sm4481852 (LL Future 開会宣言)
マイリスト: mylist/8224180

http://ll.jus.or.jp/2008/

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

春香さんと一緒にOCamlでSDLを使おう！ - niha

SDLオフ 2009年夏 (2009-09-23)
http://gonypage.jp:10080/proj/wiki/SDL_2009%E5%A4%8F

マイリスト: mylist/15007094
この動画はCreative Commons「表示」を適用します
http://creativecommons.org/licenses/by/2.1/jp/

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

棒リモコンでネギ振ってみた (F#+XNA)

VS2010を入れてみたら謎の言語が増えていたので書いてみた
関数型言語とやらは初めてなのでおかしいところがあると思われ。
ソース (工事中) → http://nazocode.web.fc2.com/

素材をお借りさせていただきました。ありがとうございます。
画像 : ドット絵はちゅねミク (袴っ娘推進委員会様)

関連動画 → mylist/16159193

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

名古屋Reject会議 dico_leque

2011年2月26日名古屋Reject会議 dico_leque http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)

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

名古屋Reject会議 keigoi

2011年2月26日名古屋Reject会議 keigoi http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)

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

名古屋Reject会議 mzp

2011年2月26日名古屋Reject会議 mzp http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)

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

名古屋Reject会議 osiire

2011年2月26日名古屋Reject会議 osiire http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)

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

プログラミング未経験者が関数型言語OCamlに挑みます

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

関数型プログラミングを書いてみよう【関数型で学ぶ初めてのプログラミング】

出典
五十嵐淳著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）

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

衝撃！intは整数じゃない！！？【関数型で学ぶ初めてのプログラミング】

出典
五十嵐淳著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）

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

明けましておめでとうございます□✨今年も数学と親しくなるため頑張っていきます□
まだ何が何だかわからぬまま進んでおりますが、今回はキモを学ぶようです。ここを押さえればもう完璧…！？

練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/lates...

出典
五十嵐淳著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）

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

if式は型でがんじがらめがイイ！【関数型で学ぶ初めてのプログラミング】

練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/latest/manual/files/toplevel/#code=KDEuMCwgMi4wKTs7CigyMDIzLCAxLCAxMCk7OwpsZXQgYXV0aG9yID0gKCJBdHN1c2hpIiAsICJJZ2FyYXNoaSAiLCAxNzQuMCwgNjEuMCk7OwpsZXQgKGZpcnN0bmFtZSAsIGxhc3RuYW1lLCBoZWlnaHQgLHdlaWdodCkgPSBhdXRob3I7OwpsZXQgYXZlcmFnZSBwID07OwpsZXQgYXZlcmFnZSBwID0KICBsZXQgKHgsIHkpID0gcCBpbgogICh4ICsuIHkgKSAvLiAyLjA7OwphdmVyYWdlICgyLjUsIDQuOCk7Owo%3D

出典
五十嵐淳著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）

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

【OCaml】ナイスガイ！？パターンマッチングの登場!【関数型で学ぶ初めてのプログラミング】

練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/latest/manual/files/toplevel/#code=KDEuMCwgMi4wKTs7CigyMDIzLCAxLCAxMCk7OwpsZXQgYXV0aG9yID0gKCJBdHN1c2hpIiAsICJJZ2FyYXNoaSAiLCAxNzQuMCwgNjEuMCk7OwpsZXQgKGZpcnN0bmFtZSAsIGxhc3RuYW1lLCBoZWlnaHQgLHdlaWdodCkgPSBhdXRob3I7OwpsZXQgYXZlcmFnZSBwID07OwpsZXQgYXZlcmFnZSBwID0KICBsZXQgKHgsIHkpID0gcCBpbgogICh4ICsuIHkgKSAvLiAyLjA7OwphdmVyYWdlICgyLjUsIDQuOCk7Owo%3D

出典
五十嵐淳著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）

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