Interests

• 辿節型木変換（Tree transducers）／ 属性文法
• 形式木言語理論
• 関数型プログラミング
• プログラム変換（特に関数融合…中間構造を除去する関数合成）
• プログラム検証
• 双方向変換（ビュー更新）
• 構造化文書変換の高速化と検証

論文は こちら．