| 研究概要 |
● 等式付単調ツリーオートマトンの研究で交流のあるLugiez教授とTalbot教授の招きにより,プロヴァンス大学招聘教授として7月に等式付ツリーオートマトンの非線形算術による特微付けの研究を行った.マルセイユ滞在は「単調ディオファントス指数制約の単調ACツリーオートマトンによる翻訳可能性(同制約に対する妥当性の検証可能性)」に取り組み,2008年までの同研究では未解決だった問題を肯定的に解決した.研究成果は,小林直樹教授(東北大学)と現在論文として纏めている.
● 国際サマースクールISR2009(ブラジル)に講師として招聘されて,大学院生～研究者向へのツリーオートマトン理論の自著の解説書を用いて,初学者向けと上級者向け2種類の講義を行った.
● 可換文法に関する新たに得られた知見をもとに,古澤仁准教授(鹿児島大)と進めた共同研究では,inverse(commutative)Kleene algebraを定義して,既知の方法-算術-ベクトル集合の同相関係が自然に拡張可能であることを示し,成果を研究会等で発表した.
|
