迷走の原因がなんとなくイメージできたような気がするので纏めてみます。 まず、occures free の方から。lambda 式 E において変数 x が occurs free であるための必要十分条件が以下。 E は変数の参照で E は x と同じである E は (lambda (y) E') な式で y…