[ ホーム
| 講義 ]
2007年度後期・数理解析・計算機数学 III (同 概論III)
レポート課題
講義予定
シラバス
- 第1回 10月3日 出席8人
- Objective Camlプログラミングの基礎: 定義と型
- 第2回 10月10日 出席8人
- 多相型と汎関数
- 第3回 10月17日 出席9人
- 多相型と汎関数
- 関数グラフの描画
- 第4回 10月24日 出席8人
- 再帰関数
- 第5回 10月31日 出席5人
- リストと構造的帰納法
- 第6回 11月7日 出席5人
- リストの整列と再帰データ型
- 第7回 11月14日 出席5人
- 再帰データ型の応用
- 第8回 11月21日 出席4人
- グラフィックスとGUI
- 第9回 11月28日 出席5人
- 再帰関数と数式処理
- 第9回 12月5日 出席5人
- 数式の正規化
- 第10回 12月12日 出席5人
- 推論と単一化
- 第11回 12月19日 出席5人
- 推論と単一化
- 第12回 1月16日 出席3人
- 型推論
- 第13回 1月23日
- 無限なデータ構造
- 第14回 1月30日
- 動的計画法
Objective Camlに関する情報源
- Caml@INRIA
- 開発元 (英語)
- ocaml.jp
- 日本語での情報
- 日本語マ
ニュアル
- リファレンスマニュアルの日本語版
- Caml@京大数研
- 日本でのダウンロード (英語)
-
OCamlによるプログラミング
- PPLサマースクールでのチュートリアル
最終更新2008.1.29