| | 1 | = 関数・論理型プログラミング実験 = |
| | 2 | = ML演習 2011 = #titleheading |
| | 3 | |
| | 4 | 本演習では、[http://en.wikipedia.org/wiki/ML_%28programming_language%29 ML] 言語の一種である [http://caml.inria.fr/ Objective Caml (O'Caml)] の基礎的な使い方と簡単なMLインタプリタの作り方を学びます。 |
| | 5 | |
| | 6 | = 担当 = |
| | 7 | [/~arai 新井淳也]、[中村宇佑]、[/~tosh 前田俊行] |
| | 8 | |
| | 9 | = 講義 = |
| | 10 | * 第1回 (2011年04月05日) |
| | 11 | * 第2回 (2011年04月12日) |
| | 12 | * 第3回 (2011年04月19日) |
| | 13 | * 第4回 (2011年04月26日) |
| | 14 | * 第5回 (2011年05月10日) |
| | 15 | * 第6回 (2011年05月17日) |
| | 16 | * 第7回 (2011年05月24日) |
| | 17 | * 第8回 (2011年05月24日) |
| | 18 | |
| | 19 | = 参考資料 = |
| | 20 | |
| | 21 | * [http://caml.inria.fr/ The Caml Language] |
| | 22 | * [http://caml.inria.fr/pub/docs/manual-ocaml/index.html O'Caml のマニュアル] |
| | 23 | * [http://caml.inria.fr/pub/docs/oreilly-book/ Developing Applications With Objective Caml] |
| | 24 | * [http://ocaml.jp/ OCaml.jp] |
| | 25 | * [http://ocaml.jp/archive/ocaml-manual-3.06-ja/ O'Caml のマニュアル (和訳版)] (ちょっと古い) |
| | 26 | * [http://www.camlcity.org/ Camlcity.org] |
| | 27 | * [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] |
| | 28 | * [http://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] |
