任天堂「今後C++は捨てJavaScriptで開発していく」 (887ﾚｽ)
任天堂「今後C++は捨てJavaScriptで開発していく」 http://mevius.5ch.net/test/read.cgi/tech/1363752460/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
414: デフォルトの名無しさん [sage] 2013/04/03(水) 09:30:54.93 >>413 動的型の言語の実行時にきまる動作を静的なコードで 置き換えようとするとコードの量が無限に大きくなりそうだな。 http://mevius.5ch.net/test/read.cgi/tech/1363752460/414
417: デフォルトの名無しさん [sage] 2013/04/03(水) 10:04:21.81 >>412 計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全（チューリングかんぜん、Turing-complete）あるいは計算完備であるという。--Wikipedia/チューリング完全 >>414 生成され得ないパターンを除外してくとかはある程度出来るだろうけど、停止性判定不能コードの後ろに判定対象が並んでるとかの場合に チューリングマシンの停止性問題から「有るコードが有る型で実行されるかは有限時間で判定不可能である」って導けそうな気がするんだよな http://mevius.5ch.net/test/read.cgi/tech/1363752460/417
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.693s*