任天堂「今後C++は捨てJavaScriptで開発していく」 (887ﾚｽ)
上下前次1-新

---

417: 2013/04/03(水)10:04 AA×
>>412>>414


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
417: [sage] 2013/04/03(水) 10:04:21.81 >>412 計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全（チューリングかんぜん、Turing-complete）あるいは計算完備であるという。--Wikipedia/チューリング完全 >>414 生成され得ないパターンを除外してくとかはある程度出来るだろうけど、停止性判定不能コードの後ろに判定対象が並んでるとかの場合に チューリングマシンの停止性問題から「有るコードが有る型で実行されるかは有限時間で判定不可能である」って導けそうな気がするんだよな http://mevius.5ch.net/test/read.cgi/tech/1363752460/417
計算理論においてある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつときその計算モデルはチューリング完全チューリングかんぜんあるいは計算完備であるというチューリング完全 生成され得ないパターンを除外してくとかはある程度出来るだろうけど停止性判定不能コードの後ろに判定対象が並んでるとかの場合に チューリングマシンの停止性問題から有るコードが有る型で実行されるかは有限時間で判定不可能であるって導けそうな気がするんだよな

---

上下前次1-新書関写板覧索設栞歴

---

あと 470 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.027s