2017-02-14

プログラムのわからないえらい人「バグのないプログラムを書くことはできないのか?難しいかもしれないが、十分に気を付けていれば防げるのではないか?」にどう返したらいいのかわからない

バグは人のミスなんだから理屈的には正しいような気がする

だけど未だかつて人類はこれを達成できていないという観測事実がある、何故そうなるのかを説明することは可能だろうか

トラックバック - https://anond.hatelabo.jp/20170214114736
  • http://anond.hatelabo.jp/20170214114736

    「Googleだってバグ出しますよ」

  • http://anond.hatelabo.jp/20170214114736

    一休さん方式: 判りました。ではバグの無い仕様を用意してください。

  • http://anond.hatelabo.jp/20170214114736

    ダイクストラが、1952年から20年間PGやって思うことがエッセイになってる。 The Humble Programmer https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html Humble 謙虚な   後半部 管理可能...

  • http://anond.hatelabo.jp/20170214114736

    ないことの証明はおそろしく難しい。 悪魔の証明という話をしてやるといい。

  • http://anond.hatelabo.jp/20170214114736

    バグのないプログラムを書くためには、すべての仕様とプログラム全体を記憶したうえで、実際に起こり得る可能性を全て列挙できる必要があるんです。 膨大な仕様とプログラムを記憶...

    • http://anond.hatelabo.jp/20170214151240

      PM「バグのないプログラムを書くことはできないかもしれないが、バグをバグじゃないように運用することはできるだろカス。そのためのフェイルオーバーさせるためのロジックを書けゆ...

  • http://anond.hatelabo.jp/20170214114736

    組合せ爆発のおねえさんの動画を見せた上で ソフトウェアの複雑さも爆発するとしたうえで 全てをテストしてバグがないことを証明する為には宇宙の歴史を超えるほどの計算量が必要で...

  • http://anond.hatelabo.jp/20170214114736

    だからといって、今多発しているバグを今後も生み続けていいというわけではない。

  • http://anond.hatelabo.jp/20170214114736

    人間の脳みそが信用できるのは一度に扱う変数がせいぜい4〜7個の時だけじゃハゲ。 と言うてやれ。

  • http://anond.hatelabo.jp/20170214114736

    正しいでしょ。例えば、二桁の整数の和を返すプログラムなら簡単に完璧に作れる。それが複雑になろうが原理的には可能。

  • http://anond.hatelabo.jp/20170214114736

    「可能ですよ。十分に気を付けるにために相場の100倍をお支払い頂くことになりますけど。」

  • http://anond.hatelabo.jp/20170214114736

    バグではなく、仕様だ。全ては仕様の通り動く。

  • http://anond.hatelabo.jp/20170214114736

    ここまでテストの話一切無し。日本の技術者のレベルって低いね。 バグを0にするのは難しいが、テストを書いて、ある程度の動作保証を行うことは出来る。普通はこれで十分。 テスト...

  • http://anond.hatelabo.jp/20170214114736

    校正で一つも赤が入らない文章を一万字書くのって難しいですよねって言えばいいと思うよ。

  • http://anond.hatelabo.jp/20170214114736

    「誤字・脱字・構成ミス1つせずに万年筆で原稿用紙400枚の論文を書くことはできないのか? 難しいかもしれないが、十分に気を付けていれば防げるのではないか?」 誤字・脱字・構...

    • http://anond.hatelabo.jp/20170215033102

      その喩えはわかりやすい気がする

    • http://anond.hatelabo.jp/20170215033102

      ブコメでも似たようなのが複数あったがバグって誤字・脱字じゃないんだよ。つーか誤字脱字ぐらいそれこそ気を付けてれば比較的容易に防げるでしょ、リーズナブルな作業時間で。実...

      • http://anond.hatelabo.jp/20170215100549

        誤字脱字が容易に防げるなら校正なんて仕事はいりません

      • http://anond.hatelabo.jp/20170215100549

        頭の中が事故ってるから事故を起こすんでしょうよ それをどうやって防ぐのかが問題なわけで 気をつければ防げる? 頭の中が事故ってる人間が、気をつけただけで事故を防げると思う...

      • http://anond.hatelabo.jp/20170215100549

        うはすげー 誤字脱字をしたことが無い、いいねー バグの無いOffice作ってくれよ

        • http://anond.hatelabo.jp/20170215111108

          ごめん、よく読んだら手書きの話か。手書きなら無理だわ。でも手書きで長文を書く機会なんてもう完全にないし、PC使っていいなら誤字脱字は基本なくせるだろ。 そして、バグは誤字...

  • anond:20170214114736

    確率的な問題で、複雑なコードを何百行も書いてたら絶対バグは出るでしょ。 個人的には、その確率をどこまで減らせるかだけで、ずっと書いてたらそれだけ出るバグの数は増え続ける...

  • http://anond.hatelabo.jp/20170214114736

    極論をいえば、整数の和をだす1行のコードだって、バグを含んでしまう可能性が0.001%(適当)くらいある。 慎重に時間を費やすことでその可能性をちょっと0に近づけることができるだけで...

    • http://anond.hatelabo.jp/20170215111309

      そういや新聞とか本の場合は、書いた本人の目だけだと思い込みとかクセとかがあって万全を期すのはかなり難しいので、別人の目で校閲を複数回通すけど、 プログラムの仕事ってそう...

      • http://anond.hatelabo.jp/20170215112106

        コードレビューがある テストも 単体テスト(プログラマがやることが多い) システムテスト(他人がやることが多い) 受け入れテスト(基本的に発注者がやる) と段階がある

        • http://anond.hatelabo.jp/20170215112317

          ありがとう そういうシステム整ってるのにバグが多いとかなんとかみたいな文句がでるのはよくわからんけど 文章と違ってバグは直すのが面倒だからか 基本的な文法からしてクソ、み...

          • http://anond.hatelabo.jp/20170215112700

            やっぱり文章と違って動的なものだからな。

          • http://anond.hatelabo.jp/20170215112700

            「こういうものを作ります」って最初の要件定義が途中で変わったりして、 でも予算や期間は増やせなくてテストを削るパターンとか。 あるいは、文章と違って、ソフトは使い始めて...

        • http://anond.hatelabo.jp/20170215112317

          ありがとう そういうシステム整ってるのにバグが多いとかなんとかみたいな文句がでるのはよくわからんけど 文章と違ってバグは直すのが面倒だからか 基本的な文法からしてクソ、み...

  • http://anond.hatelabo.jp/20170214114736

    こういう証明はどうだろうか? if文による条件分岐(TRUEかFALSEの2通り)が1つの小さなソフトウェアでも1万か所くらいある。(switch/caseやfor文などもアセンブラレベルでは条件分岐だとみな...

  • http://anond.hatelabo.jp/20170214114736

    数学そのものにもバグがあるのでそれはどうすれば?

  • バグが起こる仕組みを説明する

    http://anond.hatelabo.jp/20170214114736   1.権威を使う GoogleやMSやAppleでさえバグを生み出している   2.ハードウェアに喩える 車は完璧に近いように作られているが、整備なしに数年後きち...

  • http://anond.hatelabo.jp/20170214114736

    もーちょっと感心させてよインテリ高収入集団のはてなーさんたち。w この辺とか https://ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96 この辺とか https://ja.wikipedia.org/wik...

  • http://anond.hatelabo.jp/20170214114736

    totoBigで不正発覚したぞ

  • TASさんがプログラム開発するようです

    http://anond.hatelabo.jp/20170214114736 「理論上最速のゲームクリア」を目指すTASをプログラマに例えて、「理論上バグのないプログラム開発は可能」かどうか検証する思考実験。 時をさかのぼ...

  • http://anond.hatelabo.jp/20170214114736

     http://d.hatena.ne.jp/shi3z/20170216/1487200968 定理証明の支援ができても――、 ・定理の間違いは正せない。 ・証明自体もプログラムにはできない。 ・それ以前に支援プログラム自体の間違い...

  • http://d.hatena.ne.jp/shi3z/20170216/1487200968

    バグのないプログラムを書くことは理論上は可能である(http://anond.hatelabo.jp/20170214114736) なにいってんだこの人は。ドヤ顔で知性があることをアピールでもしたいのか。 「バグのないプ...

記事への反応(ブックマークコメント)

人気エントリ

注目エントリ

アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん