[GB12901] ソフトウェア技法

講義資料

概要: 関数プログラミングとOCaml
基礎: OCamlの起動と終了、ファイルの読み込み、変数と関数の定義: 資料1 [確定版]
基本データ型: 真理値、整数、浮動点小数、文字、文字列: 資料2 [2017/7/12 演習問題の説明文の誤植を修正しました]
再帰プログラミング(1): 自然数上の再帰関数: 資料 3 [2017/7/6 演習問題を少し改訂しました, 2017/7/12 ほんのわずかに説明を改訂しました]
再帰プログラミング(2): リストとリスト上の再帰: 資料4 [2017/7/12 資料4の説明を少し改善し failwith の説明を加え、また、演習問題を一部改訂しました]
ミニプロジェクトその1(中間レポート): ミニプロジェクトその1資料、この資料のファイルは coinsマシンの ~kam/ocaml/proj1-tabaicho.ml という名前で置いてありますので、適宜コピーして使ってください。
型システム: 資料5 [2017/7/26 16:15更新、ex8を削除]、代数的データ型資料6 [2017/7/28 10:28更新]
ミニプロジェクトその2(最終レポート): ミニプロジェクトその2資料
高階関数資料7、末尾再帰その他資料8
2016年度のミニプロジェクトの資料9

補足資料:

スケジュールは若干前後する可能性があります。

第1週 (7/5 7/7)..資料1,2, 3(一部)
第1週のレポート 7/10 締め切り (資料1,2の演習問題)
第2週 (7/12, 7/14)..資料3(残り),4,ミニプロジェクトその1の説明
第2週のレポート 7/17 締め切り (資料3,4の演習問題)
第3週 (7/19, 7/21) ... 演習、中間レポート作成 (この週は計算機室での説明はしません。質問があれば計算機室あるいはメール等でしてください。)
中間レポート 7/24 締め切り (未完成でも、必ずレポートを提出してください。)
第4週 (7/26, 7/28) ... 資料5,6
第4週のレポート 7/31 締め切り (資料5,6の演習問題)
第5週 (8/2, 8/4) ...ミニプロジェクトその2の説明、授業のまとめ、他
最終レポート 8/11 締め切り(未完成でも、必ずレポートを提出してください。)

演習ファイルは coinsマシンの ~kam/ocaml の下にあります。コピーして使ってください。

iTermなどのシェルから

    mkdir ~/ocaml  (ディレクトリ名は ocaml でなくても何でもよい)
    cd ~/ocaml
    cp ~kam/ocaml/* .　（最後にピリオドがあることに注意せよ）
    ls -l   (ファイルがコピーできたか確認する)

テキスト第N章のプログラムをいれたファイルは coinsマシンの ~kam/ocaml/sectionN.ml というファイル名で置きます。 (ただし，エラーを発生する式をコメントアウトする等、若干の修正はおこなっています。)
テキスト第N章の演習課題の解答(の一部)をいれたファイルは coinsマシンの ~kam/ocaml/sectionN-exc.ml というファイル名で置きます。

亀山幸義 (kam[at]cs.tsukuba.ac.jp)