離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用

Research Project

Project/Area Number	25H01114
Research Category	Grant-in-Aid for Scientific Research (A)
Allocation Type	Single-year Grants
Section	一般
Review Section	Medium-sized Section 60:Information science, computer engineering, and related fields
Research Institution	Kyoto University
Principal Investigator	湊真一京都大学, 情報学研究科, 教授 (10374612)
Project Period (FY)	2025-04-01 – 2030-03-31
Project Status	Adopted (Fiscal Year 2025)
Budget Amount *help	¥59,800,000 (Direct Cost: ¥46,000,000、Indirect Cost: ¥13,800,000) Fiscal Year 2025: ¥13,780,000 (Direct Cost: ¥10,600,000、Indirect Cost: ¥3,180,000)