Coqと一緒にOCamlもあったほうがいいのかな、と。インストールするだけで終わるかもしんないけど。 http://protz.github.io/ocaml-installer/ から ocaml-4.01.0-i686-mingw64-installer3.exe をダウンロード。これは普通のインストーラーです。 デフォルトでは、OCaml以外に ActiveTcl, emacs, cygwinをインストールしようとします。emacsは既に入っているし、cygwinは要らない。ActiveTclは何の関係があるのだろう? ActiveTcl(バージョン 8.5.14.0)は試しに入れることにしたのですが、ActiveTclのインストールは失敗しました。別にいいや。 で、OCamlだけのインストール。インストール先ディレクトリを$OCamlと書くことにします。 OCamlは簡単に入ったけ