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