研究課題/領域番号 |
23K11043
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60050:ソフトウェア関連
|
研究機関 | 小樽商科大学 |
研究代表者 |
|
研究分担者 |
Avis David 京都大学, 情報学研究科, 非常勤講師 (90584110)
|
研究期間 (年度) |
2023-04-01 – 2028-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
2027年度: 390千円 (直接経費: 300千円、間接経費: 90千円)
2026年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2025年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2024年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
キーワード | 幾何計算 / 論理ソルバ / SMTソルバ |
研究開始時の研究の概要 |
近年は計算機の進化と高速アルゴリズムの進達により、形式論理の計算問題を高速に解く論理ソルバが極めて有効な計算道具になり、数学の有名な未解決問題の回答から企業での成功まで、異分野の様々な重要な課題に適応されている。 幾何計算の分野において、ポリトープと呼ばれる構造に関する計算が古典的な課題であり、生物学、材料工学、物理学等異分野で利用される重要な計算問題である。本研究は幾何計算の計算問題と高性能論理ソルバの組合せにより、異分野で行いたいが従来現実的ではない計算を可能にする。本研究で開発する新しいアプローチをフリーソフトとして実装し、無料で自由に使える研究道具になる。
|