研究課題
若手研究(B)
属性文法とは木に対して双方向に情報が流れる計算を割り当てる機構である。本研究では循環的計算の圏論的モデルであるトレース付きモノイダル圏の上で属性文法の新しい定式化を与えた。この定式化はChiricaとMartinによる領域理論上の属性文法と、CourcelleとDeransartによる関係的属性文法をインスタンスに持ち、既存の属性文法の理論と良く合致している。また、この定式化の元で構文的属性文法の合成手法であるdescriptional compositionの一般化を与えた。
すべて 2010 2009 2008
すべて 雑誌論文 (4件) (うち査読あり 3件) 学会発表 (6件)
In Proc.APLAS 2010(Springer) LNCS 6461
ページ: 222-238
In Mathematical Proceedings of Cambridge Philosophical Society volume 148
ページ: 107-109
RIMS preprint 1676, Kyoto University.
In Proc.ICALP 2008, Part II(Springer) LNCS 5126
ページ: 271-282
