夏のプログラミング・シンポジウム2008「良く書かれたコンピュータソフトウェアは,人間になることができる.真か偽か?」