Javaの標準ライブラリのバイナリサーチアルゴリズムには、20年間も検出されなかったバグがありました。広く使用されている20行のコードがバグフリーになるまでに20年もかかるのであれば、どんなコードにも完璧さを期待できるでしょうか？