[ ホーム
| 講義 ]
2009年度後期・数理解析・計算機数学 III (同 概論III)
レポート課題
講義予定
シラバス (修正版)
- 第1回 10月7日
- Objective Camlプログラミングの基礎: 定義と型
- 第2回 10月14日
- 多相型と汎関数
- 第3回 10月21日
- 関数グラフの描画
- 再帰関数
- 10月28日は出張で休講
-
- 第4回 11月4日
- リストと構造的帰納法
- 第5回 11月11日
- 再帰的アルゴリズム1
- 第6回 11月18日
- 再帰的アルゴリズム2
- 第7回 11月25日
- GUIとグラフィックス
- 第8回 12月2日
- Coqで関数型プログラミング
- 第9回 12月9日
- Coqの論理
- 第10回 12月16日
- 述語論理と帰納法
- 第11回 1月13日
- 帰納的な定義
- 第12回 1月20日
- プログラムの証明1
- 第13回 1月27日
- プログラムの証明2
Objective Camlに関する情報源
- Caml@INRIA
- 開発元 (英語)
- ocaml.jp
- 日本語での情報
- Caml@京大数研
- 日本でのダウンロード (英語)
-
OCamlによるプログラミング
- PPLサマースクールでのチュートリアル
最終更新2010.1.27