LISP Scheme

このエントリーをはてなブックマークに追加
574 ：デフォルトの名無しさん：
(lambda (x) (f x)) - > f
((lambda () x)) - > x
((lambda (x) (f x)) y) - > (f y)
みたいに、式を単純化するプログラムってありませんか?