| 研究課題/領域番号 |
15K15966
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
松田 一孝 東北大学, 情報科学研究科, 准教授 (10583627)
|
|---|
| 研究協力者 |
WANG Meng
|
|---|
| 研究期間 (年度) |
2015-04-01 – 2019-03-31
|
| 研究課題ステータス |
完了 (2018年度)
|
| 配分額 *注記 |
3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2018年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2017年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2016年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | プログラミング言語 / 関数プログラミング / プログラム変換 / 領域特化言語 / 双方向変換 / 双方向プログラミング / 可逆プログラミング |
|---|
| 研究成果の概要 |
双方向変換は，複数のデータ間の同期を可能とし，プログラミング言語，ソフトウェア工学，データベース等様々な分野で注目を集めている重要な研究課題である．
本プロジェクトでは，双方向変換記述のための高階関数プログラミング言語の設計を行った．この言語では，双方向変換は通常の関数として表現されるため，ユーザはその関数表現を高階関数を用いて組み合わせることでより複雑な双方向変換を記述することが可能となっている．また，束縛子を持つような双方向変換プログラミング言語の新しい埋め込み実装法を提案し，その有用性を構文解析器/整形出力器記述のための双方向言語FliPprを埋めこむことで確認した．
|
| 研究成果の学術的意義や社会的意義 |
プログラミング言語の記述性は，ソフトウェアの生産性や保守性に関係する重要な性質の一つであり，双方向プログラミング言語においても例外ではない．本研究の提案言語は双方向変換言語の記述性を大きく向上させるものである．本研究で提案された言語のアイデアは，双方向変換を通常の関数として表現することである．このことは双方向変換をより自然なプログラムとして表現することを可能にするだけでなく，高階関数を用いた双方向プログラミングをサポートすることを可能にしている．また，埋め込み技術の発展は双方向プログラミング言語の利便性の向上につながる．
|
