夏のプログラミング・シンポジウム2011「動的解析を利用した正常系解析と正常系表示エディタの開発」