Project/Area Number |
20K21790
|
Research Category |
Grant-in-Aid for Challenging Research (Exploratory)
|
Allocation Type | Multi-year Fund |
Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
Research Institution | Tokyo Institute of Technology |
Principal Investigator |
|
Project Period (FY) |
2020-07-30 – 2023-03-31
|
Project Status |
Completed (Fiscal Year 2022)
|
Budget Amount *help |
¥6,110,000 (Direct Cost: ¥4,700,000、Indirect Cost: ¥1,410,000)
Fiscal Year 2021: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2020: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
|
Keywords | ライブプログラミング / 多言語環境 / 開発環境 / データ構造可視化 / デバッガ / ブロック型プログラミング / プログラム設計レシピ / 言語実現フレームワーク / Truffle / Graal / Kanon / 可視化 / プログラム可視化 / 言語サーバ規約 / メタ言語フレームワーク |
Outline of Research at the Start |
近年注目を集めているライブプログラミングを、様々なプログラミング言語と様々なソフトウェア開発環境で利用可能にするための言語処理系の構築手法を確立させる。このためには言語実行時系内部において可視化のための情報抽出と再実行制御、また可視化機能と開発環境との連携が必要となる。これらの機能をプログラミング言語と開発環境に依存せずに実現するための方式としてTruffle/Graalに基づく抽出機構と言語サーバ規約による開発環境の分離方式を提案し、実際の処理系を構築して有効性を実証する。
|
Outline of Final Research Achievements |
We proposed several methods that make live programming more practical, and achieved the following contributions. (1) We proposed an implementation method based on a meta-language framework in order to support multiple languages and in order to accelerate performance. (2) We proposed a couple of algorithms that enhance visualization in Kanon so that visualization can cope with many data elements, and can give "meaningful" layout to the programmers.
Additionally, we proposed preliminary ideas on (1) an integrated development environment that can link between the code browsing history and developer's memos, and (2) a block-based environment that assist developers and learners to design programs in advanced to coding.
|
Academic Significance and Societal Importance of the Research Achievements |
複数の国際会議においてライブプログラミングを中心とした話題を扱うワークショップが継続して開催されているように、この分野に対する注目度は依然として高い。そのような中で、実用性を高める研究の重要性を訴え、実際にいくつかの論文として技術を示すことができたことは学術的に意義があると考える。またこの分野では学術的な会議の成果をより実用的な文脈で応用する気運も高いため、今後は社会的な影響を与える可能性も充分にあると考える。
|