お、イーガンスレに骨のある誤読意見が(w
セルオートマトンだから分割もなんでもできるんだYO! でも逆方向時間発展は無理かも。 →id:ita:20030612
314 ：名無しは無慈悲な夜の女王：04/06/06 03:14
>309,310,312
俺はむしろ萎えたとこ何だが。
ネットで分散して計算したり、速度を遅くしたり止めたりするのは
いいんだが、逆順計算や順序ばらばら計算はチューリングマシンの
停止問題に抵触するから不可能。これは原理的な問題だから、いく
ら未来の最適化コンパイラやランタイム・ライブラリが凄くても無
理。
追記：停止問題の使われ方。
なんか、あるルールで時間発展するものがあるとする。ずっと時間が経った時に一定のパターンに収束するかどうか知りたいとする。もし、この「あるもの」でチューリングマシンをエミュレートできて、パターンが収束＝チューリングマシンが停止、という対応があるとする。そうするとチューリングマシンが停止するかどうかは判定できないことが分かってるんで、「あるもの」も収束するかどうか分からない。「あるもの」としてたとえばコンウェイのライフゲイムとか、「ワンのタイリング」と呼ばれる問題などがあてはまる。
「停止判定」とは、たとえばプログラムを走らせる前に無限ループになるかどうかをどんなプログラムについてもあらかじめ判定できるプログラムのこと。そういうのが存在すると矛盾が生じることがわりと簡単に証明できる。
順列都市のTVC エンジンはセルーオトマトン(CA)でチューリングマシンをエミュレートしている。CA の計算自体は停止せず単純計算を延々やるだけなんで何でもできる。つうか停止＝みんな死ぬ、だからマズイっしょ(w
id:youkiti 様が引用されてる文 id:youkiti:20040418#p2 、 原文を想像するとまた凄味があるなー。こんな感じかな。
How do you feel?
It depends.
On what?
How I like to feel.
