2009 Fiscal Year Annual Research Report
等式付ツリーオートマトンの算術制約翻訳可能性と自動検証技術への応用に関する研究
| Project/Area Number |
21700022
|
|---|
| Research Institution | National Institute of Advanced Industrial Science and Technology |
|---|
Principal Investigator |
大崎 人士 National Institute of Advanced Industrial Science and Technology, 組込みシステム技術連携研究体(関西産学官連携センター), 副体長 (00356627)
|
|---|
| Keywords | 計算論 / ツリーオートマトン / 書換系 / 算術制約 |
|---|
| Research Abstract |
● 等式付単調ツリーオートマトンの研究で交流のあるLugiez教授とTalbot教授の招きにより,プロヴァンス大学招聘教授として7月に等式付ツリーオートマトンの非線形算術による特微付けの研究を行った.マルセイユ滞在は「単調ディオファントス指数制約の単調ACツリーオートマトンによる翻訳可能性(同制約に対する妥当性の検証可能性)」に取り組み,2008年までの同研究では未解決だった問題を肯定的に解決した.研究成果は,小林直樹教授(東北大学)と現在論文として纏めている.
● 国際サマースクールISR2009(ブラジル)に講師として招聘されて,大学院生～研究者向へのツリーオートマトン理論の自著の解説書を用いて,初学者向けと上級者向け2種類の講義を行った.
● 可換文法に関する新たに得られた知見をもとに,古澤仁准教授(鹿児島大)と進めた共同研究では,inverse(commutative)Kleene algebraを定義して,既知の方法-算術-ベクトル集合の同相関係が自然に拡張可能であることを示し,成果を研究会等で発表した.
|
