と言ってもラムダ計算の話、その名の由来について。 最近ふと気になって調べてみた。すると、いろんな説を見つけた。と言っても大体は同じだ。 見つけた記事の中でも以下の記事が最もまとまっていたので挙げておく。 Why Church chose lambda | Wisdom and W…