2005-10-19 lambda の由来 OOPL 大文字のΛxをいったん経由しているのですね。それなら分かるような気がします(“^x”→“λx”はちょっと唐突かな、というような印象を持っていたので…)。http://blade.nagaokaut.ac.jp/~poffice/news/fj.sci.math/1085