News

以下の情報は古いので，最近の論文発表については こちら をご覧ください．

2009年6月7日

論文「Computing the Cost of Typechecking of Composition of Macro Tree Transducers」（Sebastian Manethとの共著）が 情報処理学会論文誌「プログラミング」 に採択されました．後日，掲載予定．

2009年1月1日

論文「Composing Stack-Attributed Tree Transducers」が Theory of Computing Systems に採択され，掲載されました．

2008年11月24日

論文「Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store」（加藤弘之，日高宗一郎，胡振江，石原靖哲との共著）が PLAN-X 2009 に採択されました．

2008年10月15日

論文「Towards Compositional Approach to Model Transformation for Software Development」（日高宗一郎，胡振江，加藤弘之との共著）が SAC 2009の SE Track に採択されました.

2008年7月9日

論文「Consistent Web Site Updating based on Bidirectional Transformation」（胡振江，武市正人との共著）が　WSE 2008 に採択されました．

2008年3月1日

電気通信大学に異動致しました．

2007年12月1日

論文「XML Type Checking for Macro Tree Transducers with Holes」（Sebastian Manethとの共著）および論文「XML Stream Processing Using a Lazy Concurrent Language」（穆信成・蔡大中との共著）の2本が PLAN-X 2008 に採択されました.

2007年10月5日

第3回DIKU-ISTワークショップにて，「Vu-X: A Web Site Updating System based on Bidirectional Transformation」を発表しました．

2007年6月8日

共著論文「Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions」（第一著者：松田一孝）が国際会議 ICFP 2007 に採択されました．