パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

あなたが考える「コンピュータ界に最も貢献した人」は?」記事へのコメント

  • 結局非ノイマン型はほとんど日の目を見てないし、他の人たちは彼の考えたフレームワークの上で動いているに過ぎない。

    • 計算機科学の基礎を築いたという意味ではチューリング [wikipedia.org]もすてがたい。

      • Re: (スコア:4, おもしろおかしい)

        基礎も築いたが
        「デバッグは無限地獄である(その変更でバグが取れたと言う保証がなされることはありえない)」
        という証明もしてくれたすばらしい人。

        唯一の問題は、この証明が言っている事を「ちゃんと理解している人」が日本にほとんどいない、ということぐらいだろう。
        # 「バグがなくなったという証明を持ってこいっ」と無茶を言う顧客の割合が、日本だけ突出しているのは
        # どういうことなのか…

        --
        fjの教祖様
        • Re: (スコア:2, 参考になる)

          チューリングの停止性問題は、「(任意の)プログラムにバグがないか判定できるプログラム」は存在しないといっているだけで、「バグのないプログラム」が存在しないとは言ってませんよ。

          お客に「プログラムじゃなくて人間が判定して持ってこい」と言われたらどうします?

          #「人間はチューリングマシンと同等か」という哲学的問題に発展するが。

          • Re: (スコア:2, 興味深い)

            ほら~やっぱりわかっていない人がいる。

            チューリングの停止性問題は、「(任意の)プログラムにバグがないか判定できるプログラム」は存在しないといっているだけで、「バグのないプログラム」が存在しないとは言ってませんよ。

            それがどうしたのかね?

            バグの無いプログラムであることが判明しないなら、同じことじゃないか。

            そして、あるプログラムx を別のプログラムp0で判定して「xにバグは無い」と出てきた場合、『p0はあてになるのか?』という問題が発生する。
            p0をp1で判定すると『p1はあてになるのか?』、p1をp2で判定すると『p2はあてになるのか』…
            p(n)をp(n)で判定すると『p(n)はあてになるのか?』という問題に帰着して

            --
            fjの教祖様
            • by MISSION (13232) on 2009年02月18日 20時14分 (#1516425) 日記

               思いっきり単純に「バグがなくなったという証明を持ってこいっ」ってのは悪魔の証明だからってんじゃぁだめなのかな?

              --
              ここは自由の殿堂だ。床につばを吐こうが猫を海賊呼ばわりしようが自由だ。- A.バートラム・チャンドラー 銀河辺境シリーズより
              親コメント

皆さんもソースを読むときに、行と行の間を読むような気持ちで見てほしい -- あるハッカー

処理中...