katona https://blog.hatena.ne.jp/katona/ MEMO:はてな支店 https://katona.hatenadiary.org/ チューリング完全 687 ：デフォルトの名無しさん：2007/07/03(火) 14:32:31 質問です。 アトムとリストと、 car,cdr,cons,atom,eq これでどうやって足し算が出来たりするのでしょうか? 701 ：デフォルトの名無しさん：2007/07/03(火) 22:14:31 687さんは純Lispが五つの基本関数「だけ」で 本当にチューリング完全かどうか 疑問に思ってるんじゃないですか？ ちょうど１ヶ月前の自分と同じで マッカーシーの論文斜め読みしたら 関数は五つで良いけど →表記も含まれるから condかifスペシャルフォームも必要みたいに感じました 本当に五つの基本関数（と真偽値… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkatona.hatenadiary.org%2Fentry%2F20080331%2Fp1" title="純Lisp - MEMO:はてな支店" 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-03-31 00:00:00 rich https://katona.hatenadiary.org/entry/20080331/p1 1.0 100%