= 関数・論理型プログラミング実験 =
= ML演習 2011 = #titleheading

本演習では、[http://en.wikipedia.org/wiki/ML_%28programming_language%29 ML] 言語の一種である [http://caml.inria.fr/ Objective Caml (O'Caml)] の基礎的な使い方と簡単なMLインタプリタの作り方を学びます。

= 担当 =
[/~arai 新井淳也]、中村宇佑、[/~tosh 前田俊行]

= 講義 =
 * 第1回 (2011年04月05日) (資料 [attachment:ml2011-1.pdf PDF], [attachment:ml2011-1.pptx pptx]: 2011/04/05 15:27 更新)
 * 第2回 (2011年04月19日) (資料 [attachment:ml2011-2.pdf PDF], [attachment:ml2011-2.pptx pptx]: 2011/05/24 16:32 更新: 相互再帰的な型の定義についての説明を追加しました。)
 * 第3回 (2011年04月26日) (資料 [attachment:ml2011-3.pdf PDF], [attachment:ml2011-3.pptx pptx]; ソース [attachment:lecture3.tar.gz tar.gz]: 2011/04/26 14:25 更新)
 * 第4回 (2011年05月10日) (資料 [attachment:ml2011-4.pdf PDF], [attachment:ml2011-4.pptx pptx]; ソース [attachment:lecture4.tar.gz tar.gz]: 2011/05/10 15:02 更新)
 * 第5回 (2011年05月17日) (資料 [attachment:ml2011-5.pdf PDF], [attachment:ml2011-5.pptx pptx]: 2011/05/17 14:03 更新)
 * 第6回 (2011年05月24日) (資料 [attachment:ml2011-6.pdf PDF], [attachment:ml2011-6.pptx pptx]; 付録 [attachment:ml2011-6-typing.pdf PDF]: 2011/06/06 21:17 更新: 間違いのある古い付録ファイルを誤って配布・掲載してしまっていましたので正しいファイルに差し替えました。)
 * 第7回 (2011年05月31日) (資料 [attachment:ml2011-7.pdf PDF], [attachment:ml2011-7.pptx pptx]: 2011/05/31 16:07 更新)
 * 第8回 (2011年05月31日) (資料 [attachment:ml2011-8.pdf PDF], [attachment:ml2011-8.pptx pptx]; ソース [attachment:lecture8.tar.gz tar.gz]: 2011/05/31 16:07 更新)

= 参考資料 =

 * [http://caml.inria.fr/ The Caml Language]
   * [http://caml.inria.fr/pub/docs/manual-ocaml/index.html O'Caml のマニュアル]
   * [http://caml.inria.fr/pub/docs/oreilly-book/ Developing Applications With Objective Caml]
 * [http://ocaml.jp/ OCaml.jp]
   * [http://ocaml.jp/archive/ocaml-manual-3.06-ja/ O'Caml のマニュアル (和訳版)] (ちょっと古い)
 * [http://www.camlcity.org/ Camlcity.org]
 * [http://www.amazon.co.jp/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0-OCaml-~%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E3%81%AE%E5%9F%BA%E7%A4%8E%E3%81%8B%E3%82%89GUI%E6%A7%8B%E7%AF%89%E3%81%BE%E3%81%A7~-%E4%BA%94%E5%8D%81%E5%B5%90-%E6%B7%B3/dp/4774132640 プログラミング in OCaml]
 * [http://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages]