{% include head.html %}
- 4月5日: 講義について重要なお知らせがあります.KULASIS と PandA をチェックしてください.また,履修を検討している人は講義用 Slack ワークスペースに入ってください.
- 3月4日: 2020年の講義資料ページを作りました.
計算機科学コースの学生には講義中に別途やり方を指示します.(実験3SWもやるので.)
- この講義資料の GitHub のページからリポジトリを clone しましょう.
- OCaml が使えるように環境を設定しましょう.
- 落ちてきたソースコード中の
textbook/interpreter/
ディレクトリの中にインタプリタのソースコードが入っているので,dune
コマンドでビルドしましょう. - 教科書を読みながらもりもり演習問題を解きましょう.
- 教科書にバグを見つけたら issue で報告しましょう.
- 講義の履修者は講義用 Slack で質問してもよいですね.
- プログラミング言語強者になりましょう.そのためには...
- なにか自分で言語を作って処理系を作ってみましょう.作った処理系を自慢しましょう.世界中で自作の言語が使われるようになったらいいですね.
- もしくは,プログラミング言語理論やプログラム検証を勉強してみましょう. TODO: 参考文献
(鋭意 Markdown 化中.)
- OCaml あまり知らない人向け: 前提となる OCaml の知識を身に付ける.
- もう少しちゃんとした OCaml のテキスト: OCaml入門テキスト by 五十嵐淳
- 1章は古くなっているので,2章から読むこと
- プログラミング言語処理系テキスト by 五十嵐淳,馬谷誠二,末永幸平
- 1章: イントロダクション
- 2章: 概論的な話
- 3章: 型無し MiniML インタプリタの実装
- 4章: 型推論機能付き MiniML インタプリタの実装(あるいは,型システムを用いた形式検証の初歩)
- 5章: MiniML コンパイラの実装
- 6章: 字句解析と構文解析のためのアルゴリズム
- 実験3ホームページ
- 専門科目「プログラミング言語」ホームページ
- OCaml の標準ライブラリの話を教科書に書いてあるので読んでおくととても良い違いない.
- 講義をする人: 末永幸平(@ksuenaga, Researchmap)
- 講義が行われる時間: 月曜2限
- 講義が行われる場所: 総合研究7号館講義室1
- Language used in the class: Japanese
一部の資料と過去問は PandA で配布するので,PandA を見られる状態にしておくこと.
日付 | 内容 | 対応する教科書中の場所 |
---|---|---|
4/13 | オリエンテーション,イントロダクション,OCaml復習 | 教科書1章, 教科書2章, OCaml入門テキスト |
4/20 | OCaml復習 | OCaml入門テキスト |
4/27 | ||
5/11 | ||
5/18 | ||
5/25 | 中間試験 | |
6/1 | ||
6/8 | ||
6/15 | ||
6/22 | ||
6/29 | ||
7/6 | ||
7/13 | ||
7/20 | ||
?/?? | 期末試験 |