深作亮也 Fukasaku Ryoya

研究者番号	40778924
所属 (現在)	2025年度: 九州大学, 数理学研究院, 助教
所属 (過去の研究課題情報に基づく) *注記	2019年度 – 2025年度: 九州大学, 数理学研究院, 助教 2017年度 – 2018年度: 東京理科大学, 理学部第一部応用数学科, 助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 学術変革領域研究区分(Ⅱ) / 情報学基礎理論研究代表者以外小区分11020:幾何学関連 / 小区分52040:放射線科学関連 / 小区分63020:放射線影響関連
キーワード	研究代表者グレブナー基底 / 計算代数 / 数式処理 / 包括的グレブナー基底系 / 因子分析モデル / ホップ分岐 / 限量子消去 / 数理統計 / 数理最適化 / 記号計算 … もっと見る / 実限量記号消去 / 一変数留数計算 / 代数計算 / 因子分析 / アルゴリズム / エルミート二次形式 / 実閉体 / 数式処理システム / 飽和イデアル / 効率化 / 限量子消去法 / 包括的グレブナー基底 / 計算機代数 / パラメータ付き多項式イデアル … もっと見る研究代表者以外計算代数 / BDD / 実限量化子消去 / 特異点論 / 局所コホモロジー / 実行可能集合 / 多目的最適化 / 包括的混合的標準基底 / マイクロビーム / 医数学 / 免疫賦活 / 空間分割 / 放射線治療 / 数理モデル / 組織代償効果 / 空間分割照射 / がん・生殖医療 / 放射線不妊隠す

代数と幾何に基づく因子回転の性質解明研究代表者
- 研究代表者
  
  深作亮也
- 研究期間 (年度)
  2025 – 2026
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅱ)
- 研究機関
  九州大学
空間分割照射後の精巣組織代償効果の解明・制御と数理モデル開発
- 研究代表者
  
  福永久典
- 研究期間 (年度)
  2024 – 2026
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分63020:放射線影響関連
- 研究機関
  北海道大学
時空間分割放射線治療の医数学的研究と治療計画アルゴリズムの開発研究
- 研究代表者
  
  白土博樹
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分52040:放射線科学関連
- 研究機関
  北海道大学
情報と数学の協働による特異点自動分類および認識と応用
- 研究代表者
  
  寺本央
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分11020:幾何学関連
- 研究機関
  関西大学
計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用研究代表者
- 研究代表者
  
  深作亮也
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  九州大学
実計算代数手法に関する効率化と数理科学分野への応用研究代表者
- 研究代表者
  
  深作亮也
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  九州大学
包括的グレブナー基底系による限量子消去の効率化研究代表者
- 研究代表者
  
  深作亮也
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  九州大学
   東京理科大学

すべて 2023 2022 2021 2020 2019 2018 2017

すべて雑誌論文学会発表

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

1. 福永久典 (50781267)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 白土博樹 (20187537)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 加葉田雄太朗 (40830097)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 水田正弘 (70174026)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 小野寺康仁 (90435561)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 横谷明徳 (10354987)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 西岡蒼一郎 (50913000)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 小亀翔揮 (80992411)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 寺本央 (90463728)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 湊真一 (10374612)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 早野健太 (20722606)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 鍋島克輔

共同の研究課題数: 0件

共同の研究成果数: 1件
13. 佐藤洋祐

共同の研究課題数: 0件

共同の研究成果数: 2件

深作 亮也 Fukasaku Ryoya

研究課題

研究成果

共同研究者

代数と幾何に基づく因子回転の性質解明研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

空間分割照射後の精巣組織代償効果の解明・制御と数理モデル開発

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

時空間分割放射線治療の医数学的研究と治療計画アルゴリズムの開発研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

情報と数学の協働による特異点自動分類および認識と応用

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

実計算代数手法に関する効率化と数理科学分野への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

包括的グレブナー基底系による限量子消去の効率化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Criteria for Hopf Bifurcations with Fixed Multiplicities2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On parametric border bases2020

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] On Multivariate Hermitian Quadratic Forms2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] On Multivariate Hermitian Quadratic Forms2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] Can an A.I. win a medal in the mathematical olympiad? Benchmarking mechanized mathematics on pre-university problems2018

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal2018

著者名/発表者名

雑誌名

DOI

データソース

深作亮也 Fukasaku Ryoya