| 研究課題/領域番号 |
23500021
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 会津大学 |
|---|
研究代表者 |
鈴木 大郎 会津大学, コンピュータ理工学部, 上級准教授 (90272179)
|
|---|
| 研究分担者 |
奥居 哲 中部大学, 工学部, 准教授 (00283515)
|
|---|
| 研究期間 (年度) |
2011 – 2013
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2013年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2012年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | ナローイング / XML / 正規表現 |
|---|
| 研究概要 |
XML変換の記号的な検証技術として、ヘッジ書換え系を対象としたナローイングに関する理論的性質について研究を行った。左線形、右平坦な構成子系というヘッジ書換系を対象としたナローイング計算系を設計し、その理論的性質について検討した。
変換対象のXML文書への変換関数の適用と、望ましくない変換結果をそれぞれ一般化したヘッジからなる等式をこのナローイング計算系に与えたとき、ナローイングが成功し、それに続くヘッジ単一化が成功すると望ましくない変換の例を得ることができる。この計算系が健全性、完全性、前単一化の決定可能性という理論的に望ましい性質を満たすことを示すことができた。
|
