Objective Caml
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
- http://caml.inria.fr/
- [[KNOPPIX/Math/2007]] DVD に収録しました。
- [[Coq]], [[Active-DVI]], [[GeoProof]], [[Unison]] 等は Objective Caml で実装されています。
* Book [#b4cd4a7b]
- [[入門OCaml プログラミング基礎と実践理解:http://book.mycom.co.jp/support/bookmook/ocaml/]]
* Link [#id0fc02f]
- [[OCamlプログラミング入門:http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/]] by 坂内英夫さん
- [[2006年 筑波大学 宣言型プログラム OCaml入門:http://www.math.nagoya-u.ac.jp/~garrigue/lecture/tsukuba06/]] by Jacques Garrigueさん
- [[数理科学的バグ撲滅方法論のすすめ - ITPro:http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/?ST=develop]] by 住井英二郎さん
- [[LL魂に参加しました！:http://www.itpl.co.jp/llspirit.html]] by （有）ITプランニングさん
- [[超特急：一時間でわかるML超入門:http://min-caml.sourceforge.net/index2.html]] by 住井英二郎さん
- [[Objective Caml 入門:http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html]] by 五十嵐淳さん
終了行:
- http://caml.inria.fr/
- [[KNOPPIX/Math/2007]] DVD に収録しました。
- [[Coq]], [[Active-DVI]], [[GeoProof]], [[Unison]] 等は Objective Caml で実装されています。
* Book [#b4cd4a7b]
- [[入門OCaml プログラミング基礎と実践理解:http://book.mycom.co.jp/support/bookmook/ocaml/]]
* Link [#id0fc02f]
- [[OCamlプログラミング入門:http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/]] by 坂内英夫さん
- [[2006年 筑波大学 宣言型プログラム OCaml入門:http://www.math.nagoya-u.ac.jp/~garrigue/lecture/tsukuba06/]] by Jacques Garrigueさん
- [[数理科学的バグ撲滅方法論のすすめ - ITPro:http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/?ST=develop]] by 住井英二郎さん
- [[LL魂に参加しました！:http://www.itpl.co.jp/llspirit.html]] by （有）ITプランニングさん
- [[超特急：一時間でわかるML超入門:http://min-caml.sourceforge.net/index2.html]] by 住井英二郎さん
- [[Objective Caml 入門:http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html]] by 五十嵐淳さん
ページ名:
![[PukiWiki]](image/knxmpen.png "[PukiWiki]")
