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

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

  • by Anonymous Coward

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

    • by Anonymous Coward

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

      • by Anonymous Coward

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

        • by Anonymous Coward

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

※ただしPHPを除く -- あるAdmin

処理中...