2006-11-21 λ計算勉強中 http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf http://members.at.infoseek.co.jp/nbz/ref/lambda.html http://kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2005/LambdaCaluculus.html