今回限定の注意事項と今後の予定

• 年度をまたぐため 3/20 頃を目処にしばらくお休みにします。その後，各自の状況が落ち着けば開始します。

• 今のところ，3/20 頃に 'PartI: Judgments and Rules' を終えたいと思っています

• トラブル予防のため，通話は lawtwai が開始します

概要

"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。

目的

プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。

内容

• 第一回の内容 を参照してください

第五回

範囲

'2.6 Defining Functions by Rules' の一意性から

担当

fishii さん

今後の予定

日程の都合が悪くなれば，お手数ですが Discord に書き込んでいただけると助かります。