2010年3月 Sound and Complete Validation of Graph Transformations 第12回プログラミングおよびプログラミング言語ワークショップ 稲葉一浩, 日高宗一郎, 胡振江, 加藤弘之, 中野圭介 記述言語 日本語 会議種別 ポスター発表