| 深作 亮也（ふかさくりようや） | データ更新日：2023.04.10 |
大学院(学府)担当
学部担当
ホームページ
https://kyushu-u.pure.elsevier.com/ja/persons/ryoya-fukasaku
就職実績-他大学
就職実績有, 東京理科大学・理学部第一部・助教 2016/04 -- 2019/03
国立情報学研究所・リサーチアシスタント 2015/05 -- 2016/03
国立情報学研究所・リサーチアシスタント 2015/05 -- 2016/03
取得学位
博士(理学）
学位取得区分(国外)
なし
専門分野
計算機代数
外国での教育研究期間(通算)
00ヶ年05ヶ月
活動概要
主な研究領域は計算機代数です. 計算機代数手法である限量子消去法を効率化し, その結果を計算機代数システムMapleに実装してきました. 限量子消去法は与えられた一階述語論理式と実数体上で等価な限量子なしの論理式を計算します. 一階述語論理式の数学的記述能力は高く, 多くの数学の問題は一階述語論理式として表現できます. 多くの実社会の数学の問題は実数に関する問題であり, 限量子消去法によって様々な実社会の数学的問題を解決することもできます. また, 最近はそうした実数領域における計算機代数手法の数理科学分野への応用にも着手しています.
本データベースの内容を無断転載することを禁止します。
九大関連コンテンツ
pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
九州大学知的財産本部「九州大学Seeds集」
QIR 九州大学学術情報リポジトリ システム情報科学研究院
数理学研究院
- CAP representations of inner forms of Sp(4) with respect to Klingen parabolic subgroup
- [028]MI Lecture Note Series Vol.28 (Modular Forms, Elliptic and Modular Curves)
- Laplacian energy of directed graphs and minimizing maximum outdegree algorithms
- Milnor-Selberg zeta functions and zeta regularizations
- A wait-and-see strategy as a survival strategy in the prisoner's dilemma between relatives