正誤表

第1刷
  • 定理15.3.5 の証明(p. 148)の「T-Subの場合」における結論の「Γ ⊢ t : T」は、正しくは「Γ ⊢ t' : T」です(原著の該当箇所も同様)。 @ksknac さん、ご指摘ありがとうございました。
  • 演習21.3.4 (p. 225)の「μSfによって関連付けられているが、vSfによって関連付けられない」は、正しくは「vSfによって関連付けられているが、μSfによって関連付けられない」です。 甲斐宏味さん、ご指摘ありがとうございました。
  • 21.11 節の(S-AMBER)規則(p.245)の直後「仮定(assumption)の集合Σ の下でμX.S がμY.Tであることを示すには」は、正しくは「仮定(assumption)の集合Σ の下でμX.S がμY.Tの部分型であることを示すには」です。 Shota Kawabuchi さん、ご指摘ありがとうございました。
  • 解答17.3.1 (p. 417)のallFieldsの定義が誤っています(詳しくは報告を参照)。@ksknac さん、ご指摘ありがとうございました。
  • 18.11 節、p.186 の下から4行目「110ページ図 11-12 の E-Fix」は、正しくは「110ページ図 11-12 の E-FixBeta」です。田中さん、ご指摘ありがとうございました。
Comments