日本語版誤植報告 (21.11節)

49 views

Skip to first unread message

unread,

Jul 15, 2016, 8:00:09 AM7/15/16

to taplkatasystem

21.11 節の (S-AMBER) の直後に、

「仮定（assumption）の集合Σ の下でμX.S がμY.Tであることを示すには、

と書かれているのですが、

「仮定（assumption）の集合Σ の下でμX.S がμY.Tの部分型であることを示すには、

とするのが正しいように思います。

unread,

Jul 19, 2016, 11:19:55 PM7/19/16

to taplkatasystem

訳者の酒井です。
反応が遅くなり済みません。

確認しましたが、ご指摘の通りかと思います。
ご報告ありがとうございました。

--
酒井政裕

Reply all

Reply to author

Forward

0 new messages