| 研究課題/領域番号 |
20J23184
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
宮嵜 貴之 (2020-2021) 東京工業大学, 情報理工学院, 特別研究員(DC1)
|
|---|
| 特別研究員 |
宮嵜 貴之 (2022) 東京工業大学, 情報理工学院, 特別研究員(DC1)
|
|---|
| 研究期間 (年度) |
2020-04-24 – 2023-03-31
|
| 研究課題ステータス |
完了 (2022年度)
|
| 配分額 *注記 |
2,500千円 (直接経費: 2,500千円)
2022年度: 800千円 (直接経費: 800千円)
2021年度: 800千円 (直接経費: 800千円)
2020年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | 形式言語理論 / 構文解析 / 先読み / 解析表現文法 / 文脈自由文法の微分 / 正規表現 / プログラム意味論 |
|---|
| 研究開始時の研究の概要 |
本研究は実用的な構文解析技術と形式言語理論をつなぐ統一的な理論基盤の構築を目的とする。正規表現ライブラリやパーサコンビネータで用いられる実用上重要な演算である先読みや、形式言語理論において古くから研究されている強力で示唆的な方法であるBrzozowski微分等に着目して研究を行う。
|
| 研究実績の概要 |
構文解析において文脈自由文法や解析表現文法(parsing expression grammars)がよく利用されている。そのため、それら2種類の文法の相互運用や理論的な統合を目的とした研究を行った。この研究によって得られた主な結果は次の3点にまとめられる。
(1) 先読み付き文脈自由文法という概念を新たに導入し、それが上述の2種類の文法の拡張となることを示した。これにより構文解析でよく利用される上述の2種類の文法を混ぜて運用することが可能となった。
(2) 先読み付き文脈自由文法に対する適切な意味論を与えた。これは次に示す手順で研究が行われた。まず、空集合からの反復の極限に基づく単純な意味論についての考察を行った。その結果、その意味論には代入と置換によって意味が保たれないという問題があることが明らかになった。そこで、新たな別の意味論として、先読み付き言語の区間の最小解に基づく意味論を与えた。これは論理プログラミングにおけるFittingの意味論と関係があるものとなっており、この新たな意味論の下で上記の問題が解決され、また意味論としてより適切なものとなっていることを示した。
(3) 先読み付き文脈自由文法を用いた文字列の認識アルゴリズムを与えた。このアルゴリズムは文脈自由文法の微分と先読み付き正規表現の微分を組み合わせたものとなっており、入力文字列の長さの3乗時間2乗空間で動作することを示した。
|
| 現在までの達成度 (段落) |
令和4年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和4年度が最終年度であるため、記入しない。
|
