（理論面の）対象 グレブナー基底計算のような代数計算 （理論面の）目標 代数計算の効率化、数理モデルへの代数計算の応用 ここまでの成果/重要な発見 グレブナー基底に基づく限量記号消去法の効率化、限量記号消去法に基づくホップ分岐分類、グレブナー基底に基づいた最尤因子分析モデル これからの目標/現在取り組んでいる目標 実データ解析でも実用可能 … 続きを読む 深作 亮也