TAPL日本語版 18.11 (4) p.186 の E-Fix

57 views

Skip to first unread message

unread,

Aug 27, 2016, 8:08:44 PM8/27/16

to taplkatasystem

田中と申します。

TAPL日本語版を読んでいて気がついたのですが、

18.11 (4) (p.186 の下から4行目) の

「110ページ図 11-12 の E-Fix」というのは

「110ページ図 11-12 の E-FixBeta」の間違いのように思うのですが、

どうでしょうか。

E-Fix は fix t1 -> fix t1' という評価規則なので、

「self を (fix <f>) に置換する」ことはできないように思います。

unread,

Aug 28, 2016, 11:02:10 AM8/28/16

to taplkatasystem

訳者の遠藤です。

確認しましたが、おっしゃる通り E-FixBeta の間違いだと思います。