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

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

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

    • 計算機科学の基礎を築いたという意味ではチューリング [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の教祖様
            • ほら~やっぱりわかっていない人がいる。

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

              それがどうしたのかね?
              バグの無いプログラムであることが判明しないなら、同じことじゃないか。

              元コメであってると思います。その論だと、不完全性定理の方へ落ちてってるような・・・。

              たまたま運良くバグ無しが証明出来るプロジェクトもあるかと。「1~100の範囲の数字を受け取って、受け取った数の2倍の数を返すプログ

              • by tmki (18271) on 2009年02月13日 19時00分 (#1512959) ホームページ 日記
                うん。チューリングマシンの停止問題は、単に集合内で集合自身について記述することができない。ってことが証明されたにすぎず。でも、人間は判断できるよね(?)。だから人間SUGEEEEE。って話で。


                チューリングマシンがバグっていないことをチューリングマシン自身が証明できない。って話もあるけど、「バグってなくても証明できないこともある」っていうことが重要なんでは。



                # 無限に見せられた人たちは、みんな晩年精神病棟行きみたいなので、これ以上は突っ込みたくありません。(^^;
                --
                事態は際限なく悪化する。
                親コメント

UNIXはシンプルである。必要なのはそのシンプルさを理解する素質だけである -- Dennis Ritchie

処理中...