「素性論理に基づくXML文書ルール記述言語DRDLとインターネット文書交換システムへの応用」［論文誌Vol.47, No.3, pp. 751-764 (2006)］

［論文概要］
　インターネット上の文書交換システムにおけるXML文書の検証、変換、およびデータベース連携などのXML処理機能を実現するための文書ルール記述言語を提案している。XML文書の要素内容間の制約は、通常のプログラム言語で手続き的に表現すると、複雑で直感的理解が困難な記述になりやすく、半定型的な業務帳票等がもつ多様性・変易性への対応が難しくなる点に課題がある。本論文では、自然言語の文法記述で用いられる素性論理をベースに、実システムで必要となる範囲の制約を簡明に記述できる言語とその作成支援系を開発し、実際の適用事例に基づき、開発・保守効率等に関する有効性を報告している 。

［推薦理由］
　XMLは多くの分野で標準フォーマットとして用いられるようになったが、とりわけ電子商取引や電子申請などの応用においては、処理の自動化推進のため、XML 文書の内容に関する規約（ルール）の記述とその検証が重要である。本論文では、自然言語処理分野で用いられる素性論理に基づいた新たな文書ルール記述言語（DRDL; Document Rules Description Language）を提案している。これにより、既存の技術では不可能だった、異なる要素内容の間のルール、あるいは要素内容と文書の構造に関するルールの表現と検証が可能になった。さらにDRDLに基づくアプリケーション開発フレームワークを開発し、実際の応用に適用した上で、その有効性を示している。この論文は、XML文書内容のルール記述と検証の問題に対し、理論と実践の両面から包括的にアプローチした極めて完成度の高い研究であると言える。以上の理由により、本論文を論文賞に推薦する。