FUKASAKU RYOYA
Organization
Faculty of Mathematics Division of Algebra and Geometry Assistant Professor
School of Sciences Department of Mathematics（Joint Appointment）
Graduate School of Mathematics Department of Mathematics（Joint Appointment）
Title
Assistant Professor
Profile
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.
External link
Degree
-
Doctor of Science
Research History
-
東京理科大学・理学部第一部・助教 2016/04 -- 2019/03 国立情報学研究所・リサーチアシスタント 2015/05 -- 2016/03
Research Interests・Research Keywords
-
Research theme：Development of Computer Algebra Methods
Keyword：Computer Algebra, Real Algebraic Geometry
Research period： 2015.4 - 2022.3
Awards
-
奨励賞
2017.7 日本数式処理学会
Papers
-
Criteria for Hopf Bifurcations with Fixed Multiplicities Reviewed International journal
Ryoya Fukasaku
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2021) 147 - 154 2021.7
-
On Multivariate Hermitian Quadratic Forms Reviewed International journal
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Mathematics in Computer Science 2018.10
-
On Hermitian Quadratic Forms of Non-Radical Ideals Reviewed International journal
Ryoya Fukasaku
Communications of Japan Society for Symbolic and Algebraic Computation 3 19 - 29 2018.10
-
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal Reviewed International journal
Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 359 - 365 2018.7
-
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems Reviewed International journal
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
AI COMMUNICATIONS 31 ( 3 ) 251 - 266 2018.5
-
On Real Roots Counting for Non-radical Parametric Ideals Reviewed International journal
Ryoya Fukasaku, Yosuke Sato
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
-
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems Reviewed International journal
50 ( 3 ) 101 - 104 2016.9
-
On the Implementation of CGS Real QE Reviewed International journal
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Proceedings of the 6th International Congress on Mathematical Software (ICMS 2016), Lecture Notes in Computer Science 9725 165 - 172 2016.7
-
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems Reviewed International journal
9706 213 - 227 2016.6
-
Improving a CGS-QE algorithm Reviewed International journal
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
Proceedings of Sixth International Conference on Mathematical Aspects of Computer and Information Science (MACIS 2015), Lecture Notes in Computer Science 9582 231 - 235 2016.4
-
On QE Algorithms over an Algebraically Closed Field based on Comprehensive Gröbner Systems Reviewed International journal
9 ( 3 ) 267 - 281 2015.9
-
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems Reviewed International journal
173 - 180 2015.7
-
QE Software Based on Comprehensive Gröbner Systems Reviewed International journal
8592 512 - 517 2014.8
-
Introduction to algebraic approaches for solving isogeny path-finding problems Invited Reviewed International journal
Ryoya Fukasaku, Yasuhiko Ikematsu, Momonari Kudo, Masaya Yasuda and Kazuhiro Yokoyama
RIMS Kokyuroku Bessatsu (Theory and Applications of Supersingular Curves and Supersingular Abelian Varieties) 2022.6
-
Algebraic approaches for solving isogeny problems of prime power degrees Reviewed International journal
Yasushi Takahashi, Momonari Kudo, Ryoya Fukasaku, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama
Journal of Mathematical Cryptology 15 ( 1 ) 31 - 44 2020.11
-
Hybrid meet-in-the-middle-attacks for the isogeny path-finding problem Reviewed International journal
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
APKC '20: Proceedings of the 7th ACM Workshop on ASIA Public-Key CryptographyOctober 2020 36 - 44 2020.10
-
On Parametric Border Bases Reviewed International journal
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11989 10 - 15 2020.3
-
On Applications of Technology to Understanding Hierarchies of Elementary Geometry Reviewed International journal
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
Electronic Proceedings of the 23nd Asian Technology Conference in Mathematics 2018.11
-
On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education Reviewed International journal
Yosuke Sato, Ryoya Fukasaku
Proceedings of Asian Technology Conference in Mathematics (ATCM 2017) 198 - 207 2017.12
-
On Simple Representation of Locally Closed Sets Reviewed International journal
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
190 - 199 2016.12
-
Detecting unnecessary assumptions of elementary geometry problems by CAS Reviewed International journal
Yosuke Sato, Ryoya Fukasaku
Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015) 316 - 325 2015.12
-
On QE Algorithms over Algebraically Closed Field Reviewed International journal
Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato
Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) 21 - 24 2013.12
Presentations
-
Criteria for Hopf bifurcations with fixed multiplicities International conference
Ryoya Fukasaku
The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021 2021.7
-
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal International conference
Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa
the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 2018.7
-
On the Implementation of CGS Real QE International conference
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
The 5th International Congress on Mathematical Software (ICMS 2016) 2016.7
-
CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Groebner systems International conference
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato.
The International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) -Software Presentation- 2016.7
-
Race against the Teens -- Benchmarking Mechanized Math on Pre-university Problems International conference
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
The 8th International Joint Conference on Automated Reasoning (IJCAR 2016) 2016.6
-
Improving a CGS-QE algorithm International conference
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
The Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) 2015.11
-
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems International conference
2015.7
-
QE Software Based on Comprehensive Gröbner Systems International conference
2014.8
-
On QE Algorithms over Algebraically Closed Field International conference
Ryoya Fukasaku, Shutaro Inoue, Yosuke Sato
The Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) 2013.12
-
On simplification of comprehensive Gröbner systems International conference
The 28th International Conference on Applications of Computer Algebra ACA’2023 2023.7
-
因子分析における代数計算の可能性
深作亮也
九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」 2023.11
-
An algebraic approach to factor analysis International conference
Ryoya Fukasaku, Kei Hirose, Yutaro Kabata, Keisuke Teramoto
10th International Congress on Industrial and Applied Mathematics 2023.8
-
Comprehensive Gröbner systems over finite fields International conference
2023.8
-
計算機代数に基づく因子分析の最尤推定
深作亮也, 廣瀬慧, 加葉田雄太朗, 寺本圭佑
日本計算機統計学会 第37回大会 2023.6
-
代数計算に基づく因子分析モデルの最尤推定値候補の算出
深作亮也, 廣瀬慧, 加葉田雄太朗, 寺本圭佑
日本数式処理学会第32回大会 2023.6
-
因子分析へのグレブナー基底に基づくアプローチ
深作亮也, 廣瀬慧, 加葉田雄太朗, 寺本圭佑
RIMS共同研究（公開型）「Computer Algebra - Foundations and Applications 」 2022.12
-
効率的な一変数留数計算アルゴリズム
深作亮也, 田島慎一
日本数学会 2022.9
-
一変数留数計算について
深作亮也, 田島慎一
RIMS共同研究（公開型）「Computer Algebra - Foundations and Applications 」 2021.12
-
解析力学的アプローチによる分子動力学計算
深作亮也、溝口佳寛、檜貝信一
日本コンピュータ化学会 2021.6
-
単純ホップ分岐判定法の実装
深作亮也 , 田島慎一
RIMS 共同研究(公開型) Computer Algebra – Theory and its Applications 2020.12
-
重複ホップ分岐が発生するようなパラメータ条件の計算アルゴリズム
深作亮也
日本数式処理学会第29回大会 2020.11
-
耐量子計算機暗号におけるグレブナー基底攻撃の計算量評価について
池松泰彦, 深作亮也, 中村周平, 坂田康亮, 工藤桃成, 王亜成, 高島克幸
日本数式処理学会第29回大会 2020.11
-
Hybrid meet-in-the-middle attacks for the isogeny path-finding problem International conference
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020) 2020.10
-
池松泰彦, 深作亮也, 工藤桃成, 安田雅哉, 高島克幸, 横山和弘
2020年暗号と情報セキュリティシンポジウム 2020.1
-
On Parametric Border Bases International conference
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
8th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2018) 2019.11
-
深作亮也
第27回整数論サマースクール 2019.9
-
実限量子消去とその応用について
深作 亮也
応用特異点論研究集会 2018.12
-
On Applications of Technology to Understanding Hierarchies of Elementary Geometry International conference
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
the 23nd Asian Technology Conference in Mathematics 2018.11
-
パラメトリックな連立代数方程式の根の連続性についてII
佐藤 洋祐, 深作 亮也, 関川浩
日本数式処理学会第27回大会 2018.6
-
パラメトリックな連立代数方程式の根の連続性について
佐藤 洋祐, 深作 亮也, 関川浩
2018.3
-
On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education International conference
Yosuke Sato, Ryoya Fukasaku
Asian Technology Conference in Mathematics (ATCM 2017) 2017.12
-
CGBとCGSの入門 Invited
深作 亮也
京都大学数理解析研究所共同研究（グループ型）「数式処理の新たな発展－その最新研究と他分野との連携－」 2017.9
-
根基イデアルに対するエルミート二次形式について
深作 亮也
日本数式処理学会 第26回大会 2017.6
-
On Simple Representation of Locally Closed Sets International conference
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
Asian Technology Conference in Mathematics (ATCM 2016) 2016.12
-
深い言語処理と高速な数式処理の接合による数学問題の自動解答
松崎拓也、伊藤巧、外川拓真、深作亮也、岩根秀直、穴井宏和、横山和弘、新井紀子
ロボットは東大に入れるか2016成果報告会 2016.11
-
飽和イデアル計算なしのCGS-QE
深作亮也, 岩根秀直, 佐藤洋祐
平成28年度RIMS 共同研究「数式処理の新たな発展」 2016.9
-
包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算
深作亮也，岩根秀直，佐藤洋祐
日本数式処理学会 第25回大会 2016.6
-
Detecting unnecessary assumptions of elementary geometry problems by CAS International conference
Yosuke Sato, Ryoya Fukasaku
The 20th Asian Technology Conference in Mathematics(ATCM 2015) 2015.12
-
実数領域における包括的グレブナー基底系と限量子消去
深作亮也
数式処理研究の新たな発展, 京都大学数理解析研究所研究集会 2015.8
-
CGS-QE の効率的実装について
深作亮也
日本数式処理学会 第24回大会 2015.6
-
論理関数処理による論理式の簡単化 包括的グレブナー基底系を利用した限量記号消去法編
岩根 秀直, 深作 亮也, 佐藤 洋祐
日本数式処理学会 第24回大会 2015.6
-
包括的グレブナー基底系を利用した限量子消去
深作亮也
日本数式処理学会合同分科会 2015.1
-
包括グレブナー基底系を利用した限量子消去法
深作亮也，岩根秀直，佐藤洋祐
数式処理とその周辺分野の研究, 京都大学数理解析研究所研究集会 2014.12
-
数学問題のエラー分析1
岩根秀直 , 深作亮也
「ロボットは東大に入れるか」エラー分析会議 及び 情報交換会 2014.12
-
「ロボットは東大に入れるか2014 -東ロボくん，代ゼミ模試に挑戦-」数学チームの結果について
岩根秀直,松崎拓也,深作亮也,井上秀太郎,佐藤洋祐,穴井宏和,新井紀子
数式処理とその周辺分野の研究, 京都大学数理解析研究所研究集会 2014.12
-
包括的グレブナー基底系を利用した限量子消去
深作亮也
RIMS研究集会「数式処理研究の新たな発展」 2014.8
-
包括的グレブナー基底系を利用した実数領域における限量子消去
深作亮也, 井上秀太郎, 佐藤洋祐
日本数式処理学会 第23回大会 2014.6
-
Complex QE の並列計算アルゴリズム
深作亮也, 井上秀太郎, 佐藤洋祐
2014.3
-
代数的閉体における限量子消去アルゴリズムについて
深作亮也
数式処理とその周辺分野の研究, 京都大学数理解析研究所研究集会 2013.12
-
代数的閉体における限量子消去アルゴリズムについて
深作亮也 , 井上秀太郎 , 佐藤洋祐
マス・フォア・インダストリ研究所共同利用研究集会II 数式処理研究と産学連携の新たな展開 2013.8
-
Complex QE について
深作亮也, 井上秀太郎, 佐藤洋祐
日本数式処理学会 第22回大会 2013.6
Works
-
実数領域における限量記号消去プログラムCGSQEの開発
深作亮也
2015.7
Professional Memberships
-
Japan Society for Symbolic and Algebraic Computation
-
日本数学会
Committee Memberships
-
日本数式処理学会 Communications of the Japan Society for Symbolic and Algebraic Computation 編集委員会 Domestic
2020.10 - 2022.9
-
日本数式処理学会 理論分科会 Domestic
2018.10 - 2022.9
Academic Activities
-
Program Committee International contribution
Computer Algebra in Scientific Computing 2024 （ France ） 2024.9
-
組織委員
九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」 2023.11
-
組織委員
IMI共同利用若手研究-短期共同研究「限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用」 （ 九州大学 ） 2022.10 - 2022.11
-
組織委員
IMI一般研究-短期共同研究「数式処理研究と産学連携の新たな発展」 （ 九州大学 ） 2022.2
-
組織委員
IMI若手研究-短期共同研究「格子暗号の実用化に向けた研究」 （ 九州大学 ） 2021.11
-
Session Organizer International contribution
26th International Conference on Applications of Computer Algebra （ Online Japan ） 2021.7
-
組織委員
IMI共同利用若手研究・短期共同研究「理論・計算数学と暗号学の融合アプローチによる次世代暗号構築の新展開」 （ 九州大学 ） 2020.2
-
ポスター講演委員 International contribution
2015.8 - 2016.7
Research Projects
-
計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用
Grant number：23K10988 2023
日本学術振興会 科学研究費助成事業 基盤研究(C)
Authorship：Principal investigator Grant type：Scientific research funding
-
実計算代数手法に関する効率化と数理科学分野への応用
Grant number：20K19745 2020 - 2022
日本学術振興会 科学研究費助成事業 若手研究
Authorship：Principal investigator Grant type：Scientific research funding
-
包括的グレブナー基底系による限量子消去の効率化
Grant number：17K12642 2017 - 2020
科学研究費助成事業 若手研究(A,B)
Authorship：Principal investigator Grant type：Scientific research funding
-
ロボットは東大に入れるか
2015.5 - 2016.3
Class subject
-
情報数学・演習
2024.4 - 2024.9 First semester
-
計算機数学概論
2024.4 - 2024.9 First semester
-
計算機数学概論
2023.10 - 2024.3 Second semester
-
情報数学・演習
2023.4 - 2023.9 First semester
-
計算機数学概論
2022.10 - 2023.3 Second semester
-
情報数学・演習
2022.4 - 2022.9 First semester
-
計算機数学概論
2021.10 - 2022.3 Second semester
-
情報数学・演習
2021.4 - 2021.9 First semester
-
情報数学特論４
2021.4 - 2021.9 First semester
-
計算機数学概論
2020.10 - 2021.3 Second semester
-
情報数学特論４
2020.10 - 2021.3 Second semester
-
情報数学・演習
2020.4 - 2020.9 First semester
-
計算機数学概論
2019.10 - 2020.3 Second semester
-
情報数学・演習
2019.4 - 2019.9 First semester
Visiting, concurrent, or part-time lecturers at other universities, institutions, etc.
-
2021 東京都立大学 Classification:Intensive course Domestic/International Classification:Japan
Semester, Day Time or Duration：2021/06/07, 08, 09, 10, 11