Ryoya Fukasaku
(深作 亮也)
Modified on: 2022/08/28
Profile Information
- Affiliation
- Assistant Professor, Tokyo University of Science, Faculty of Science Division I, Department of Applied Mathematics, Tokyo University of Science
- Degree
-
Ph.D(Tokyo University of Science)
- Other name(s) (e.g. nickname)
- Ryoya Fukasaku
- J-GLOBAL ID
- 201401051587167800
- researchmap Member ID
- B000242683
数式処理・計算機代数の研究をしています。現在は実数領域における限量記号消去の効率化を中心に、実代数幾何に関する研究を行っています。
Research Interests
6Research Areas
2Research History
4-
Apr, 2019 - Present
-
Apr, 2016 - Mar, 2019
-
Apr, 2018 - Sep, 2018
-
May, 2015 - Mar, 2016
Education
2Committee Memberships
3-
Oct, 2018 - Present
-
Aug, 2015 - Jul, 2016
Awards
1-
Jul, 2017
Papers
17-
Mathematics in Computer Science, 13(1-2) 79-93, Jun, 2019 Peer-reviewed
-
Proceedings of the 23nd Asian Technology Conference in Mathematics, 176-185, Nov, 2018 Peer-reviewed
-
Communications of Japan Society for Symbolic and Algebraic Computation, 3 19-29, Oct, 2018 Peer-reviewed
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), 359-365, Jul, 2018 Peer-reviewed
-
AI Commun., 31(3) 251-266, 2018 Peer-reviewed
-
Proceedings of the 22nd Asian Technology Conference in Mathematics (ATCM 2017), 198-207, Dec, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10693 258-263, 2017 Peer-reviewed
-
Proceedings of the 21st Asian Technology Conference in Mathematics (ATCM 2016), 190-199, Dec, 2016 Peer-reviewed
-
ACM Communications in Computer Algebra, 50(3) 101-104, Sep 1, 2016 Peer-reviewed
-
Proceedings of the International Joint Conference on Automated Reasoning 2016, Lecture Notes in Computer Science, 9706 213-227, 2016 Peer-reviewed
-
MATHEMATICAL SOFTWARE, ICMS 2016, 9725 165-172, 2016 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9582 231-235, 2016 Peer-reviewed
-
Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015), 316-325, Dec, 2015 Peer-reviewed
-
Mathematics in Computer Science, 9(3) 267-281, Sep, 2015 Peer-reviewed
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), 173-180, Jul, 2015 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8592 512-517, 2014 Peer-reviewed
-
Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences(MACIS 2013), 21-24, Dec, 2013 Peer-reviewed
Misc.
16-
Book of Abstracts, 23rd Conference on Applications of Computer Algebra (ACA 2017), 222-223, Jul, 2017
-
数式処理, 23(2) 116-119, May, 2017
-
数式処理, 23(2) 120-123, May, 2017
-
京都大学数理解析研究所講究録, 2019 113-123, Apr, 2017
-
京都大学数理解析研究所講究録, 2019 124-142, Apr, 2017
-
数式処理, 22(2) 31-34, May, 2016
-
数式処理, 22(2) 26-30, May, 2016
-
数式処理, 22(1) 5-12, Mar, 2016
-
京都大学数理解析研究所講究録, 1976 27-30, Aug, 2015
-
数式処理, 21(2) 21-24, Aug, 2015
-
京都大学数理解析研究所講究録, 1955 131-141, Jul, 2015
-
京都大学数理解析研究所講究録, 1955 142-145, Jul, 2015
-
京都大学数理解析研究所講究録, 1927 1-9, Dec, 2014
-
京都大学数理解析研究所講究録, 1907 132-141, Jul, 2014
-
数式処理, 20(2) 58-61, Jun, 2014
-
数式処理研究と産学連携の新たな発展, COE Lecture Note, 49 27-32, Aug, 2013
Presentations
34-
応用特異点論研究集会, Dec 19, 2018
-
the 23nd Asian Technology Conference in Mathematics, Nov 21, 2018
-
the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), Jul 16, 2018
-
日本数式処理学会第27回大会, Jun 8, 2018
-
Risa/Asir Conference 2018, Mar 24, 2018
-
Asian Technology Conference in Mathematics (ATCM 2017), Dec 15, 2017
-
京都大学数理解析研究所共同研究(グループ型)「数式処理の新たな発展-その最新研究と他分野との連携-」, Sep 6, 2017
-
23rd Conference on Applications of Computer Algebra (ACA 2017), Jul 17, 2017
-
日本数式処理学会 第26回大会, Jun 9, 2017
-
Asian Technology Conference in Mathematics (ATCM 2016), Dec 15, 2016
-
ロボットは東大に入れるか2016成果報告会, Nov 14, 2016
-
平成28年度RIMS 共同研究「数式処理の新たな発展」, Sep 7, 2016
-
The International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) -Software Presentation-, Jul 19, 2016
-
The 5th International Congress on Mathematical Software (ICMS 2016), Jul 10, 2016
-
The 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 27, 2016
-
日本数式処理学会 第25回大会, Jun 3, 2016
-
The 20th Asian Technology Conference in Mathematics(ATCM 2015), Dec 17, 2015
-
The Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Nov 11, 2015
-
数式処理研究の新たな発展, 京都大学数理解析研究所研究集会, Aug 19, 2015
-
The International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), Jul 6, 2015
Teaching Experience
6Professional Memberships
1Research Projects
1-
科学研究費助成事業(若手研究(B)), 日本学術振興会, Apr, 2017 - Mar, 2020