Lisp Scheme Part17
■ このスレッドは過去ログ倉庫に格納されています
0701デフォルトの名無しさん
2007/07/03(火) 22:14:31本当にチューリング完全かどうか
疑問に思ってるんじゃないですか?
ちょうど1ヶ月前の自分と同じで
マッカーシーの論文斜め読みしたら
関数は五つで良いけど
→表記も含まれるから
condかifスペシャルフォームも必要みたいに感じました
本当に五つの基本関数(と真偽値)「だけ」でチューリング完全なら
自分にも教えてください
■ このスレッドは過去ログ倉庫に格納されています