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

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

  • by Anonymous Coward

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

    • by Anonymous Coward

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

      • by Anonymous Coward

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

        • by Anonymous Coward

          なんかそういう言い方をすると胡散臭く感じるけど、たいていの職業プログラマーはすでに日々形式検証のお世話になっているはず。型システムっていうんですけど。AIは実用化されるとAIと呼ばれなくなるみたいなパラドックス

          • by Anonymous Coward

            型システムも、動かすまで検証されないのも普通は形式手法には含めないけど。
            最近のCPUは設計の一部を形式手法で検証されてるけど、ソフトではあまりないんじゃないかな。

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

処理中...