平成19年度
講義 「プログラミング言語論」
(情報工学科2年生、前期、木1/2限)

programming languages and the theory

18年度のページ
担当 犬塚信博

この講義についての情報を流すためのページです。
講義の日程、演習課題などを出しますので、常にチェックしてください。

講義の目的

この講義では、プログラミング言語に関する技術、理論を学びます。 様々なプログラミング言語の背景の計算モデルを中心にいろいろな概念を学んだ後、プログラムの正しさや意味を扱う理論に触れます。

講義の進め方

パワーポイントを用いて講義を行います。講義資料は講義の進捗に合わせて配付しますが、昨年度の資料でよければここにあります。 毎回小テスト等で出席を取ります。 ときどきまとまった課題を出し、それらの提出は評価に反映させます。

予定   参考書  

情報工学科教育用計算機(CSE)のページへ
犬塚の講義のページへ戻る
作成 犬塚信博, 2006.4-