夏のプログラミング・シンポジウム2007「Quick_Programming_really_contradicts_Smart_Programming?」