| 研究課題/領域番号 |
25730047
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 芝浦工業大学 |
|---|
研究代表者 |
篠埜 功 芝浦工業大学, 工学部, 准教授 (10362021)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| 研究課題ステータス |
完了 (2015年度)
|
| 配分額 *注記 |
2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2015年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2014年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2013年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | コード補完 / 変数名補完 / 識別子補完 / 開発環境 / 暗に型付けられた言語 / 関数型言語 / LR構文解析 / 誤り回復 / エラー回復 |
|---|
| 研究成果の概要 |
コード補完はプログラミングにおいて基本的で有用な機能であり、EclipseやVisual Studioなどの開発環境において広く用いられており、コード補完が有効に用いられることはプログラミングの効率に大きな影響を及ぼす。本研究では関数型言語の核言語について型を考慮した識別子補完を問題として定式化し、それを解くアルゴリズムを考案し、そのアルゴリズムが満たす性質を示した。また、入力中の不完全なプログラムに対応するためにLR構文解析の誤り回復機能を用いた方式を考案、実装した。さらにその方式をもとにキーワード補完プログラムを一部機械的に導出する方式を考案し、Yaccのソースコードを用いて実装した。
|
