p.91 の正誤情報

[aigarashi]

No description provided.

[aigarashi]

(m): 証明が不十分でした．導出 D については，書かれている E-App で終わる場合だけでなく， E-AppRec で終わる可能性を検討しなけ ればなりません．ただし，後者の場合はありえない(矛盾が導ける)ことが

1. E-AppRec から v'1 が再帰関数閉包である．
2. 帰納法の仮定からは v'1 ≡ v1，すなわち(再帰でない)関数閉包である

の二点からわかります．

[aigarashi]

3行目: P(E, e2, i2) の後に閉括弧が必要。