Rchr
J-GLOBAL ID：201401051587167800
Update date: Aug. 28, 2022
Fukasaku Ryoya
フカサク リョウヤ | Fukasaku Ryoya
Affiliation and department：
Job title：
Assistant Professor
Research field (2)：
Applied mathematics and statistics
, Basic mathematics
Research keywords (6)：
Comprehensive Groebner System
, Quantifier Elimination
, Groebner Basis
, Real Algebraic Geometry
, 数式処理
, Computer Algebra
Research theme for competitive and other funds (1)：
- 2017 - 2020 包括的グレブナー基底系による限量子消去の効率化
Papers (17)：
-
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato. On Multivariate Hermitian Quadratic Forms. Mathematics in Computer Science. 2019. 13. 1-2. 79-93
-
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima. On Applications of Technology to Understanding Hierarchies of Elementary Geometry. Proceedings of the 23nd Asian Technology Conference in Mathematics. 2018. 176-185
-
Ryoya Fukasaku. On Hermitian Quadratic Forms of Non-Radical Ideals. Communications of Japan Society for Symbolic and Algebraic Computation. 2018. 3. 19-29
-
Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa. On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018). 2018. 359-365
-
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 2018. 31. 3. 251-266
ｍore...
MISC (16)：
-
Ryoya Fukasaku, Hidenao Iwane. On multivariate Hermitian quadratic forms. Book of Abstracts, 23rd Conference on Applications of Computer Algebra (ACA 2017). 2017. 222-223
-
深作 亮也, 岩根 秀直, 佐藤洋祐. 包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算. 数式処理. 2017. 23. 2. 116-119
-
岩根秀直, 深作亮也, 佐藤洋祐. 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の効率化. 数式処理. 2017. 23. 2. 120-123
-
深作 亮也, 岩根 秀直, 佐藤洋祐. 飽和イデアル計算なしのCGS-QE. 京都大学数理解析研究所講究録. 2017. 2019. 113-123
-
岩根秀直, 深作亮也, 佐藤洋祐. 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡単化. 京都大学数理解析研究所講究録. 2017. 2019. 124-142
ｍore...
Lectures and oral presentations (34)：
-
実限量子消去とその応用について
(応用特異点論研究集会 2018)
-
On Applications of Technology to Understanding Hierarchies of Elementary Geometry
(the 23nd Asian Technology Conference in Mathematics 2018)
-
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal
(the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 2018)
-
パラメトリックな連立代数方程式の根の連続性についてII
(日本数式処理学会第27回大会 2018)
-
パラメトリックな連立代数方程式の根の連続性について
(Risa/Asir Conference 2018 2018)
ｍore...
Education (2)：
- - 2016 Tokyo University of Science Graduate School, Division of Natural Science Department of Mathematical Information Science
- - 2012 Tokyo University of Science Faculty of Science Department of Mathematics
Professional career (1)：
- Ph.D (Tokyo University of Science)
Work history (4)：
- 2019/04 - 現在 Kyushu University Assistant Professor
- 2016/04 - 2019/03 Tokyo University of Science Assistant Professor
- 2018/04 - 2018/09 University of Waterloo Visiting Assistant Professor
- 2015/05 - 2016/03 National Institute of Informatics Research Assistant
Committee career (3)：
- 2018/10 - 現在 日本数式処理学会 理論分科会運営委員会 委員
- 2015/08/01 - 2016/07/31 The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016 Poster Presentation Committee
- 2015/08/01 - 2016/07/31 The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016 ポスター講演委員
Awards (1)：
Association Membership(s) (1)：
JAPAN SOCIETY FOR SYMBOLIC AND ALGEBRAIC COMPUTATION
