(define b (+ a x))
　(define a 4)))
などの場合どこから参照するか分からない。
変数の参照については、より内側の環境という”場所”の概念だけで扱うのはむつかしい。結局逐次的評価なり何なりの”時”の概念による制約が必要である。
そうでないとプログラマーにとって分かりづらい。

後途中送信ｽﾏｿ