配布資料(1) p.4 表1 下から3行目:

 誤) ∀x. x∈X & P(x) の略記
 正) ∃x. x∈X & P(x) の略記

配布資料(1) p.7 5行目:

 誤) 対象閉包
 正) 対称閉包

配布資料(2) p.7 下から5行目:

 誤) ∀a ∈ Aexp. P(Z,Z)
 正) P(Z,Z)

同下から2行目:

 誤) P(a1 + a2, ...)
 正) P(a1 * a2, ...)

配布資料(2) p.14 定理6.2.3の直前:

 誤) 使ってで，
 正) 使って，

配布資料(3) p.4 図2, E-Shift 規則の結論:

 誤) -->
 正) \Downarrow (下向き二重矢印)

配布資料(3) p.5 補題 2.2.1:

 誤) \Delta |- C \in Aexp
 正) \Delta |- C \in Ctx

配布資料(3) p.6 図3 の規則名すべて:

 誤) E-
 正) R-

配布資料(6) p.3 下から5行目:

 誤) instanceOf
 正) instanceof

配布資料(6) p.4 下から12行目:

 誤) 項がないため
 正) 項がなく

配布資料(7) p.5 規則(SC-New)の結論

 Γ├

が必要