概要

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

目的

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

内容

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

第17回

範囲

Chapter 9

注意

書籍版の 正誤情報 (List of known mistakes, and their corrections.(PDF, 2020-03-11) より)

1. Lemma 9.2:

   • 誤:

     1. If τ = nat, then e = s(e') for some e'.

   • 正:

     1. If τ = nat, then either e = z or e = s( e') for some e'.

2. Rule (9.5b), (9.5c): (補足: 今回のイベント画像)

   • 誤:

     ... Γ, x : τ ⊢ e1 : τ | ... (9.5b)

     ... Γ, x : τ ⊢ e1: τ | ... (9.5c)

   • 正:

     ... Γ, x : nat, y : τ ⊢ e1 : τ | ... (9.5b)

     ... Γ, x : nat, y : τ ⊢ e1: τ | ... (9.5c)

担当

shinichi さん

今後の担当予定表

担当者の都合や体調により担当できない場合は，別の方に代わっていただいたり，その週はお休みにすることもあります。そのような場合は，connpass (Twitter連携) と Discord で告知します。