鍋島研究室

指導教員
鍋島 克輔 准教授  
専攻
計算機代数,特異点論
キーワード
数式処理
テーマ例
❶パラメトリック方程式系の解析 ❷局所環上の計算アルゴリズム ❸計算特異点論
概要
『コンピュータに高度な数学をさせる』ためのアルゴリズムの研究をしています。コンピュータが数学をするための理論は人工知能の分野と共に発達し、その研究分野は計算機代数学、数理論理学で支えられており、数式処理と呼ばれています。現在、高等学校の数学はもちろん、最新の数学研究に使える数学まで、現在のコンピュータは数学ができるようになっています。ゆくゆくは、コンピュータと数学の議論ができるようになりたいです。