九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動 社会活動
深作 亮也(ふかさく りようや) データ更新日:2019.04.28



大学院(学府)担当

学部担当



ホームページ
就職実績-他大学
就職実績有, 東京理科大学 2016/04 -- 2019/03
国立情報学研究所 2015/05 -- 2016/03
取得学位
理学博士
学位取得区分(国外)
なし
専門分野
計算機代数
外国での教育研究期間(通算)
00ヶ年05ヶ月
活動概要
主な研究領域は計算機代数です. 計算機代数手法である限量子消去法を効率化し, その結果を計算機代数システムMapleに実装してきました. 限量子消去法は与えられた一階述語論理式と実数体上で等価な限量子なしの論理式を計算します. 多くの数学の問題は一階述語論理式として表現できます. 多くの実社会の数学の問題は実数に関する問題です. 従って, 私たちは限量子消去法によって様々な実社会の数学的問題を解決できます. また, 実代数幾何にも興味があります.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
 
 
九州大学知的財産本部「九州大学Seeds集」