アカウント名:
パスワード:
結局非ノイマン型はほとんど日の目を見てないし、他の人たちは彼の考えたフレームワークの上で動いているに過ぎない。
計算機科学の基礎を築いたという意味ではチューリング [wikipedia.org]もすてがたい。
基礎も築いたが「デバッグは無限地獄である(その変更でバグが取れたと言う保証がなされることはありえない)」という証明もしてくれたすばらしい人。
唯一の問題は、この証明が言っている事を「ちゃんと理解している人」が日本にほとんどいない、ということぐらいだろう。# 「バグがなくなったという証明を持ってこいっ」と無茶を言う顧客の割合が、日本だけ突出しているのは# どういうことなのか…
バグが無いという保証されることはありえないっていうのと停止問題は違う話なんじゃないでしょうか。例えば、形式的検証(formal verification) [wikipedia.org]やその一例であるモデル検査(Model Checking) [wikipedia.org]という手法を使って数学的な正確さでバグ無しであると証明する試みはなされています。AT&T の電話交換機のバグを発見したという逸話もあるので通常デバッグしづらい並行性システムの検証などある程度実用化されてきてるみたいです。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
あつくて寝られない時はhackしろ! 386BSD(98)はそうやってつくられましたよ? -- あるハッカー
ノイマンじゃないの (スコア:0)
結局非ノイマン型はほとんど日の目を見てないし、他の人たちは彼の考えたフレームワークの上で動いているに過ぎない。
基礎論 (スコア:1)
計算機科学の基礎を築いたという意味ではチューリング [wikipedia.org]もすてがたい。
Re: (スコア:4, おもしろおかしい)
基礎も築いたが
「デバッグは無限地獄である(その変更でバグが取れたと言う保証がなされることはありえない)」
という証明もしてくれたすばらしい人。
唯一の問題は、この証明が言っている事を「ちゃんと理解している人」が日本にほとんどいない、ということぐらいだろう。
# 「バグがなくなったという証明を持ってこいっ」と無茶を言う顧客の割合が、日本だけ突出しているのは
# どういうことなのか…
fjの教祖様
モデル検査 (スコア:2)
バグが無いという保証されることはありえないっていうのと停止問題は違う話なんじゃないでしょうか。
例えば、形式的検証(formal verification) [wikipedia.org]やその一例であるモデル検査(Model Checking) [wikipedia.org]という手法を使って数学的な正確さでバグ無しであると証明する試みはなされています。AT&T の電話交換機のバグを発見したという逸話もあるので通常デバッグしづらい並行性システムの検証などある程度実用化されてきてるみたいです。