Objective Caml の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 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 五十嵐淳さん