687 ：デフォルトの名無しさん：2007/07/03(火) 14:32:31 質問です。 アトムとリストと、 car,cdr,cons,atom,eq これでどうやって足し算が出来たりするのでしょうか? 701 ：デフォルトの名無しさん：2007/07/03(火) 22:14:31 687さんは純Lispが五つの基本関…

ある処理系がチューリング完全「でない」ことを示すにはどうすればいいんだろう。 「ある」ことの証明であればチューリングマシン実装して終わりだが。 http://d.hatena.ne.jp/gnarl/20080222/1203683751 そうか！少なくともチューリング完全で「ある」こと…