A.プロジェクト研究（③1件程度　④1件程度）
　テーマ「プログラム検証を支える数学の形式化基盤の研究開発」
B.女性研究者活躍支援研究（2件程度）
C.若手・学生研究（5件程度）
　対象：博士号取得後8年未満(2024年4月1日時点)の若手研究者及び大学院生
D.一般研究（16件程度）

①研究集会(Ⅰ)
　研究テーマが課題として認知され、産学連携も視野に入れた展開が可能なもの
②研究集会(Ⅱ)
　①より萌芽的な色彩が強いもの
③短期共同研究　
④短期研究員

①上限80万円
②上限40万円
③上限40万円
④上限20万円

2024年4月1日～2025年3月31日