>>25
悔しいけれど お前に夢中
ギャランドゥ (ギャランドゥ)
ギャランドゥ ウゥ (ギャラン ドゥ ウー)
(西城秀樹の歌の歌詞。)

「λ計算(λ算術)」「λ記法」「ラムダ式」とは言うけど、
「ラムダ関数」って言い回しあったっけ？「ラムダ定義可能関数」ってのはあるね。