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

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

担当教員:末永(ksuenaga)
担当TA:関山(t-sekiym)

What's New

FAQ

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

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

Q: Emacs 上で tuareg-run-caml が実行できません.

A: tuareg-mode を呼び出してから,tuareg-run-ocaml を実行してください.

部屋割り

座学情報3講義室
演習一階端末室

実験日程(目安)

日付範囲レポート課題
10/03(木),10/04(金),10/10(木),10/11(金) OCaml(旧称 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 (締切 10/18(金))
10/17(木),10/18(金),10/24(木),10/25(金) インタプリタ作成実験 課題2: 必修課題・★★以上をひとつ以上・★以上を3つ以上 (締切 11/11(月))
10/31(木),11/01(金),11/07(木),11/14(木),11/15(金),11/28(木),11/29(金) 型検査・推論器作成実験 課題3: 必修課題・実験全体への感想や意見などの自由記述 (締切 12/05(木))

座学の予定

日付内容(予定)
10/03(木) 班振り分け後「Objective Caml 入門」第1〜3章
10/10(木) 13:00「Objective Caml 入門」第4〜7章
10/17(木) 13:00インタプリタ作成 (ML1,ML2,ML3)
10/24(木) 13:00インタプリタ作成 (ML4,ML5)
10/31(木) 13:00型検査器作成 (4.1)
11/14(木) 13:00型推論器作成 (4.3)

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

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

実験資料


last update on $Date:: 2013-09-30 18:15:38 +0900 #$