2005-09-21 夏プロシン二日目 研 趣 再帰に関する議論が盛ん。コンパイルが停止しないプログラムは興味深い。再帰の分かりやすい例え、「0歳のときに写真を撮る。5歳のときにその写真を持って写真を撮る。10歳のときにその写真を持って写真を撮る。・・・」合わせ鏡と違って、0歳が終了条件として存在する。なるほど。Tag System はキューマシンでチューリング完全だった。今日の風呂にはちゃんと露天風呂があった。昨日の風呂が「クリスタル」なのはやっぱり謎。