運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究

2003 Fiscal Year Annual Research Report

• Project/Area Number: 15200001
• Research Category: Grant-in-Aid for Scientific Research (A)
• Research Institution: The University of Tokyo
• Principal Investigator: 武市 正人 東京大学, 大学院・情報理工学系研究科, 教授 (10011165)
• Co-Investigator(Kenkyū-buntansha): 筧 一彦 東京大学, 大学院・情報理工学系研究科, 助手 (90345116) ; 胡 振江 東京大学, 大学院・情報理工学系研究科, 助教授 (50292769)
• Keywords: 構造化文書 / 運算随伴機構 / 文書処理

Research Abstract

平成15年度には、XMLのような構造化文書の代数的構造を的確に捉え、効率のよいプログラムを構築するため言語機能を追究した。構造化文書自体にプログラムのコードを内包するProgrammable Structured Document(PSD)を提案し、当該文書に関する操作を文書内に記述することにより、効果的な文書処理方式が実現できることを確認した。この考察に基づき、計算機内に構造化文書を実現するDocument Object Model(DOM)サーバとコードの評価・実行系との間の効率的なデータ授受の仕組みを実現し、その有効性を確認した。DOMで表現された構造化文書の中に含まれるプログラムが、その構造化文書の一部しか必要としない場合に、文書全体ではなく、必要とされる最小部分を受け渡す「剪定木方式」と、必要に応じて受け渡す「応需方式」の2方式を提案し、プロトタイプを作成した。PSDは構造化文書の効率的な変換に適しているほか、変換プログラムを操作するメタプログラムを運算随伴機構として実現する際にも有効である。さらに、本年度の研究として、運算随伴機構に必要とされるパターンマッチングアルゴリズムについて、決定性のある高階パターンマッチングの理論的考察を行ない、それに基づくプロトタイプを作成して有効性を確認した。この成果は、これまでのマッチングアルゴリズムには見られなかった決定性を有しており、変換アルゴリズムを捉える際の機械的処理に適している。
上記の研究成果は、国際会議・学会大会で発表したほか、論文として公表した。

Research Products

• [Publications] Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns and Its Application to Program Transformation"International Symposium on Logic-based Program Synthesis and Transformation(LOPSTR2003). (2003)
• [Publications] Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns"Information Processing Letters. 89・6. 309-314 (2004)
• [Publications] 武市正人, 胡振江, 筧一彦, 林康史, 穆信成, 中野圭介: "TreeCalc : Towards Programmable Structured Documents"日本ソフトウェア科学会第20回記念大会論文集. (2003)