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

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

担当教員:五十嵐(igarashi)
担当TA:伊奈(ina)，奥村(oku)

What's New

FAQ

Q: (コメントに)日本語を混ぜると #use で読み込めません．

A: ファイルの文字コードを EUC-JP にしてください．Emacs であれば， C-x RET f euc-jp-unix としてください．

実験日程(目安)

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

座学の予定

日付場所内容(予定)
12/2(金) 9:00地下セミナー室「Objective Caml 入門」第1〜4章
12/9(金) 9:00地下セミナー室「Objective Caml 入門」第5〜8章
12/16(金) 9:00地下セミナー室インタプリタ作成(1)
1/5(木) 13:00情報1インタプリタ作成(2)
1/12(木) 13:00情報1型検査器作成
1/19(木) 13:00情報1型推論器作成

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

課題レポートは，オンライン提出システムを使用すること．(ID，パスワードは別途配布する．)その他， 実験に関する質問などは isle4fp11@sato.kuis... で受け付ける．

実験資料

last update on $Date:: 2011-11-30 12:06:18 +0900 #$