プログラム検証技術の基礎付けと応用

• 研究課題/領域番号: 25H00446
• 研究種目: 基盤研究(S)
• 配分区分: 補助金
• 審査区分: 大区分J
• 研究機関: 東北大学
• 研究代表者: 海野 広志 東北大学, 電気通信研究所, 教授 (80569575)
• 研究期間 (年度): 2025-04-01 – 2030-03-31
• 研究課題ステータス: 採択 (2025年度)
• 配分額: 201,630千円 (直接経費: 155,100千円、間接経費: 46,530千円); 2025年度: 33,410千円 (直接経費: 25,700千円、間接経費: 7,710千円)