ocaml-nagoya 数理科学的バグ撲滅方法論のすすめ 第8回 独自のプログラミング言語を開発してみよう(その1) http://itpro.nikkeibp.co.jp/article/COLUMN/20070313/264645/