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

バグは人のミスなんだから、理屈的には正しいような気がする だけど未だかつて人類はこれを達成できていないという観測的事実がある、何故そうなるのかを説明することは可能だろうか

[zentarou]

そんな質問させてごめんな、と言って抱きしめるのが正解

[locust0138]

打率10割を打つことはできないのか？　難しいかもしれないが、十分にボールを見ていれば打てるのではないか？

[c_shiika]

絶対に誤字脱字がなく文法的にも誤りのない文章を書ける人だけがバグを出したプログラマに石を投げなさい

[sny22015]

「Microsoftが毎月セキュリティアップデートという名のバグフィックスを配布しているのは何故だとお思いですか？」でどうだろう

[sakuya_little]

「何がバグか」を正確に定義することが出来ないから。 想定できるものは取り除けるけど、想定できないものは起きてからしか対処できない。

[isaisstillalive]

おそらく、「十分に気を付ける」ためのコストがコードの長さに対して指数関数的に増加する

[uunfo]

プログラミング関係ない。十分に気を付けていればミスをしないという考えがそもそもおかしい。

[NOV1975]

バグのないプログラムとバグのないプログラムを接続するとバグが生まれるんだよ！／注意の範囲が狭ければ可能だし広ければ不可能って話

[nakakzs]

「今から新聞いっぱいの文字を手書きで書いてください。そこで感じの部首、送り仮名含め一字一句の間違いもなく書けたのでしたら可能でしょうね」

[naqtn]

ビジネス文脈なら「組合せ爆発によりバグ取りのコストは増大する。時間と費用を投入しすぎれば競合に負ける。我々はビジネスに役立つものを作ろうとしているのであって、未来永劫完璧なものが必要なのではない」かな

[wadandandadan]

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

[mashori]

それをするためには、すべてを物凄くシンプルにするしかありませんな。組み合わせることをやめたらよろしいのでシステムは組まない、これしかないかと。

[inurota]

「人間がミスをしないことを証明せよ」とほぼ同義で、つまり無理。

[komurasakihokori]

ミスのない組織というのは、ミスの隠蔽された組織です。

[narwhal]

十分に気をつけることが人間には不可能なのであろう。

[tanakh]

だれも形式手法とかプログラム証明のことを指摘していないのがかなC～～。(´･_･`)原理的には、きちんと定義された「バグ」が無いことを証明することは出来るんだけどコストが高すぎるしムズすぎっていう話なの

[marmot1123]

センター試験の話をすると各教科で100点を取る人はまあ難しくはあるがそこそこいるけど、センター試験900点満点中900点を取れる人は滅多にいない（少なくとも自分は見たことがない）

[abababababababa]

ブコメ色んな角度からの回答でためになる。■センター100点が何人いると思いますか？そういう人材のみが欲しいなら、お金を積むしかないかもですね…(無駄な散財だろうけど！)

[takah-jugem]

「ミスのない経営判断はできないのか？難しいかもしれないが、十分に気を付けていれば防げるのではないか？」と言って、事の顛末を増田に投稿して下さい

[sawat]

「テストに費やしたコスト（人月）と残存バグ数とは反比例する」というグラフを書いて説明するのがいいのでは？

[imash]

バグのないことを証明することは出来ません。

[cj3029412]

「気をつけたのですが気が違ってました」

[midnightseminar]

ウォズニアックがApple IIか何かのソースコードが印刷された紙を持って「バグはゼロだ。自分でもどうやったのか分からない。もう一度やれと言われても無理」と語る映像があったが、あれ何だっけ。

[aoki789]

はじめからバクのないプログラムを書くのは難しいです。しかし、大規模なシステムでも出荷後のバグをゼロすることはできます。形式手法を利用して開発したフェリカのICチップの例があります。スイカに使われています

[xlc]

こういうことをいう人は品質を人間性の問題(どのくらいマジメに取りんだか)と捉えているのだと思う。なのでバグに対して「横展開」なる罰を与えるのだ。

[YaSuYuKi]

スペースシャトルの制御用ソフトウェアは、徹底したテストが行われ「バグフリー」とまで言われていたが、ソースコード1行あたり当時の金額で1000ドルほどかかっている。今の価値だと100万円くらい？その費用があれば

[tatsunop]

十分に気をつける、のコスト上昇についていけなくなる、ということが通じれば。例えば百科事典を手書きで写すとして、失敗してもページ単位での修正不可ってのを考えたら労力的に無理だと分かってもらえないかなぁ。

[kazuph1986]

“難しいかもしれないが、十分に気を付けていれば防げるのではないか？” には普通に優しさを感じる。なので回答としては真摯にヒューマンエラーについて議論を深め合えば良さそう。

[KariumNitrate]

見つからなければバグはないし、バグと認めなければよい。不幸な人と同じ。

[moronbee]

仕様バグ、設計バグ、実装バグを無くすよう複雑さを完全に仕様化してコスト掛ければ防げますが、個人的にはお勧めしません。

[You-me]

バグがないことを証明する方法がない（第二不完全性定理！（ﾁｮｯﾄﾁｶﾞｳｿﾞ）でいいと思うよ

[i_am_aoi]

「例えば人にこのボールペンをあげるとしましょう。返ってくる反応を全て想定出来たならバグのないプログラムが書けます」…ちょっと違うか。プログラマーじゃないのでこの辺の想像が限界だ。

[nakex1]

「Hello world」はバグなしで書けるだろう。そこからどこまで複雑さを上げていくとバグを防げなくなるか。

[Windfola]

「バグは人のミス」誰の、を問うところから始めないとなあ。

[escape_artist]

なくすことは諦めて、想定外のバグが起きた時どうするか考えておいた方が安上がりですよ

[koogawa]

それでも発生してしまうのがバグなのであった（完）

[kiyo_hiko]

納期コストは有限だから完全にバグなくすの不可能だし、限られた時間内で少しでも減らすだけ

[ombran]

仕様どおりのプログラムをバグなしで書くことはできると思うけど、そのための検証コストが膨大すぎるだけ。あと、大体仕様が変わる。

[ifttt]

私がこの会社にいるのは何故だと思いますか？大学受験で満点が取れなかったからです。

[Dursan]

「バグなんて仕様です。偉い人にはわからんのです」と言うよろし