「ソフトウェアにバグがないことを証明せよ!」というのはパワハラである

ソフトウェアには大きく二つのパターンがあり、一つはWindowsのソフト、スマホアプリ、カーナビの画像処理で少々のバグがあっても機敏に対応する、もしくは次のバージョンで対応すれば許される程度のパターンである。もう一つは自動車のエンジン制御、鉄道関係のシステム、金融システムのように、安全に関わるもの、バグが…