2009-09-16 自分メモ memo eta convert について EoPL から引用。 (lambda (x) (E x)) eta-converts to E, if x is not free in E. との事。随分イメージできるようになってきたので面白そう。