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

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

  • by Anonymous Coward

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

    • by Anonymous Coward on 2022年09月28日 6時14分 (#4334331)

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

      親コメント
      • by Anonymous Coward on 2022年09月28日 9時36分 (#4334445)

        あと学ばないといけないのは
        仕様にねじれがあると上司に報告してもいいからそのまま作れと言ってくる
        証拠のデータをメールに添付しても見もしない
        そのままだとねじれ仕様通りに動いて内部の切り替えで本来の機能から想定される動作になるように作ると動作がおかしいと上司が怒る
        仕様に問題があったと言うとなんで報告しなかったと怒る
        報告したメールのメッセージIDを明記してもそんなもの知るかと言い出す
        そのソフトの依頼主には俺が勝手に仕様を変更したとか言い出す
        上司の上司に相談するとそいつもグル
        くらいは基本ですね
        絶対AC

        親コメント
        • by Anonymous Coward

          上司だけがソレならともかく、上司の上司もソレだとすると、転職をお勧めします。

        • by Anonymous Coward

          御同輩(涙)

        • by Anonymous Coward

          メールを印刷して、はんこを押す枠を書き込んで、自分→上司→その上司と、押してもらいに回るとか?

        • by Anonymous Coward

          だからサイコパスの素質があって良心の呵責が弱い人にとっては
          そういういい加減な仕事をする側に回った方が得で賢い選択肢なんだよね
          そうしてクズ管理職ばかりで株主価値の無い腐った職場が出来上がる

        • by Anonymous Coward

          あれ?俺いつ書き込んだかなぁ。。

        • by Anonymous Coward

          たかだか数行の日本語文章にこんなにバグ入れ込むあなたも大概だとおもうなあ
          句点つけるだけである程度デバグできるよ

      • by Anonymous Coward

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

        • by Anonymous Coward on 2022年09月28日 7時49分 (#4334367)

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

          親コメント
          • by Anonymous Coward on 2022年09月28日 10時16分 (#4334493)

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

            親コメント
            • by Anonymous Coward

              型はコンパイルでチェックされるから「動かすまで検証されない」わけじゃないぞ
              確かに普通は含めないけど原理的には含まれるし、ンなことはコメ主もわかっている

            • by Anonymous Coward

              静的型システム(コンパイル時に検知される)と言ったほうが良かったですかね。

          • by Anonymous Coward

            残念ながらダックタイピングのため対象箇所を動かすまで検証されません。

        • by Anonymous Coward

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

日々是ハック也 -- あるハードコアバイナリアン

処理中...