複数データ同期のため高水準双方向変換ネットワーク記述言語

• 研究課題/領域番号: 23K24818
• 補助金の研究課題番号: 22H03562 (2022-2023)
• 研究種目: 基盤研究(B)
• 配分区分: 基金 (2024); 補助金 (2022-2023)
• 応募区分: 一般
• 審査区分: 小区分60050:ソフトウェア関連
• 研究機関: 東北大学
• 研究代表者: 松田 一孝 東北大学, 情報科学研究科, 准教授 (10583627)
• 研究期間 (年度): 2022-04-01 – 2027-03-31
• 研究課題ステータス: 交付 (2024年度)
• 配分額: 16,380千円 (直接経費: 12,600千円、間接経費: 3,780千円); 2026年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円); 2025年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円); 2024年度: 3,510千円 (直接経費: 2,700千円、間接経費: 810千円); 2023年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円); 2022年度: 5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円)
• キーワード: プログラミング言語 / 関数プログラミング / 双方向変換 / 領域特化言語

研究開始時の研究の概要

GUI/webアプリケーションにフォーカスを置き，その作成のための双方向変換に基づくプログラミングフレームワークの作成を目指す．より具体的にはModel-View-Updateパターンに基づくwebアプリケーションの双方向変換を応用した作成技術について研究する．Model-View-Updateパターンは関数プログラミングや双方向変換と相性がよいことが期待される．またプログラミングフレームワークの作成と並行し，双方向変換言語の埋め込み実装技術や，複製を含むような双方向変換の理論的基盤についても研究を行う．