[ ホーム
| 講義 ]
2008年度後期・数理解析・計算機数学 III (同 概論III)
レポート課題
講義予定
シラバス
- 第1回 10月1日
- Objective Camlプログラミングの基礎: 定義と型
- 第2回 10月8日
- 多相型と汎関数
- 第3回 10月15日
- 多相型と汎関数
- 関数グラフの描画
- 第4回 10月22日
- 再帰関数
- 10月29日は出張で休講
- 第5回 11月5日
- リストと構造的帰納法
- リストの整列と計算量
- 第6回 11月12日
- 安定整列・再帰的データ構造・探索
- 第7回 11月19日
- 木構造と探索
- 11月26日は出張で休講
- 第8回 12月3日
- グラフの表現と最短経路問題
- 第9回 12月10日
- グラフの表現・オブジェクトと隠蔽
- 第10回 12月17日
- 無限なデータ構造
- 第11回 1月14日
- NP完全問題
- 第12回 1月21日
- 動的計画法
- 第13回 1月28日
- 平行計算
Objective Camlに関する情報源
- Caml@INRIA
- 開発元 (英語)
- ocaml.jp
- 日本語での情報
- Caml@京大数研
- 日本でのダウンロード (英語)
-
OCamlによるプログラミング
- PPLサマースクールでのチュートリアル
最終更新2009.1.28