>>82
いや、Lispと違って、Schemeは、
(f x1 x2 x3 ...)のfもevalされてからapplyするの。

>>86
ああ、7.2 Formal semanticsがおかしいんじゃねーの? って話か。
確かに"runs out of memory"になるsemantics付けはおかしいな〜。
まあ⊥には違いないわけだが(w
どうやったらfixされるかは書いてないね。