2013年9月 A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches 日本ソフトウェア科学会第30回大会、東京大学本郷キャンパス 浅田和之, 日高宗一郎, 加藤弘之, 胡振江, 中野圭介 記述言語 英語 会議種別 口頭発表(一般)