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

ITエンジニア職に『絶対にバグを出しません、出したことありません』という応募が来たので落とした」記事へのコメント

  • by Anonymous Coward

    皆さんも経験ありますよね(?)

    • by Anonymous Coward

      仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目

      • by Anonymous Coward

        そこで形式手法ですよ
        数学的にプログラムのバグが無いことが証明される
        その結果、仕様に多くのバグが含まれることが証明される

        • by Anonymous Coward on 2022年09月29日 21時39分 (#4335721)

          形式手法はモデルないしアルゴリズムまでしか検証しない
          実装や実環境を理想化してるから実務に落とし込むならそれらとの整合性を取らないといけない
          聞きかじりやら理論屋(笑)はそういう面を無視するし、だから何十年たっても広まらないんだよ

          親コメント

開いた括弧は必ず閉じる -- あるプログラマー

処理中...