2010年度後期・数理解析・計算機数学 III (同 概論III)

レポート課題

• プログラミング課題 提出期限 2010年12月 27日(月)
• レポート課題 提出期限 2010年2月7日(月) (M2は1月28日(金))

講義予定

第1回 10月6日 (10人)

Objective Camlプログラミングの基礎: 定義と型

• 講義メモ
• 資料 EmacsでOCamlを使う (修正版)

第2回 10月13日 (7人)

多相型と汎関数

第3回 10月20日 (6人)

関数の証明と再帰関数

第4回 10月27日 (3人)

関数グラフの描画

• 関数描画ライブラリー plot.ml plot.mli

リストと構造的帰納法

第5回 11月10日 (3人)

再帰的アルゴリズム1：リストと整列

• 講義メモ

第6回 11月17日 (3人)

再帰的アルゴリズム2：木構造と数式処理

• 講義メモ

第7回 11月24日 (6人)

Coqで関数型プログラミング

• Emacs用設定
• 講義メモ

12月1日　休講

第8回 12月8日 (6人)

Coqの論理

• 講義メモ

第9回 12月15日

述語論理と帰納法

• 講義メモ

第10回 12月22日

帰納的な定義

• 講義メモ

第11回 1月12日

プログラムの証明1

• 講義メモ

第12回 1月19日

プログラムの証明2

• 講義メモ

第13回 1月26日

依存型プログラミング

• 講義メモ

Objective Camlに関する情報源

Caml@INRIA

開発元 (英語)

ocaml.jp

日本語での情報

Caml@京大数研

日本でのダウンロード (英語)

OCamlによるプログラミング

PPLサマースクールでのチュートリアル