キーワードを入力してください
XML等の構造化文書に関する研究を行っている。例えば、スキーマ進化に伴うXML変換アルゴリズムの開発、XPath充足可能性問題を解くための効率のよいアルゴリズムの開発を行っている。また、それら問題の計算複雑さについても考察を行っている。
[TRIOS] [Web] [Mail]
ページ先頭へ戻る