形式手法を用いた数論アルゴリズムの設計支援システムの開発

• 研究課題/領域番号: 22K11926
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分60020:数理情報学関連
• 研究機関: 関東学院大学
• 研究代表者: 長尾 孝一 関東学院大学, 理工学部, 教授 (00308321)
• 研究分担者: 岡崎 裕之 信州大学, 学術研究院工学系, 准教授 (50432167) ; 布田 裕一 東京工科大学, コンピュータサイエンス学部, 教授 (50706223)
• 研究期間 (年度): 2022-04-01 – 2026-03-31
• 研究課題ステータス: 採択後辞退 (2022年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2025年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2022年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)