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

• Project/Area Number: 22K11926
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60020:Mathematical informatics-related
• Research Institution: Kanto Gakuin University
• Principal Investigator: 長尾 孝一 関東学院大学, 理工学部, 教授 (00308321)
• Co-Investigator(Kenkyū-buntansha): 岡崎 裕之 信州大学, 学術研究院工学系, 准教授 (50432167) ; 布田 裕一 東京工科大学, コンピュータサイエンス学部, 教授 (50706223)
• Project Period (FY): 2022-04-01 – 2026-03-31
• Project Status: Declined (Fiscal Year 2022)
• Budget Amount: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000); Fiscal Year 2025: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2024: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)