08/01/27 23:35:04
>>326
> uoo2
((lambda (x) (lambda (z) x)) y)
> (reduce uoo2)
((lambda (x) (lambda (z) x)) y)
(lambda (z) y)
>
束縛変数の付け替えをすればうまくいくはずで、そのことを
α変換というのだと思う。で、このα変換をどのようにアルゴリズム
として表現できるのかと考えている。
新納先生のｐ１５６のβ変換の説明の最初にあるアンダーラインの部分が
α変換のことだと思う。
コンパイラ設計者には必須の知識らしいんだけどさっぱりわからない。