2016 Fiscal Year Research-status Report
汎言語的健全構文マクロ機構を用いた言語処理系構築手法の研究
| Project/Area Number |
26330079
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
脇田 建 東京工業大学, 情報理工学院, 准教授 (10242265)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡部 卓雄 東京工業大学, 情報理工学院, 教授 (20222408)
佐々木 晃 法政大学, 情報科学部, 教授 (90396870)
|
|---|
| Project Period (FY) |
2014-04-01 – 2018-03-31
|
| Keywords | 健全マクロ / メタプログラミング / 解析構文文法 / 構文解析 |
|---|
| Outline of Annual Research Achievements |
本課題のテーマに沿って、健全なマクロ展開システムの実装技術の研究、及びマクロ機構、メタプログラミングを用いた応用研究を進めた。
前者については、（１）マクロ定義のパターンとテンプレートの対比を字句レベル構文解析文法 (Parsing Expression Grammar) を用いたコンパイラ生成器で実装し、構文マクロ展開後の抽象構文木をアンパーズしてマクロ記述を含まないホスト言語のコードを生成するアプローチ（伊藤、脇田）と（２）抽象字句ストリーム上での構文解析文法処理システムの OMeta に近年 Flatt が提案したスコープ集合を応用したマクロ展開方式を応用したアプローチ（星野、高桑、渡部）を試みた。
応用面では、以下のいくつかの研究を実施した：
（３）GPGPUを用いた汎用並列計算や実時間組込みプログラミングについて応用領域特化型プログラミング技術を応用したPythonの拡張言語を開発（鎌田、佐々木）、（４）プログラミングが困難な実時間組込みシステムについて関数型リアクティブプログラミングを実施できるメタプログラミング機構を設計し可読性とデバッグの容易性を高めた。（中野、佐々木）、（５）メタプログラミングを用いた情報可視化システムの自動生成の研究（高野、武田、脇田）、（６）メタプログラミングを用いたソフトウェアドキュメントの自動生成に向けての一般的な手法（高野、武田、脇田）を試みた。
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
昨年度の報告に記述したとおり、いくつかの理由から当初の計画より進捗が遅れた。計画年数を当初の３年から４年に延長させていただき、４年間で研究を終了する計画としている。昨年度一年間の研究活動を振り返ると活発な進捗が見られたものの、当初の計画よりは遅れているため、このように判断した。
|
| Strategy for Future Research Activity |
昨年度の報告に記述したとおり、当初の計画より進捗は遅れている。昨年度の活動を振り返ると、各分担者とも当初のテーマに沿って研究を進め、成果物のシステムの実装が進捗しており、一年間の研究活動は充実していた。この勢いを維持し、最終年度に相応しい成果をまとめる予定である。
|
| Causes of Carryover |
計画の実施を一年延長させていただいたため。
|
| Expenditure Plan for Carryover Budget |
本研究計画実施において、初年度、次年度で計画段階での想定を越えた諸問題が発生し、計画どおりに実施することができなかった。計画年数を計画当初の３年から４年に延長させていただき、研究を実施させていただいている。幸い、三年目にあたる昨年度は研究が順調に進捗した。この勢いを借りて、最終年度となる今年度は計画をまとめたい。
|
