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

1.	Ryoya Fukasaku, Criteria for Hopf Bifurcations with Fixed Multiplicities, Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2021), 147-154, 2021.07.
2.	Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On Multivariate Hermitian Quadratic Forms, Mathematics in Computer Science, 2018.10.
3.	Ryoya Fukasaku, On Hermitian Quadratic Forms of Non-Radical Ideals, Communications of Japan Society for Symbolic and Algebraic Computation, 3, 19-29, 2018.10.
4.	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.
5.	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.
6.	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.
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, 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.
9.	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.
10.	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.
11.	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.
12.	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.
13.	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.

主要学会発表等

全てを見る→

1.	Ryoya Fukasaku, Criteria for Hopf bifurcations with fixed multiplicities, The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021, 2021.07.
2.	Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa, On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal, the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) , 2018.07.
3.	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.
4.	Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato, On the Implementation of CGS Real QE, The 5th International Congress on Mathematical Software (ICMS 2016), 2016.07.
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, Improving a CGS-QE algorithm, The Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) , 2015.11.
7.	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.
8.	Ryoya Fukasaku, QE Software Based on Comprehensive Gröbner Systems, The 4th International Congress on Mathematical Software (ICMS 2014) , 2014.08.
9.	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.

作品・ソフトウェア・データベース等

1.	深作亮也, 実数領域における限量記号消去プログラムCGSQEの開発, 2015.07.

学会活動

所属学会名

日本数学会

日本数式処理学会

学協会役員等への就任

2020.10～2022.09, 日本数式処理学会, Communications of the Japan Society for Symbolic and Algebraic Computation 編集委員会.

2018.10～2022.09, 日本数式処理学会, 理論分科会.

学会大会・会議・シンポジウム等における役割

2022.10.31～2022.11.04, IMI共同利用若手研究-短期共同研究「限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用」, 組織委員.

2022.02～2022.02, IMI一般研究-短期共同研究「数式処理研究と産学連携の新たな発展」, 組織委員.

2021.11～2021.11.10, IMI若手研究-短期共同研究「格子暗号の実用化に向けた研究」, 組織委員.

2021.07～2021.07, 26th International Conference on Applications of Computer Algebra, Session Organizer.

2020.02.03～2020.02.07, IMI共同利用若手研究・短期共同研究「理論・計算数学と暗号学の融合アプローチによる次世代暗号構築の新展開」, 組織委員.

2015.08～2016.07, The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016 , ポスター講演委員.

受賞

奨励賞, 日本数式処理学会, 2017.07.

研究資金

科学研究費補助金の採択状況(文部科学省、日本学術振興会)

2023年度～2023年度, 基盤研究(C), 代表, 計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用.

2020年度～2022年度, 若手研究, 代表, 実計算代数手法に関する効率化と数理科学分野への応用.

2017年度～2020年度, 若手研究(A,B), 代表, 包括的グレブナー基底系による限量子消去の効率化.

九大関連コンテンツ

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

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

数理学研究院


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