ka-lei-do-scope https://blog.hatena.ne.jp/ka-lei-do-scope/ ka-lei-do-scope weblog https://ka-lei-do-scope.hatenadiary.org/ 言語 数学 twitterで「ラムダ計算が分かっているとはどういうことか、言語学者はほぼ分かっていない」という発言を（気軽に）したら、「もう一歩踏み込んで書いて欲しい」というご要望を頂きました。僕自身、型理論の専門家と議論をしていると勉強不足を感じることが多い段階なのですが、専門家に笑われるのを厭わずに、「もし自分が今の段階でラムダ計算の本を書くとしたら、こんな内容になるのではないか」という目次を書いてみました。 Untyped Lambda Calculus Motivation Syntax Reduction Fixedpoint Operator Turing Completeness Churc… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fka-lei-do-scope.hatenadiary.org%2Fentry%2F20100813%2Fp1" title="ラムダ計算の本 - ka-lei-do-scope weblog" 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 2010-08-13 00:00:00 rich https://ka-lei-do-scope.hatenadiary.org/entry/20100813/p1 1.0 100%