版情報を取り込んだプログラミング言語の研究

• Project/Area Number: 19K11898
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 青谷 知幸 東京工業大学, 情報理工学院, 助教 (20582919)
• Project Period (FY): 2019-04-01 – 2022-03-31
• Project Status: Granted (Fiscal Year 2019)
• Budget Amount: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000); Fiscal Year 2021: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2019: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
• Keywords: プログラミング言語 / モジュラリティ / 版 / IoT / 依存性の地獄

Outline of Research at the Start

本研究では版をモジュールとして扱う関数型およびオブジェクト指向プログラミング言語を設計し，処理系(コンパイラと実行ライブラリ)を開発し，事例研究によって有効性を示す．令和元年度には版をモジュール単位として持つ基本的な言語とその処理系を作り，事例研究を通して，版の衝突問題が解決されることを示す．令和二年度と三年度には版をまたがる関数やデータ構造のために必要な多相性(版多相)の研究を行う．版多相は基本的な言語とその処理系を拡張する形で導入し，事例研究を通して版多相の有用性を示す．