ku-ma-me https://blog.hatena.ne.jp/ku-ma-me/ まめめも https://mametter.hatenablog.com/ π計算のπは、λ計算のλからギリシャ文字順に選んだそうです *1 。僕も "process" の p だと思ってました。では、λ計算はなぜλなのか。λはアルファベットの l の祖先ですが、"function" には l は現れません。これは学生時代に調べたことがあって、答えは表記の変遷の中にありました (?) *1:発音しにくい文字をパスするあたりがこじつけくさく感じるけど。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmametter.hatenablog.com%2Fentry%2F20070605%2Fp1" title=" なぜλ計算はλ計算と呼ばれているのか - まめめも" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.d.st-hatena.com/diary/ku-ma-me/2007-06-05.png Hatena Blog https://hatena.blog 2007-06-05 00:00:00 rich https://mametter.hatenablog.com/entry/20070605/p1 1.0 100%