Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Ryoya Fukasaku Last modified date:2019.04.28



Graduate School
Undergraduate School


Homepage
https://researchmap.jp/fukasaku/?lang=english
Academic Degree
Doctor of Science
Country of degree conferring institution (Overseas)
No
Field of Specialization
Computer Algebra
Total Priod of education and research career in the foreign country
00years05months
Outline Activities
My main research area is computer algebra. I have been improving efficiency in a quantifier elimination method, which is a method in computer algebra, and have been implementing the results on the computer algebra system ``Maple''. Quantifier elimination methods compute a quantifier-free formula equivalent to a given first order formula over the real number field. Many mathematical problems can be represented as first order formulas. Many mathematical problems that occur in the real world are related in real numbers. Therefore we are able to solve such mathematical problems by quantifier elimination methods. I am also interested in real algebraic geometry.
Research
Research Interests
  • Development of Computer Algebra Methods for Real World
    keyword : Computer Algebra, Real Algebraic Geometry
    2015.05~2019.04.
Academic Activities
Papers
1. Ryoya Fukasaku, QE Software Based on Comprehensive Gröbner Systems, Proceedings of the 5th International Congress on Mathematical Software (ICMS 2014), Lecture Notes in Computer Science, 8592, 512-517, 2014.08.
2. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), 173-180, 2015.07.
3. Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato, On QE Algorithms over an Algebraically Closed Field based on Comprehensive Gröbner Systems, Mathematics in Computer Science, 9, 3, 267-281, 2015.09.
4. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Improving a CGS-QE algorithm, Proceedings of Sixth International Conference on Mathematical Aspects of Computer and Information Science (MACIS 2015), Lecture Notes in Computer Science, 9582, 231-235, 2016.04.
5. Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai, Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems, Automated Reasoning, Lecture Notes in Computer Science, 9706, 213-227, 2016.06.
6. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On the Implementation of CGS Real QE, Proceedings of the 6th International Congress on Mathematical Software (ICMS 2016), Lecture Notes in Computer Science, 9725, 165-172, 2016.07.
7. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems, ACM Communications in Computer Algebra, 50, 3, 101-104, 2016.09.
8. Ryoya Fukasaku, Yosuke Sato, On Real Roots Counting for Non-radical Parametric Ideals, Proceedings of Seventh International Conference on Mathematical Aspects of Computer and Information Science (MACIS 2017), Lecture Notes in Computer Science (LNCS) , 10693, 258-263, 2017.11.
9. 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 COMMUNICATIONS, 31, 3, 251-266, 2018.05.
10. 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), 359-365, 2018.07.
11. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On Multivariate Hermitian Quadratic Forms, Mathematics in Computer Science, 2018.10.
Works, Software and Database
1. .
Presentations
1. Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato, On QE Algorithms over Algebraically Closed Field, The Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) , 2013.12.
2. Ryoya Fukasaku, QE Software Based on Comprehensive Gröbner Systems, The 4th International Congress on Mathematical Software (ICMS 2014) , 2014.08.
3. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems, The International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), 2015.07.
4. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, Improving a CGS-QE algorithm, The Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) , 2015.11.
5. Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai, Race against the Teens -- Benchmarking Mechanized Math on Pre-university Problems, The 8th International Joint Conference on Automated Reasoning (IJCAR 2016), 2016.06.
6. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On the Implementation of CGS Real QE, The 5th International Congress on Mathematical Software (ICMS 2016), 2016.07.
7. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato., CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Groebner systems, The International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) -Software Presentation- , 2016.07.
Membership in Academic Society
  • Japan Society for Symbolic and Algebraic Computation