- 2021 - 2024 グレブナー基底計算の理論計算量解析とその効率的な実装
- 2018 - 2021 グレブナー基底計算アルゴリズムの深化
- 2015 - 2018 グレブナー基底の高速計算法、検証法とその応用
- 2009 - 2012 最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開
- 2006 - 2009 記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究
- 2007 - 2009 高次元の有理連結代数多様体の多角的研究
- 2006 - 2009 グレブナー基底の理論的有効性と実践的有効性の探究
- 2005 - 2007 記号・代数計算に基づく計算技法の一般的適用方法論の確立と適用規模の拡大
- 2005 - 2007 パラメタを含む系の数式処理の実用化
- 2005 - 2007 数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究
- 2003 - 2006 種々の代数構造に現われる分解計算の計算機上での実現の研究
- 2006 - 2006 計算可換代数と計算代数幾何についての国際研究集会の企画調査
- 2004 - 2005 数理モデリングの基礎技術
- 2005 - 2005 グレブナー基底の理論的有効性と実践的有効性に関する共同研究の企画調査
- 2002 - 2004 記号・代数計算による最適化問題解法と定理自動証明の研究
- 2002 - 2004 高性能計算代数ソフトウェアの開発
- 2001 - 2003 数論アルゴリズムの研究と数論システムの開発
- Study on Algebraic Algorithms
- Study on Algebraic Combinatorics
- Study on Application of Algebraic Algorithm to Engineering
- 代数的算法に関する研究
- 代数的算法の工学(暗号等)への応用に関する研究
- 代数的組合せ論に関する研究
全件表示