-[[OCaml.jp:http://ocaml.jp/]] -[[OCaml プログラミング入門:http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/]] -[[数理科学的バグ撲滅方法論のすすめ:http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/?ST=develop]]