鍋島研究室

指導教員

鍋島 克輔 教授 　

専攻

代数学

キーワード

計算機代数、特異点論

テーマ例

❶パラメトリック方程式系の解析 ❷局所環上の計算アルゴリズム ❸計算特異点論

概要

代数算法を駆使し、如何に抽象的な現代数学をコンピュータで取り扱うのかを研究すると共に、コンピュータを補助的に用いて数学の真理の解明に挑んでいます。コンピュータが数学をするための理論は人工知能の分野と共に発達し、その研究分野は計算機代数学、数理論理学で支えられており、数式処理と呼ばれています。現在、高等学校の数学はもちろん、最新の数学研究に使える数学まで、現在のコンピュータは取り扱うことが出来るようになっています。ゆくゆくは、コンピュータと数学の議論ができるようになりたいと思っています。