プログラム解析とかプログラム検査とか最適化とか、こういう分野の最大の問題点は、難しくて面白い、というところだよなぁ、とか思った。もしも、そういう研究を一切禁止にして、そういう研究に従事してる賢い人々などのリソースを、有用なアプリケーションの開発につぎ込めば、いったいどうなるだろう。

答え:Google