2011年度後期・数理解析・計算機数学 III[ ホーム | 講義 ] 2011年度後期・数理解析・計算機数学 III (同 概論III) レポート課題 プログラミング課題 提出期限 2012年1月 11日(水) レポート課題 提出期限 2012年2月7日(火) (M2は1月27日(金)) 講義予定 シラバス 第1回 10月12日 Objective Camlプログラミングの基礎: 定義と型 講義メモ 資料 EmacsでOCamlを使う (修正版) 第2回 10月19日 多相型と汎関数 第3回 10月26日 関数の証明と再帰関数 関数グラフの描画 関数描画ライブラリー plot.ml plot.mli 第4回 11月2日 リストと構造的帰納法 再帰的データ構造 講義メモ 第5回 11月9日 再帰的アルゴリズム：リストと木構造 講義メモ 第6回 11月16日 再帰的アルゴリズム2：木構造と数式処理 第7回 11月30日 GUIとグラフィ
