LISP

みなさんレス有難うございます。
やっぱりスコープ変更の段階で一度評価される様ですね。
グローバルスコープ(quote a)=>a
　仮引数のbind y <- a
　lambda(y)ローカルスコープy=>a
　　仮引数のbind x <- a
　　lambda(x)ローカルスコープx(y=>a)=>a

>>504
適用順序ってなんでしょうか
本読んだ方がいいかな・・