| 研究課題/領域番号 |
23K03123
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分11020:幾何学関連
|
|---|
| 研究機関 | 関西大学 |
|---|
研究代表者 |
寺本 央 関西大学, システム理工学部, 准教授 (90463728)
|
|---|
| 研究分担者 |
湊 真一 京都大学, 情報学研究科, 教授 (10374612)
早野 健太 慶應義塾大学, 理工学部(矢上), 准教授 (20722606)
深作 亮也 九州大学, 数理学研究院, 助教 (40778924)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2026年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2025年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2024年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2023年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | 特異点論 / 実限量化子消去 / BDD / 多目的最適化 / 計算代数 |
|---|
| 研究開始時の研究の概要 |
以下の4つの課題に取り組む。
1. Decision Diagram、非冗長積和表現を使った実限量化子消去アルゴリズムの発展、半代数的集合のBDD (Binary Decision Diagram)による表現
2. 混合加群に対する包括的グレブナー（標準）系アルゴリズムの開発
3. 実限量化子消去アルゴリズムによる特異点認識とそのアルゴリズム開発
4. 多目的最適化問題における実行可能集合、パレート集合、パレートフロントの微分位相幾何学的構造の分類
|
