nuhsnuh https://blog.hatena.ne.jp/nuhsnuh/ nuhsnuh’s blog https://nuhsnuh.hatenablog.jp/ Miscellanea Lambda calculusについては、なぜlambdaなのだろうと疑問に思っていた。 なぜlambdaなのかについて、その理由はよく知られているようだが、私は知らなかった。 以下の文献の初めの辺りを、先程横になりながらつらつらと読んでいると、その理由が出てきている。 メモしておこう。 J. Barkley Rosser “Highlights of the History of the Lambda-Calculus”, in: Annals of the History of Computing, vol. 6, no. 4, 1984 Church was struck with ce… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20080618%2Fp1" title="　なぜlambda calculusは、‘lambda calculus’と呼ばれるのか？ - nuhsnuh’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-06-18 00:00:00 rich https://nuhsnuh.hatenablog.jp/entry/20080618/p1 1.0 100%