taplkatasystem

皆様， ごぶさたしています．Twitter等でご指摘いただいた， 原著の新たなErrataの候補です．私が管理している https://www.dropbox.com/s/9dkguftad519x0s

第2刷, 22章の最後の文章 (p.265): どちらの証明も(無制限の)半単一化問題の非決定性(これ は Kfoury, Tiuryn, and Urzyczyn [260] が示した)に依存して

訳者の遠藤です。 確認しましたが、おっしゃる通り E-FixBeta の間違いだと思います。 ご報告ありがとうございました。

訳者の遠藤です。 遅い反応で申し訳ありません。 ご指摘の通りだと思います。 （予想ですが、List.mem li allLabels のところの allLabels が和集合ではなく積集合だという気分

訳者の酒井です。 反応が遅くなり済みません。 確認しましたが、ご指摘の通りかと思います。 ご報告ありがとうございました。 -- 酒井 政裕

甲斐さま、 訳者の酒井です。 反応が遅くなり済みません。 確認しましたが、ご指摘の通りかと思います。 ご報告ありがとうございました。 -- 酒井 政裕

https://twitter.com/uchan_nos/status/630884586474475520 でご指摘を受けましたが（以下引用）， 「この関数に第一引数として m を渡し、第二引数

追伸： [4]についても、 > Abadi とCardelli はプリミティブなオブジェクトの計算体系を導入した[4]。しかしなが > ら、後にAbadi, Cardelli, and

ありがとうございます。両方のスペルがありますがhttp://www.merriam-webster.com/dictionary/judgment 原著にしたがいました。

『型システム入門』の翻訳時に共有していた、型システムに関する英語表現の訳語一覧です。 as-isで恐縮ですが役に立つかもしれないので流します。 Church encoding Church表現

追記ですみません、==> は \Downarrow のことです。統一し損なったので念のため。

日本語版278頁目、定理23.6.2の直前の定義は原著が微妙に誤っていたので日本語版で独自に修正したのですが、その直前の本文も修正すべきところを、 修正していませんでした。 誤：「これは型適用の引数を（

はい、指摘の通りだと思います。（Church数のpredに使う二つ組の第一要素と第二要素が、ヒントと解答で逆） 個人的にものすごくデジャヴ感があるのですが、 研究室輪講で指摘されていたかも…すみません。

川口です。 回答ありがとうございます。 私は「導出の列」と「1ステップの導出に用いる規則（の列）」を混同していたようです。 いただいたコメントをもとによく読み返してみると、「最後の」の意味が理解できまし

https://twitter.com/existy3/status/317480816894689280 より転載・補足しました（文責：今井敬吾）。 [Q] §7.2の termShiftの実装（65

立て続けにすみません。 本書にはOCaml ( http://caml.inria.fr/download.en.html ) による実装（http://www.cis.upenn.edu/~

https://twitter.com/kazu_yamamoto/status/315827665250693121 からの転載＆要約（文責：住井）です。 [Q] 図3-1（25ページ）などの「構文」

https://twitter.com/kazu_yamamoto/status/315827949850984450 からの転載＆要約（文責住井）です。 [Q] 図3-1右などにある評価規則が「操作的

書籍発行が早い書店では3/25か26なので、その後なるべく早くオーム社estoreにて発売開始する予定です。