| 研究課題/領域番号 |
21700017
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 島根大学 |
|---|
研究代表者 |
岩見 宗弘 島根大学, 総合理工学部, 講師 (70314614)
|
|---|
| 研究期間 (年度) |
2009 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2011年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2010年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2009年度: 2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
|
|---|
| キーワード | 項書換えシステム / 高階項書換えシステム / 無限項書換えシステム / 合流性 / 強頭部正規化可能性 / 強収束性 / 生成性 / 一般生成性 |
|---|
| 研究概要 |
高階項書換えシステムの合流性自動検証のために、様々な書換えシステムの研究を行った。研究成果として、組合せ子の項書換えシステムの多くが強頭部正規化可能性を持たないことを示した。さらに、無限項書換えシステムの強頭部正規化可能性および生成性に対する反証手続きを提案し、反証手続きの正しさを示すとともに、手続きの実装を行った。
|
