情報科学実験I ML演習
担当
飯塚 大輔, 後藤 哲志, 前田 俊行 (講義は飯塚と後藤が担当)
講義資料
第 1 回 - スライド (2007年6月5日更新)
(ODP)
(PDF)
| optional 課題
(PDF)
第 2 回 - スライド (2007年6月12日更新)
(ODP)
(PDF)
第 3 回 - スライド (2007年6月19日更新)
(ODP)
(PDF)
| 課題
(PDF)
第 4 回 - スライド (2007年7月10日更新)
(ODP)
(PDF)
| 授業で使用したソース
(tar.gz)
(解凍したもの)
第 5 回 - スライド (2007年7月10日更新)
(ODP)
(PDF)
| MiniMLの式、環境、値、評価規則
(PDF)
| 授業で使用したソース
(tar.gz)
(解凍したもの)
第 6 回 - スライド (2007年7月10日更新)
(ODP)
(PDF)
| 授業で使用したソース
(tar.gz)
(解凍したもの)
第 7 回 - スライド (2007年7月17日更新)
(ODP)
(PDF)
| MiniMLの型判定規則
(PDF)
| 授業で使用したソース
(tar.gz)
(解凍したもの)
第 8 回 - スライド (2007年7月17日更新)
(ODP)
(PDF)
| ソース
(tar.gz)
(解凍したもの)
参考資料
The Caml language (OCaml総本山)
OCamlのマニュアル (Part I の introduction が分かりやすい. Part IV のライブラリリファレンスには目を通しておくとよい.)
Developing Applications with Objective Caml
Programming with Objective Caml (OCamlのライブラリなど)