Fukasaku Ryoya 深作亮也

Researcher Number	40778924
Affiliation (Current)	2025: 九州大学, 数理学研究院, 助教
Affiliation (based on the past Project Information) *help	2019 – 2025: 九州大学, 数理学研究院, 助教 2017 – 2018: 東京理科大学, 理学部第一部応用数学科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Transformative Research Areas, Section (II) / Theory of informatics Except Principal Investigator Basic Section 11020:Geometry-related / Basic Section 52040:Radiological sciences-related / Basic Section 63020:Radiation influence-related
Keywords	Principal Investigator グレブナー基底 / 計算代数 / 数式処理 / 包括的グレブナー基底系 / 因子分析モデル / ホップ分岐 / 限量子消去 / 数理統計 / 数理最適化 / 記号計算 … More / 実限量記号消去 / 一変数留数計算 / 代数計算 / 因子分析 / アルゴリズム / エルミート二次形式 / 実閉体 / 数式処理システム / 飽和イデアル / 効率化 / 限量子消去法 / 包括的グレブナー基底 / 計算機代数 / パラメータ付き多項式イデアル … More Except Principal Investigator 計算代数 / BDD / 実限量化子消去 / 特異点論 / 局所コホモロジー / 実行可能集合 / 多目的最適化 / 包括的混合的標準基底 / マイクロビーム / 医数学 / 免疫賦活 / 空間分割 / 放射線治療 / 数理モデル / 組織代償効果 / 空間分割照射 / がん・生殖医療 / 放射線不妊 Less

代数と幾何に基づく因子回転の性質解明Principal Investigator
- Principal Investigator
  
  深作亮也
- Project Period (FY)
  2025 – 2026
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (A)
- Review Section
  
  Transformative Research Areas, Section (II)
- Research Institution
  Kyushu University
Mechanism and regulation of of testicular tissue-sparing effect following exposure to spacially fractionated radiation
- Principal Investigator
  
  福永久典
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 63020:Radiation influence-related
- Research Institution
  Hokkaido University
Medical Mathematics for Fractionation Modulated Radiotherapy and its Treatment Planning
- Principal Investigator
  
  白土博樹
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 52040:Radiological sciences-related
- Research Institution
  Hokkaido University
Automatic classification and recognition of singularities and its application
- Principal Investigator
  
  寺本央
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 11020:Geometry-related
- Research Institution
  Kansai University
計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用Principal Investigator
- Principal Investigator
  
  深作亮也
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyushu University
Efficiency improvements concerning real computational algebraic methods and their application in the mathematical sciencesPrincipal Investigator
- Principal Investigator
  
  Fukasaku Ryoya
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyushu University
Making a quantifier elimination method based on the theory of comprehensive Groebner systems more efficientPrincipal Investigator
- Principal Investigator
  
  Fukasaku Ryoya
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyushu University
  Tokyo University of Science

All 2023 2022 2021 2020 2019 2018 2017

All Journal Article Presentation

[Journal Article] Criteria for Hopf Bifurcations with Fixed Multiplicities2021
- Author(s)
  Fukasaku Ryoya
- Journal Title
  
  Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation
  
  Volume: - Pages: 147-154
- DOI
  10.1145/3452143.3465519
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19745
[Journal Article] On parametric border bases2020
- Author(s)
  Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11989 Pages: 10-15
- DOI
  10.1007/978-3-030-43120-4_2
- ISBN
  9783030431198, 9783030431204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-18K03426, KAKENHI-PROJECT-18K11172, KAKENHI-PROJECT-17K12642
[Journal Article] On Multivariate Hermitian Quadratic Forms2019
- Author(s)
  Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 13 Issue: 1-2 Pages: 79-93
- DOI
  10.1007/s11786-018-0387-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03426, KAKENHI-PROJECT-17K12642
[Journal Article] On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal2018
- Author(s)
  Yosuke Sato, Ryoya Fukasaku and Hiroshi Sekigawa
- Journal Title
  
  Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2018
  
  Volume: 印刷中
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] On Multivariate Hermitian Quadratic Forms2018
- Author(s)
  Ryoya Fukasaku, Hidenao Iwane and Yosuke Sato
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 印刷中
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] Can an A.I. win a medal in the mathematical olympiad? Benchmarking mechanized mathematics on pre-university problems2018
- Author(s)
  Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhand, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, and Noriko H. Arai
- Journal Title
  
  AI Communications
  
  Volume: 印刷中
- NAID
  120006517663
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal2018
- Author(s)
  Sato Yosuke、Fukasaku Ryoya、Sekigawa Hiroshi
- Journal Title
  
  Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation
  
  Volume: 2018 Pages: 359-365
- DOI
  10.1145/3208976.3209004
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03426, KAKENHI-PROJECT-18K11172, KAKENHI-PROJECT-17K12642
[Journal Article] 包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算2017
- Author(s)
  深作亮也,岩根秀直,佐藤洋祐
- Journal Title
  
  数式処理
  
  Volume: 23 (2) Pages: 116-119
- Open Access
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡単化2017
- Author(s)
  岩根秀直,深作亮也,佐藤洋祐
- Journal Title
  
  数式処理
  
  Volume: 23 (2) Pages: 120-123
- Open Access
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡単化2017
- Author(s)
  岩根秀直,深作亮也,佐藤洋祐
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2019 Pages: 124-142
- Open Access
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] On Real Roots Counting for Non-radical Parametric Ideals2017
- Author(s)
  Fukasaku Ryoya、Sato Yosuke
- Journal Title
  
  Proceedings of Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Lecture Notes in Computer Science
  
  Volume: 10693 Pages: 258-263
- DOI
  10.1007/978-3-319-72453-9_18
- ISBN
  9783319724522, 9783319724539
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] 飽和イデアル計算なしのCGS-QE2017
- Author(s)
  深作亮也,岩根秀直,佐藤洋祐
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2019 Pages: 113-123
- Open Access
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education2017
- Author(s)
  Yosuke Sato and Ryoya Fukasaku
- Journal Title
  
  Proceedings of the 22nd Asian Technology Conference in Mathematics
  
  Volume: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Journal Article] On Multivariate Hermitian Quadratic Forms2017
- Author(s)
  Ryoya Fukasaku and Hidenao Iwane
- Journal Title
  
  Book of Abstracts, 23rd Conference on Applications of Computer Algebra
  
  Volume: - Pages: 222-223
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] 計算機代数に基づく因子分析の最尤推定2023
- Author(s)
  深作亮也，廣瀬慧，加葉田雄太朗，寺本圭佑
- Organizer
  日本計算機統計学会第37回大会
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 因子分析における代数計算の可能性2023
- Author(s)
  深作亮也
- Organizer
  九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」
- Data Source
  KAKENHI-PROJECT-23K10988
[Presentation] 代数計算に基づく因子分析モデルの最尤推定値候補の算出2023
- Author(s)
  深作亮也，廣瀬慧，加葉田雄太朗，寺本圭佑
- Organizer
  日本数式処理学会第32回大会
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] On simplification of comprehensive Gr¨obner systems2023
- Author(s)
  Yosuke Sato, Ryoya Fukasaku
- Organizer
  The 28th International Conference on Applications of Computer Algebra ACA’2023
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 代数計算に基づく因子分析モデルの最尤推定値候補の算出2023
- Author(s)
  深作亮也，廣瀬慧，加葉田雄太朗，寺本圭佑
- Organizer
  日本数式処理学会第32回大会
- Data Source
  KAKENHI-PROJECT-23K10988
[Presentation] On simplification of comprehensive Grobner systems2023
- Author(s)
  Yosuke Sato, Ryoya Fukasaku
- Organizer
  The 28th International Conference on Applications of Computer Algebra ACA’2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K10988
[Presentation] 計算機代数に基づく因子分析の最尤推定2023
- Author(s)
  深作亮也，廣瀬慧，加葉田雄太朗，寺本圭佑
- Organizer
  日本計算機統計学会第37回大会
- Data Source
  KAKENHI-PROJECT-23K10988
[Presentation] 因子分析における代数計算の可能性2023
- Author(s)
  深作亮也
- Organizer
  九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 因子分析へのグレブナー基底に基づくアプローチ2022
- Author(s)
  深作亮也, 廣瀬慧, 加葉田雄太朗, 寺本圭佑
- Organizer
  RIMS共同研究（公開型）「Computer Algebra - Foundations and Applications 」
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 効率的な一変数留数計算アルゴリズム2022
- Author(s)
  深作亮也, 田島慎一
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 一変数留数計算について2021
- Author(s)
  深作亮也, 田島慎一
- Organizer
  RIMS共同研究（公開型）「Computer Algebra - Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] Criteria for Hopf bifurcations with fixed multiplicities2021
- Author(s)
  Ryoya Fukasaku
- Organizer
  The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 単純ホップ分岐判定法の実装2020
- Author(s)
  深作亮也,田島慎一
- Organizer
  RIMS共同研究(公開型)Computer Algebra Theory and its Applications
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 単純ホップ分岐判定法の実装2020
- Author(s)
  深作亮也,田島慎一
- Organizer
  RIMS共同研究(公開型)Computer Algebra Theory and its Applications
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] 重複ホップ分岐が発生するようなパラメータ条件の計算アルゴリズム2020
- Author(s)
  深作亮也
- Organizer
  日本数式処理学会第29回大会
- Data Source
  KAKENHI-PROJECT-20K19745
[Presentation] 重複ホップ分岐が発生するようなパラメータ条件の計算アルゴリズム2020
- Author(s)
  深作亮也
- Organizer
  日本数式処理学会第29回大会
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] On Parametric Border Bases2019
- Author(s)
  Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
- Organizer
  Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] 実限量子消去とその応用について2018
- Author(s)
  深作亮也
- Organizer
  応用特異点論研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal2018
- Author(s)
  Yosuke Sato, Ryoya Fukasaku and Hiroshi Sekigawa
- Organizer
  the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal2018
- Author(s)
  Ryoya Fukasaku
- Organizer
  International Symposium on Symbolic and Algebraic Computation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] 根基イデアルに対するエルミート二次形式について2017
- Author(s)
  深作亮也
- Organizer
  日本数式処理学会第26回大会
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] CGBとCGSの入門2017
- Author(s)
  深作亮也
- Organizer
  平成29 年度ＲＩＭＳ共同研究（グループ型）数式処理の新たな発展－その最新研究と他分野との連携－
- Invited
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] パラメータ付き非根基イデアルに対するエルミート二次形式について2017
- Author(s)
  深作亮也
- Organizer
  平成29 年度ＲＩＭＳ共同研究（グループ型）数式処理の新たな発展－その最新研究と他分野との連携－
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] On Possible Use of Quantifier Elimination Software in Upper Secondary Mathematics Education2017
- Author(s)
  Yosuke Sato and Ryoya Fukasaku
- Organizer
  the 22nd Asian Technology Conference in Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] On Real Roots Counting for Non-radical Parametric Ideals2017
- Author(s)
  Ryoya Fukasaku and Yosuke Sato
- Organizer
  7th International Conference on Mathematical Aspects of Computer and Information Sciences
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642
[Presentation] On multivariate Hermitian quadratic forms2017
- Author(s)
  Ryoya Fukasaku and Hidenao Iwane
- Organizer
  23rd Conference on Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12642

1. 福永久典 (50781267)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. 白土博樹 (20187537)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 加葉田雄太朗 (40830097)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 水田正弘 (70174026)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 小野寺康仁 (90435561)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. 横谷明徳 (10354987)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 西岡蒼一郎 (50913000)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 小亀翔揮 (80992411)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 寺本央 (90463728)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 湊真一 (10374612)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 早野健太 (20722606)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. NABESHIMA Katsusuke

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
13. SATO Yosuke

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results

Fukasaku Ryoya 深作 亮也

Research Projects

Research Products

Co-Researchers

代数と幾何に基づく因子回転の性質解明Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Mechanism and regulation of of testicular tissue-sparing effect following exposure to spacially fractionated radiation

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Medical Mathematics for Fractionation Modulated Radiotherapy and its Treatment Planning

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Automatic classification and recognition of singularities and its application

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Efficiency improvements concerning real computational algebraic methods and their application in the mathematical sciencesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Making a quantifier elimination method based on the theory of comprehensive Groebner systems more efficientPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Criteria for Hopf Bifurcations with Fixed Multiplicities2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On parametric border bases2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] On Multivariate Hermitian Quadratic Forms2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal2018

Author(s)

Journal Title

Data Source

[Journal Article] On Multivariate Hermitian Quadratic Forms2018

Author(s)

Journal Title

Data Source

[Journal Article] Can an A.I. win a medal in the mathematical olympiad? Benchmarking mechanized mathematics on pre-university problems2018

Author(s)

Journal Title

NAID

Data Source

[Journal Article] On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal2018

Author(s)

Journal Title

DOI

Data Source

Fukasaku Ryoya 深作亮也