kazu-yamamoto https://blog.hatena.ne.jp/kazu-yamamoto/ あどけない話 https://kazu-yamamoto.hatenablog.jp/ Scheme Wikipedia のラムダ計算にある例を Scheme で実行して理解してみます。 TRUE と FALSE TRUE と FALSE は簡単です。 ;; TRUE := λx y. x (define TRUE (lambda (x y) x)) ;; FALSE := λx y. y (define FALSE (lambda (x y) y)) AND、OR、NOT 難しいのは、本体に x y z のように複数の変数が出てきたときです。これは、Scheme でいうと (x y z) という関数呼び出しのことらしいです。という訳で、AND、OR、NOT が定義できます。 ;; AND :… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20080205%2F1202179180" title="Scheme でλ計算 - あどけない話" 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-02-05 11:39:40 rich https://kazu-yamamoto.hatenablog.jp/entry/20080205/1202179180 1.0 100%