2020-06-25

anond:20200625221442

不老不死不可能から医者は要らない的な開き直りで使われすぎてる感はある

バグゼロは無理だから初歩的なミスも指摘するなって方向にもっていきたがる奴大杉

記事への反応 -
  • 理論的にそうなんですか? 聞いたことないのですが どんな証明がなされたんですか?増田教授 わたしはソフトウェアの専門家ですが、アプリケーションに不具合が必ず存在するのは...

    • 不老不死は不可能だから医者は要らない的な開き直りで使われすぎてる感はある バグゼロは無理だから初歩的なミスも指摘するなって方向にもっていきたがる奴大杉

      • モジュールの組み合わせが複雑で想定していないものがあって不具合が出た というならまだ理解できますね 多くの人がこのコードはバグだよね?というコードレビューで簡単に気がつく...

    • バグがないことの証明はできない っていうのならある

      • そんな馬鹿な。バグがないチューリングマシンを書くことはできないというのか?

        • 悪魔の証明と同じで、じつは隠れた前提があって正確に言うならば 「プログラムが一定以上複雑であれば、現実的にバグがないことの証明はできない」 という話だな。 悪魔の証明だっ...

        • どんなに複雑なプログラムであっても、特定の一つのプログラムであって、入力の種類が有限ならば時間的タイミングや外部環境も含めたすべての組み合わせをテストすればバグがない...

    • 「アプリケーションに不具合が必ず存在する」というのは マーフィーの法則と同程度には正しい どれだけバグ取りを頑張っても、本番環境だと必ず不具合が発生する

      • 理論的に証明されているという理論はどこにあるんですか?

    • 停止性問題は 任意のプログラムが有限時間で停止するか判定するプログラムは可能か だけど、「任意の」を抜いて覚えてる人がめちゃくちゃ多い その専門家もたぶんそうだろう

      • アプリケーションはプログラムの集合体で「その中の任意のプログラムを抽出し不具合が発生する確率は0ではない」と言われれば納得できます。 だけど「その中のプログラムは不具合が...

        • だからマーフィーの法則と同じだよ。 「必ず発生する」は「必ずと言っていいほど高い確率で発生するので嫌になっちゃうね、ハハハ」の暗喩で、100%発生するという主張ではない。

    • シェルのプログラムで単純なコードで書かれているようなアプリケーションでもバグがあるってことなんですね? ``` cat foo.txt | grep 'bar' ```

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

ログイン ユーザー登録
ようこそ ゲスト さん