- 講義の概要, 計算の原理と計算機の構造
- 計算機の模倣、プログラミング言語の構造と原理、プログラミング言語開発の枠組み
- チューリング機械の言語表現、SM# チュートリア、チューリング言語インタープリタ
- 文字列の性質と文字列処理
- 字句解析（１） 正規言語による字句の定義
- 字句解析（２） 正規言語を認識する機械
- 字句解析（３） Lexによる自動生成，字句解析のみを行うCoreML処理系
- 構文解析（１） 文脈自由文法による構文構造の定義，構文解析問題
- 構文解析 （２） LR構文解析：そのアイデアと原理，素朴なLR構文解析アルゴリズム
- 構文解析（３）LR構文解析：LR構文解析の基本定理の証明
- 構文解析（４）LR構文解析：効率的なLR構文解析アルゴリズム，種々の最適化とLR構文解析表
- 構文解析（５）LR構文解析：yaccによる自動生成，構文解析のみを行うCoreML処理系
- 型の解析と型推論（１）型と型システムの考え方，型システムの定義
- 型の解析と型推論（２）型推論問題
- 型の解析と型推論（３）型の単一化
- 型の解析と型推論（４）型推論アルゴリズム
- 型の解析と型推論（５）多相性の定義と解析
- インタープリタ（１）インタープリタの考え方，操作的意味の定義
- インタープリタ（２）再帰関数の実現
- インタープリタ（３）CoreMLインタープリタ
- 抽象機械へのコンパイル（１）SECD機械の定義
- 抽象機械へのコンパイル（２）コンパイルアルゴリズムとその正しさ
- 抽象機械へのコンパイル（３）CoreMLコンパイラと実行時処理系