九州大学-研究者情報 [深作亮也 (助教) 数理学研究院代数幾何部門]

深作亮也（ふかさくりようや）

データ更新日：2024.04.24

助教　／　数理学研究院代数幾何部門

大学院(学府)担当

数理学府数理学専攻

学部担当

理学部数学科数学

ホームページ

https://kyushu-u.elsevierpure.com/ja/persons/ryoya-fukasaku
　研究者プロファイリングツール　九州大学Pure

https://fukasaku.math.kyushu-u.ac.jp/

就職実績-他大学

就職実績有, 東京理科大学・理学部第一部・助教 2016/04 -- 2019/03
国立情報学研究所・リサーチアシスタント 2015/05 -- 2016/03

取得学位

博士(理学）

学位取得区分(国外)

なし

専門分野

計算機代数

外国での教育研究期間(通算)

00ヶ年05ヶ月

活動概要

主な研究領域は計算機代数です. 計算機代数手法である限量子消去法を効率化し, その結果を計算機代数システムMapleに実装してきました. 限量子消去法は与えられた一階述語論理式と実数体上で等価な限量子なしの論理式を計算します. 一階述語論理式の数学的記述能力は高く, 多くの数学の問題は一階述語論理式として表現できます. 多くの実社会の数学の問題は実数に関する問題であり, 限量子消去法によって様々な実社会の数学的問題を解決することもできます. また, 最近はそうした実数領域における計算機代数手法の数理科学分野への応用にも着手しています.

九大関連コンテンツ

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

QIR　九州大学学術情報リポジトリシステム情報科学研究院

数理学研究院


	※ 研究者情報全体を検索する場合は右端の「すべて」を選択して下さい。

大学院(学府)担当

学部担当

https://kyushu-u.elsevierpure.com/ja/persons/ryoya-fukasaku 研究者プロファイリングツール 九州大学Pure

https://fukasaku.math.kyushu-u.ac.jp/

九大関連コンテンツ

https://kyushu-u.elsevierpure.com/ja/persons/ryoya-fukasaku
　研究者プロファイリングツール　九州大学Pure