時間を扱う論理と並行プログラム論理の合成に関する研究

• 研究課題/領域番号: 23K11051
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分60050:ソフトウェア関連
• 研究機関: 千葉工業大学
• 研究代表者: 安部 達也 千葉工業大学, 人工知能・ソフトウェア技術研究センター, 上席研究員 (50547388)
• 研究期間 (年度): 2023-04-01 – 2026-03-31
• 研究課題ステータス: 交付 (2023年度)
• 配分額: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円); 2025年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2023年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
• キーワード: 並行プログラム論理 / ハイブリッド論理

研究開始時の研究の概要

本研究は論理学分野で最近特に研究が進んでいる時間を扱う論理（ハイブリッド論理等）を並行プログラム論理の外部論理として用いた際の有用性について調べることを目的としています。また、並行プログラム論理の外部論理に時間を扱う論理に採用することを考慮することにより導かれる並行プログラム論理の拡張、特にメモリ一貫性モデルを考慮できる論理への拡張を目指します。これにより、より実用的なプログラムを現実的な環境設定で検査できる並行プログラム論理の基礎の確立を目指します。