高い抽象度レベルを持つ宣言的分散プログラミング言語の実現と高度化

• 研究課題/領域番号: 24K02922
• 研究種目: 基盤研究(B)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分60050:ソフトウェア関連
• 研究機関: 大分大学
• 研究代表者: 紙名 哲生 大分大学, 理工学部, 准教授 (90431882)
• 研究分担者: 青谷 知幸 山陽小野田市立山口東京理科大学, 工学部, 准教授 (20582919) ; 増原 英彦 東京工業大学, 情報理工学院, 教授 (40280937)
• 研究期間 (年度): 2024-04-01 – 2029-03-31
• 研究課題ステータス: 交付 (2024年度)
• 配分額: 18,590千円 (直接経費: 14,300千円、間接経費: 4,290千円); 2028年度: 3,510千円 (直接経費: 2,700千円、間接経費: 810千円); 2027年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円); 2026年度: 3,510千円 (直接経費: 2,700千円、間接経費: 810千円); 2025年度: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円); 2024年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
• キーワード: リアクティブプログラミング / 分散システム / トランザクション

研究開始時の研究の概要

抽象度の高い分散プログラミング言語では，Society 5.0の機器やサービスの連携を非技術者レベルの知識で記述可能であるが，汎用性や連携対象に大きな限界がある．本研究課題では，既存の分散言語を拡張し，各種のデータ処理に対応できる高度に抽象化された分散汎用言語にすることで，この問題を解決する．同時に，この言語設計のもとで分散実行における各種整合性や安全性を保証するための理論を構築する．そして理論的に保証される性質を内部的に保証する基盤ソフトウェアを実現する．研究成果は非技術者である各領域の専門家のシステム開発への関与を促し，DX推進などの社会的な重要課題の解決に大きく寄与するものと期待できる．