教員紹介
深作 亮也( フカサク リョウヤ ) / 助教
所属部局:部門
数理学研究院 : 代数幾何部門
研究キーワード
計算機代数、実代数幾何
主な研究領域は計算機代数です. 計算機代数手法である限量子消去法を効率化し, その結果を計算機代数システムMapleに実装してきました. 限量子消去法は与えられた一階述語論理式と実数体上で等価な限量子なしの論理式を計算します. 多くの数学の問題は一階述語論理式として表現できます. 多くの実社会の数学の問題は実数に関する問題です. 従って, 私たちは限量子消去法によって様々な実社会の数学的問題を解決できます. また, 実代数幾何にも興味があります.
関連リンク
Homepage