| 研究概要 |
Javaによりルールベースのプログラミングモデルを実装した.また,SWI-PrologによるρLogの実装に関してRISC-Linz Austriaの研究者と共同研究を行った.JavaおよびPrologによるρLogの実装は,生垣(hedge)に対して動作するように設計されているため,XMLの変換,検証,クエリに使用することができる.どちらの実装もフリーソフトウェアとして公開している.Javaによる実装では,ρLogの計算体系と正則表現ための型体系が融合されている.さらに,文字列,整数,真偽値などのJavaの基本的なデータ型にも対応している.実装は,入力ドキュメント,スキーマ,ルールベースプログラムの3種類のデータを読み込むように設計されている.ルールベース変換の結果は生垣として得られ,シリアル化することによって,テキストファイルにできる.ρLogの計算は,all-match policyで動作するように設計されている.Javaの実装は,XML変換のために有用なsingle-match policy(longest match and shortest match)に対応するよう拡張されているさらに,leftmost innermost,leftmost outermost,parallel innermost,parallel outermostのため演算子で拡張されている.
XMLドキュメントの検証は,XMLスキーマに対応する正規表現パターンで,ドキュメントの生垣表現を照合することによって実現される.
ρLogの非線形正規表現パターンの型推論の理論的研究を続けた.与えられた正規表現型と入力に対してマッチングを実行したときに,正規表現パターン内のすべての変数の組の型を正確に推論する健全かつ完全なアルゴリズムを提案した.
|
