不老不死は不可能だから医者は要らない的な開き直りで使われすぎてる感はある バグゼロは無理だから初歩的なミスも指摘するなって方向にもっていきたがる奴大杉

バグがないことの証明はできない っていうのならある

「アプリケーションに不具合が必ず存在する」というのは マーフィーの法則と同程度には正しい どれだけバグ取りを頑張っても、本番環境だと必ず不具合が発生する

停止性問題は 任意のプログラムが有限時間で停止するか判定するプログラムは可能か だけど、「任意の」を抜いて覚えてる人がめちゃくちゃ多い その専門家もたぶんそうだろう

シェルのプログラムで単純なコードで書かれているようなアプリケーションでもバグがあるってことなんですね？ ``` cat foo.txt | grep 'bar' ```