p.89 の正誤情報

[aigarashi]

No description provided.

[aigarashi]

原理5.1
誤) 「任意の環境 E, 式 e, 値 v に対して，P(E, e, v)」
正) 「任意の環境 E, 式 e, 値 v に対して，E ┣ e evalto v ならば P(E, e, v)」

[aigarashi]

(d)〜(o) (帰納法の仮定がある)各場合わけの前提にも evalto の条件が抜けています。例えば (e) であれば、

「E ┣ e1 evalto i1 かつ E ┣ e2 evalto i2 かつ P(E,e1,i1) かつ P(E,e2,i2) かつ i1 plus i2 is i3 ならば…」

となります。