夏プロシン二日目

再帰に関する議論が盛ん。コンパイルが停止しないプログラムは興味深い。

再帰の分かりやすい例え、「0歳のときに写真を撮る。5歳のときにその写真を持って写真を撮る。10歳のときにその写真を持って写真を撮る。・・・」合わせ鏡と違って、0歳が終了条件として存在する。なるほど。

Tag System はキューマシンでチューリング完全だった。

今日の風呂にはちゃんと露天風呂があった。昨日の風呂が「クリスタル」なのはやっぱり謎。