夏のプログラミング・シンポジウム2006「ゼリー形状のGUIによる,プログラムの正当性の可視化手法の提案」