| Project/Area Number |
20K11752
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60050:Software-related
|
|---|
| Research Institution | Shibaura Institute of Technology |
|---|
Principal Investigator |
篠埜 功 芝浦工業大学, 工学部, 教授 (10362021)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2020: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 構文補完 / LR構文解析 / 構文解析器生成系 / 文法 / 生成規則 / プログラミングツール / LR解析 / 文形式 / 簡約 / 統合開発環境 / コード補完 / 構文解析 / 構造エディタ / 属性文法 |
|---|
| Outline of Research at the Start |
本研究では、テキストベース（プログラマが自由にコードを編集するのを妨げない）でかつ形式的に仕様が定められたコード補完機能、特に構文補完機能を構文解析器と連携しながら実現する方式の考案および実装を行う。理論面では、構文解析器の内部状態を用いたコード補完方式を開発する。実装面では、理論面の研究に基づき、コード補完機能を構文解析器と連携しながら系統的に行う技法を考案し、Emacs等のエディタの編集操作に応じて動作するコード補完機能を提供する。
|
| Outline of Annual Research Achievements |
2022年度は、全南大学校のKwanghoon Choi教授とともに、国際会議ACM Partial Evaluation and Program Manipulation（PEPM 2021）で発表を行ったLR構文解析に基づく構文補完方式について、Haskell、C、Small Basic、PolyRPC等の言語に実際に適用したところ、問題点がいくつかあり、それらに対応するため、simple candidate, nested candidate, extended simple candidate等、補完候補の仕様をいくつか定め、それらを計算するアルゴリズムを考案し、Haskell言語で実装した。実装した補完候補計算システムは、以前から用いているEmacs Lispのプログラムを用いることにより、Emacs上でプログラム編集中にTabキーを押すことにより呼び出され、計算結果である補完候補がEmacsに送られ、popup windowとして表示され、プログラマが候補を選択するとカーソル位置に挿入される。
さらに、さまざまなプログラム例に対し補完候補計算にかかる時間や計算される補完候補を確認し、整理した。複雑な仕様における補完候補を求める場合においても、約0.2秒以下で半分の補完候補が計算され、9割程度の補完候補が約1秒以内で計算されることを確認した。これらの内容を論文としてまとめ、国際論文誌へ投稿し、現在査読中である。また、査読コメントをもとに、既存研究との比較、参考文献の追加等、さまざまな点で論文の改良を行った。実装したシステムのソースコードはgithub(https://github.com/kwanghoon/{yapb,arith,smllike,sbparser,polyrpc,c11parser,haskellparser})上で公開している。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
予定どおり、国際会議PEPM2021の論文の内容を発展させ、国際論文誌へ投稿した。
|
| Strategy for Future Research Activity |
国際論文誌に投稿中の論文について、査読コメントに対応し、修正を行う予定である。
|
Report
(3 results)
Research Products
(4 results)
