工学部情報学科計算機科学コース

計算機科学実験及演習4(プログラム検証)

担当教員:五十嵐(igarashi)
中澤(knak)
担当TA:四熊(naokata)

What's New

実験日程(目安)

日付範囲レポート課題
10/5(木)〜10/13(金)Objective Caml演習 課題1: Ex.2.6(3),(4), Ex.3.7, Ex.3.11, Ex.4.1, Ex.4.4, Ex.4.6, Ex.4.7, Ex.5.3(1)-(6)より4つ, Ex.5.6, Ex.6.2, Ex. 6.4, Ex.6.6, Ex.6.9, Ex.7.2, Ex.7.3, Ex.7.6, Ex.7.8(締切 10/20)
10/19(木)〜10/27(金)インタプリタ作成実験 課題2: 必修課題・★★以上をひとつ以上・★以上を3つ以上 (締切 11/9)
11/2(木)〜11/16(木)型推論器作成実験 課題3: 必修課題・実験全体への感想・意見など自由に(締切 11/30)

レポートの提出方法・注意

課題レポートは isle4fp@sato.kuis.kyoto-u.ac.jp 宛に 電子メイルで提出すること.(その他,実験に関する質問などもこの アドレスで受け付けます.)

実験資料


last update of $Revision: 1.83 $ on $Date: 2006/10/30 02:01:27 $.