Objective Caml
の編集
http://mathlibre.org/wiki/?Objective+Caml
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
- 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]")
