kyoto

ダイラムダは「大λ」です。

私が25年くらい前に所属していた京都大学数理解析研究所の関数型言語研究グループのホームページを作った時に、冗談で大文字山の写真を大の字をλ計算のλに変えたMt. Lambda(ラムダ山)というものを作ってページの上に貼り付けました。

[続きを読む]