キーワード OCaml が含まれる動画 ： 22 件中 1 - 22 件目
種類:
- タグ
- キーワード
対象:
関数型言語のキモ【関数型で学ぶ初めてのプログラミング】
明けましておめでとうございます□✨今年も数学と親しくなるため頑張っていきます□
まだ何が何だかわからぬまま進んでおりますが、今回はキモを学ぶようです。ここを押さえればもう完璧…！？
練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/lates...
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
if式は型でがんじがらめがイイ！【関数型で学ぶ初めてのプログラミング】
練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/latest/manual/files/toplevel/#code=KDEuMCwgMi4wKTs7CigyMDIzLCAxLCAxMCk7OwpsZXQgYXV0aG9yID0gKCJBdHN1c2hpIiAsICJJZ2FyYXNoaSAiLCAxNzQuMCwgNjEuMCk7OwpsZXQgKGZpcnN0bmFtZSAsIGxhc3RuYW1lLCBoZWlnaHQgLHdlaWdodCkgPSBhdXRob3I7OwpsZXQgYXZlcmFnZSBwID07OwpsZXQgYXZlcmFnZSBwID0KICBsZXQgKHgsIHkpID0gcCBpbgogICh4ICsuIHkgKSAvLiAyLjA7OwphdmVyYWdlICgyLjUsIDQuOCk7Owo%3D
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
【OCaml】ナイスガイ！？パターンマッチングの登場!【関数型で学ぶ初めてのプログラミング】
練習サイトリンク↓
https://ocsigen.org/js_of_ocaml/latest/manual/files/toplevel/#code=KDEuMCwgMi4wKTs7CigyMDIzLCAxLCAxMCk7OwpsZXQgYXV0aG9yID0gKCJBdHN1c2hpIiAsICJJZ2FyYXNoaSAiLCAxNzQuMCwgNjEuMCk7OwpsZXQgKGZpcnN0bmFtZSAsIGxhc3RuYW1lLCBoZWlnaHQgLHdlaWdodCkgPSBhdXRob3I7OwpsZXQgYXZlcmFnZSBwID07OwpsZXQgYXZlcmFnZSBwID0KICBsZXQgKHgsIHkpID0gcCBpbgogICh4ICsuIHkgKSAvLiAyLjA7OwphdmVyYWdlICgyLjUsIDQuOCk7Owo%3D
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
【OCaml】再帰を理解するLEVEL2【関数型で学ぶ初めてのプログラミング】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
OCamlは束縛が激しい！？【関数型で学ぶ初めてのプログラミング】
第４回！束縛が激しい、とは…？
★使用しているサイト
https://ocsigen.org/js_of_ocaml/lates...
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
【関数型で学ぶ初めてのプログラミング】リストを分析する【パターンマッチング再び！】
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
【OCaml】再帰を理解する【関数型で学ぶ初めてのプログラミング】
階乗への尊敬を取り戻し、深淵に旅立ったOcamlに申し訳なさを感じるももこの回。
練習サイトリンクhttps://ocsigen.org/js_of_ocaml/lates...
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
【番外編】OCamlのインストール【関数型で学ぶ初めてのプログラミング】
opam自体のインストールは次の一行でできます。
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)"
出典
五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014）
名古屋Reject会議 dico_leque
2011年2月26日 名古屋Reject会議 dico_leque http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 (mylist/24198962)
春香さんと一緒に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/
名古屋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)
超未来言語 Gallina - yoshihiro503
LL Future (2008-08-30)
今井宜洋 (yoshihiro503)
次 : sm4505381 (shelarcy)
最初: sm4481852 (LL Future 開会宣言)
マイリスト: mylist/8224180
http://ll.jus.or.jp/2008/
棒リモコンでネギ振ってみた (F#+XNA)
VS2010を入れてみたら謎の言語が増えていたので書いてみた
関数型言語とやらは初めてなのでおかしいところがあると思われ。
ソース (工事中) → http://nazocode.web.fc2.com/
素材をお借りさせていただきました。ありがとうございます。
画像 : ドット絵はちゅねミク (袴っ娘推進委員会 様)
関連動画 → mylist/16159193
定理証明器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)へのコメントに感謝します。改良点:完成図を表示しました。