夏のプログラミング・シンポジウム2011「新しいタイプの脅威を分析するための情報システムとマルウェアを表現するDSL」