Mt. Lambda京都の東山にはλ文字山があり、我々の研究室からよく見えます。 毎年お盆に行われる五山送り火の中でも最も有名な山です。 なぜ山の中腹にλの文字が描かれているかはよくわかっていませんが、 一説にはλ計算の神様がここに住んでいるそうです。 まれに、よく晴れた日にはλではなく大の字が見えることがあるそうです。 この写真はもともと当分野の 関数型言語グループ のシンボルとして作られました。 （写真撮影：Jacques Garrigue、デジタイズ：古瀬 淳） Maintained by the staff of CS research at RIMS. Email: cs at kurims dot kyoto-u dot ac dot jp. Last modified on 21 Apr, 1996
