{% include head.html %}
講義 Web ページはこちらです．
- 4月1日: (F)AQ を追加しました．
- 4月1日: 2024年度版ページにしました．
| 回 | 日付 | 内容（予定） | 資料 | その他 |
|---|---|---|---|---|
| 01 | 4/8 | イントロダクション | 1章: イントロダクション 2章: 概論的な話 | |
| 02 | 4/15 | インタプリタ 1 | 3.1: MiniML1 のシンタックスとセマンティックス 3.2: 各モジュールの機能 (1): Syntax, Eval, Environment, Cui 3.3: 各モジュールの機能 (2): Parser, Lexer |
|
| 03 | 4/22 | インタプリタ 2 | 3.4: MiniML2: 定義の導入 | |
| 04 | 5/2 | インタプリタ 3 | 3.5: MiniML3: 関数の導入 3.6: MiniML4: 再帰関数 | |
| 05 | 5/13 | 型システム 1 | 4.1: 静的プログラム検証へのイントロダクション 4.2: MiniML2 のための型推論 (1): MiniML2 の型システム | |
| 06 | 5/20 | 型システム 2 | 4.3: MiniML2 のための型推論 (2): 型推論アルゴリズム 4.4: MiniML3,4 のための型推論 (1): Prelude | |
| 07 | 5/27 | 型システム 3 | 4.5: MiniML3,4 のための型推論 (2): 型の等式制約と単一化 4.6: MiniML3,4 のための型推論 (3): 型推論アルゴリズムの実装 | |
| 08 | 6/3 | 型システム 4 | 4.7: 多相的 let の型推論 |
|
| 09 | 6/10 | 字句解析 | （字句解析と構文解析パートの資料は PandA で配布する） | |
| 10 | 6/17 | LL(1)構文解析 | ||
| 11 | 6/24 | LR(0)構文解析 | ||
| 12 | 7/1 | LR(0), SLR(1), LR(1)構文解析 | ||
| 13 | 7/8 | コンパイラ 1 | 5.1: 能書き 5.2: ソース言語 MiniML4- と中間言語$\mathcal{C}$ 5.3: MiniML4- から$\mathcal{C}$への変換$\mathcal{I}$ 5.6: アセンブリ生成 | 5.4: MIPS アセンブリ言語入門 を事前に理解しておくこと |
| 14 | 7/22 | MinCaml コンパイラ概説 | ソースコードをダウンロードして手元で試しておくとよい |
計算機科学コースの学生には講義中に別途やり方を指示します．（実験3SWもやるので．）
- OCaml が使えるように環境を設定しましょう．
- 教科書を読みながらもりもり演習問題を解きましょう．
- 教科書にバグを見つけたら issue で報告しましょう．
- 講義の履修者は講義用 Slack で質問してもよいですね．
- プログラミング言語強者になりましょう．そのためには．．．
- なにか自分で言語を作って処理系を作ってみましょう．作った処理系を自慢しましょう．世界中で自作の言語が使われるようになったらいいですね．
- もしくは，プログラミング言語理論やプログラム検証を勉強してみましょう．
- TODO: 参考文献
- OCaml の環境設定 - (講義スライド)
- OCaml あまり知らない人向け: 前提となる OCaml の知識を身に付ける．
- もう少しちゃんとした OCaml のテキスト: OCaml入門テキスト by 五十嵐淳
- 1章は古くなっているので，2章から読むこと
- プログラミング言語処理系テキスト by 五十嵐淳，馬谷誠二，末永幸平
- 1章: イントロダクション
- 2章: 概論的な話
- 3章: 型無し MiniML インタプリタの実装
- 4章: 型推論機能付き MiniML インタプリタの実装（あるいは，型システムを用いた形式検証の初歩）
- 5章: MiniML コンパイラの実装
- 5.1: 能書き
- 5.2: ソース言語 MiniML4- と中間言語$\mathcal{C}$
- 5.3: MiniML4- から$\mathcal{C}$への変換$\mathcal{I}$
- 5.4: MIPS アセンブリ言語入門
- 5.5: 仮想マシンコードとその生成
- 5.6: アセンブリ生成
- 5.7: $\mathcal{C}$の最適化（まだ）
- 5.8:
$\mathcal{V}$ におけるデータフロー解析（まだ） - 5.9: レジスタ割り付け（まだ）
- 5.10: 高階関数（まだ）
- 5.11: 動的メモリ管理（やるの？）
- 5.12: オブジェクト指向（やるの？）
- 5.13: 分割コンパイルとリンカ（やるの？）
- 6章: 字句解析と構文解析のためのアルゴリズム（まだ）
- 7.1: 字句解析
- 7.2: LL(1)アルゴリズム
- 7.3: LR(0)アルゴリズム
- 7.4: SLR(1), LR(1)アルゴリズム
- 7章: さらに学びたい人のための参考文献
- 8章: 参考文献
- 付録: 問題リンク集
- 実験3ホームページ
- 専門科目「プログラミング言語」ホームページ
- OCaml の標準ライブラリの話を教科書に書いてあるので読んでおくととても良い違いない．
この講義では毎週履修者からの質問やコメントを受け付けており，質問に対しては回答を次週までに書いて公開しているのですが，その中で他の学習者にとっても有用であると思われるものを(F)AQとしてまとめました．誤っている情報や追記すべき情報があれば Issue を立てたり PR を出したりしてもらえればと思います．
- 講義をする人: 末永幸平（@ksuenaga, Researchmap）
- 講義が行われる時間: 月曜2限
- 講義が行われる場所: 総合研究7号館講義室1
- Language used in the class: Japanese
本学学生以外の方で，もしこのページのマテリアルが有用であるとお思いになられたら，是非京都大学基金へのご寄付をいただけると幸いです．運営費交付金が年々削減される中で，大学教員が教育と研究活動を両立させつつ，学外の方々にも有用な情報を発信し続けられるよう，ご支援をいただけると大変ありがたく思います．京都大学へのご寄付に対しましては，法人税法，所得税法による税制上の優遇措置が受けられます．
特に以下の基金へのご寄付をいただけますと大変ありがたいです．
- 京都大学修学支援基金: 意欲と能力のある学生が経済的理由で修学・進学を断念することなく，希望する教育を受けられるようにすることを目的とした基金です．
- 男女共同参画支援たちばな基金: 男女共同参画支援を推進するための基金で，育児等支援の充実，保育施策の充実，男女共同参画推進事業の充実を目的とした基金です．
- 情報学研究科基金: 情報学研究科における大学院生の学修・研究支援，若手研究者支援，研究支援を目的とした基金です．