>>306
すいません分かりづらいですね。

問題は
式を引数にとり、その式の変数参照のlexical addressを表示する手続きlexical-addressを作れ
です（英語で書かれているので訳が微妙に違うかもしれません）

実行例が
（lexical-address '(lambda (a b c)
(if (eq? b c)
((lambda (c)
(cons a c))
a)
b))


(lambda (a b c)
(if (( eq? : 1 0) (b : 0 1) (c : 0 2))
((lambda (c)
((cons : 2 1) (a : 1 0) (c : 0 0)))
(a : 0 0))
(b : 0 1)))
という風になっています。