プログラムの品質とP≠NP予想 - 304 Not Modified

私も、入社してから７年目。気がつけば、プログラムをゴリゴリ書く側から、管理する側になろうとしています。年々、効率化と高品質化を求められるのはどの開発現場でも同じでしょうが、私の職場では何よりバグを出さないことが最重要視されるので、今年初めてリリース後バグを出してしまったときはだいぶヘコみました（現状影響なしと判断され即日改修にはなりませんでしたが←苦しい言い訳） さて、今回は数学のお話。世の中には「ミレニアム懸賞問題」というこの問題を解いたら１億円！という超難問が存在します。その一つ、P≠NP予想にちょっと触れてみようと思います。厳密に説明するのは難しいので簡単に説明すると、P問題とは「多項式時間での解法が存在する問題」のことで、NP問題とは「答えが与えられた時に、その答えが正しいかどうかを多項式時間で判定できる問題」のことです。このとき、P⊂NPであることは自明ですが、P⊃NPはどうだろ

[mind]

――リーナスさんだか誰かopen sourceの人が、「バグは取るより見つける方が難しい」とか言ってた。それゆえの人海戦術。