2004 Fiscal Year Annual Research Report
運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
| Project/Area Number |
15200001
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
武市 正人 東京大学, 大学院・情報理工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
胡 振江 東京大学, 大学院・情報理工学系研究科, 助教授 (50292769)
筧 一彦 東京大学, 大学院・情報理工学系研究科, 助手 (90345116)
|
|---|
| Keywords | 構造化文書 / 運算随伴機構 / 文書処理 |
|---|
| Research Abstract |
平成16年度には、前年度の成果をもとに、XMLのような構造化文書の代数的構造を的確に捉え、効率のよいプログラムを構築するための言語機能を追究した。昨年度に提案した構造化文書自体にプログラムのコードを内包するProgrammable Structured Document(PSD)の考え方に基づき、当該文書に関する操作を文書内に記述する双方向変換(Bi-directional transformation)言語X/Invを設計し、構造化文書の編集システムのプロトタイプを開発し、有効性を確認した。この考察に基づき、計算機内に構造化文書自体の変換を記述するコードを置くPSDの枠組みを設計することができるようになった。この方式によるPSDは構造化文書の効率的な変換に適しているほか、変換プログラムを操作するメタプログラムを運算随伴機構として実現する際にも有効である。さらに、本年度の研究として、運算随伴機構に必要とされるパターンマッチングアルゴリズムについて、昨年度の成果を拡張して、高階パターンマッチングに基づく変換システムを作成して有効性を確認した。この成果は、これまでの変換システムには見られなかった関数や演算子の導出を含む強力なものであり、広範な変換アルゴリズムを捉えることができる。
上記の研究成果は、国際会議・学会大会で発表したほか、論文として公表した。また、2005年1月には、国内外から関連分野の研究者を招聘して国際ワークショップを開催し、本研究課題の成果の報告と、関連研究について議論を深め、次年度(最終年度)の研究とりまとめの位置づけを確認した。
|
