2022 Fiscal Year Research-status Report

「なめらかな編集」のためのプログラミング言語仕様の拡大と縮小

Research Project

Project/Area Number	22K11981
Research Institution	Hosei University
Principal Investigator	佐々木晃法政大学, 情報科学部, 教授 (90396870)
Project Period (FY)	2022-04-01 – 2025-03-31
Keywords	プログラミング言語 / プログラミング言語処理系 / 構文解析 / エディタ
Outline of Annual Research Achievements	本応募課題では、ソフトウェア開発時にコード作成者がプログラミング言語処理系や開発環境から、効果的なフィードバックを得ながら開発を行う手法の提案を目指す。本手法の主要なアイディアのひとつは、開発者がプログラムの編集操作を行うと、即時に実行結果に反映される、ライブプログラミングの手法を活用することである。これにより、フィードバックの頻度を高めることが可能となる。この研究の一環として本年度は、ブロック言語とライブプログラミングによるGUIアプリケーション開発の研究を行った。GUIアプリケーションは、主にユーザによるインタフェース機器操作によって発生するイベント列によって動作が定まるという特徴がある。このように入出力が単純な形式ではない、より実用的なアプリケーション開発におけるライブプログラミングの適用法の研究を進めた。また、本手法を適用する社会シミュレーション分野のドメイン特化言語(DSL)の検討を目的として、群集シミュレーションおよび道路交通シミュレーションに関する研究を進めた。これらの社会シミュレーションは、個々の主体が高度な意思決定・振る舞いを持つという特徴がある。実際にシミュレーションシステムの開発を行うことで、その実装にDSLを導入することが有用であることを確認した。この成果は、本課題における手法の検討等で用いるDSLが表現すべきモデルの具体例として活用する。さらに、ウェブページを表現するhtmlやcssの効率的なコーディングを補助する手法の研究を通して、命名規則によって名前空間に構造を導入し、統合環境のエディタの援用のもと効果的なプログラム開発を行う手法の検討を行った。
Current Status of Research Progress	Current Status of Research Progress 2: Research has progressed on the whole more than it was originally planned. Reason 本年度は、効果的な編集作業を行うためのライブプログラミングの手法について主に研究を進めた。なお、本課題では、プログラミング言語の拡張および縮小に基づくアプローチにより、編集作業の効率化をはかることを検討していたが、本年度はこの点についての進展は少なかった。一方で、htmlやcssの効率的なコーディングを補助する手法の研究において、命名規則を通した言語に対する制約によるアプローチを通して、異なった角度から言語縮小に関する考察を行った。また、本年度対象としたシミュレーションの研究では、DSLの開発に向けて、エージェントの振る舞いをはじめとするシミュレーションの実装法についての知見を得た。
Strategy for Future Research Activity	言語仕様の拡張および縮小によるカスタマイズを中心に「なめらかな編集」を実現することが、本研究の主眼である。今後、これまでに行ってきた準備的なプロトタイプ的研究に基づいて、より汎用的に適用可能とするための理論的研究を進める。これと同時に、本年度行ったGUIプログラミングを行う上での、ライブプログラミングの手法について、さらに研究を進める。また、本年度に研究を行ったシミュレーションについて、これらのモデルを簡潔に表現するDSLのプロトタイプを作成する。
Causes of Carryover	COVIT-19の影響により、旅費の支出が予定よりも減ったため、次年度使用額が生じた。これまでの研究成果に基づいたソフトウェア開発等への活用を行う。