| 研究課題/領域番号 |
26870270
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
情報学基礎理論
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
橋本 健二 名古屋大学, 情報学研究科, 助教 (90548447)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2016年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2015年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2014年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 問合せ保存性 / 木変換器 / 木オートマトン / 関数性 / 問合せ保存 |
|---|
| 研究成果の概要 |
木やグラフ構造データにおける問合せ保存性の検証可能性について調査し自動検証技術を開発することを目指した。本研究では、木構造データに対する変換に対して、２種類の問合せクラスに対する問合せ保存性の判定問題の計算量クラスの上界や下界を与えた。また、非線形な木変換における問合せ保存性について検討し、問合せ保存と類似した確定性について非線形な木変換における決定可能な十分条件を与えた。さらに、非決定性変換における問合せ保存性について検討し2種類の定義を与えた。そして、それぞれの定義について決定可能となる変換や問合せクラスもしくは決定可能な十分条件を与えた。
|
