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

• 研究課題/領域番号: 25H01114
• 研究種目: 基盤研究(A)
• 配分区分: 補助金
• 応募区分: 一般
• 審査区分: 中区分60:情報科学、情報工学およびその関連分野
• 研究機関: 京都大学
• 研究代表者: 湊 真一 京都大学, 情報学研究科, 教授 (10374612)
• 研究期間 (年度): 2025-04-01 – 2030-03-31
• 研究課題ステータス: 採択 (2025年度)
• 配分額: 59,800千円 (直接経費: 46,000千円、間接経費: 13,800千円); 2025年度: 13,780千円 (直接経費: 10,600千円、間接経費: 3,180千円)