2024/07/28 更新

写真a

フカサク　リヨウヤ
深作 亮也
FUKASAKU RYOYA
所属
数理学研究院 代数幾何部門 助教
理学部 数学科（併任）
数理学府 数理学専攻（併任）
職名
助教
プロフィール
主な研究領域は計算機代数です. 計算機代数手法である限量子消去法を効率化し, その結果を計算機代数システムMapleに実装してきました. 限量子消去法は与えられた一階述語論理式と実数体上で等価な限量子なしの論理式を計算します. 一階述語論理式の数学的記述能力は高く, 多くの数学の問題は一階述語論理式として表現できます. 多くの実社会の数学の問題は実数に関する問題であり, 限量子消去法によって様々な実社会の数学的問題を解決することもできます. また, 最近はそうした実数領域における計算機代数手法の数理科学分野への応用にも着手しています.
ホームページ
外部リンク

学位

  • 博士(理学）

経歴

  • 東京理科大学・理学部第一部・助教 2016/04 -- 2019/03 国立情報学研究所・リサーチアシスタント 2015/05 -- 2016/03   

研究テーマ・研究キーワード

  • 研究テーマ： 計算機代数手法の構築

    研究キーワード： 計算機代数，実代数幾何

    研究期間： 2015年4月 - 2022年3月

受賞

  • 奨励賞

    2017年7月   日本数式処理学会  

論文

  • Criteria for Hopf Bifurcations with Fixed Multiplicities 査読 国際誌

    Ryoya Fukasaku

    Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2021)   147 - 154   2021年7月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • On Multivariate Hermitian Quadratic Forms 査読 国際誌

    Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

    Mathematics in Computer Science   2018年10月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

  • On Hermitian Quadratic Forms of Non-Radical Ideals 査読 国際誌

    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 査読 国際誌

    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 査読 国際誌

    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月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

▼全件表示

講演・口頭発表等

  • Criteria for Hopf bifurcations with fixed multiplicities 国際会議

    Ryoya Fukasaku

    The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021  2021年7月 

    　詳細を見る

    開催年月日： 2021年7月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Online   国名：ロシア連邦  

  • On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal 国際会議

    Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa

    the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018)  2018年7月 

    　詳細を見る

    開催年月日： 2018年7月

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：the CUNY Graduate Center and Courant Institute/NYU   国名：アメリカ合衆国  

  • On the Implementation of CGS Real QE 国際会議

    Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

    The 5th International Congress on Mathematical Software (ICMS 2016)  2016年7月 

    　詳細を見る

    開催年月日： 2016年7月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：The Zuse Institute Berlin   国名：ドイツ連邦共和国  

  • CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Groebner systems 国際会議

    Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato.

    The International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) -Software Presentation-  2016年7月 

    　詳細を見る

    開催年月日： 2016年7月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Wilfrid Laurier University   国名：カナダ  

  • Race against the Teens -- Benchmarking Mechanized Math on Pre-university Problems 国際会議

    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月 

    　詳細を見る

    開催年月日： 2016年6月

    記述言語：英語   会議種別：口頭発表（一般）  

    開催地：Coimbra   国名：ポルトガル共和国  

▼全件表示

Works（作品等）

  • 実数領域における限量記号消去プログラムCGSQEの開発

    深作亮也

    2015年7月

所属学協会

  • 日本数式処理学会

  • 日本数学会

委員歴

  • 日本数式処理学会   Communications of the Japan Society for Symbolic and Algebraic Computation 編集委員会   国内

    2020年10月 - 2022年9月   

  • 日本数式処理学会   理論分科会   国内

    2018年10月 - 2022年9月   

学術貢献活動

  • Program Committee 国際学術貢献

    Computer Algebra in Scientific Computing 2024  （ France ） 2024年9月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 組織委員

    九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」  （ Japan ） 2023年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 組織委員

    IMI共同利用若手研究-短期共同研究「限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用」  （ 九州大学 ） 2022年10月 - 2022年11月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 組織委員

    IMI一般研究-短期共同研究「数式処理研究と産学連携の新たな発展」  （ 九州大学 ） 2022年2月

    　詳細を見る

    種別：大会・シンポジウム等 

  • 組織委員

    IMI若手研究-短期共同研究「格子暗号の実用化に向けた研究」  （ 九州大学 ） 2021年11月

    　詳細を見る

    種別：大会・シンポジウム等 

▼全件表示

共同研究・競争的資金等の研究課題

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

    研究課題/領域番号：23K10988  2023年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

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

    研究課題/領域番号：20K19745  2020年 - 2022年

    日本学術振興会  科学研究費助成事業  若手研究

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

  • 包括的グレブナー基底系による限量子消去の効率化

    研究課題/領域番号：17K12642  2017年 - 2020年

    科学研究費助成事業  若手研究(A,B)

    　 詳細を見る

    担当区分：研究代表者  資金種別：科研費

  • ロボットは東大に入れるか

    2015年5月 - 2016年3月

教育活動概要

  • 理学部数学科演習科目の担当

担当授業科目

  • 計算機数学概論

    2024年4月 - 2024年9月   前期

  • 情報数学・演習

    2024年4月 - 2024年9月   前期

  • 計算機数学概論

    2023年10月 - 2024年3月   後期

  • 情報数学・演習

    2023年4月 - 2023年9月   前期

  • 計算機数学概論

    2022年10月 - 2023年3月   後期

▼全件表示

他大学・他機関等の客員・兼任・非常勤講師等

  • 2021年  東京都立大学  区分:集中講義  国内外の区分:国内 

    学期、曜日時限または期間：2021/06/07, 08, 09, 10, 11

学内運営に関わる各種委員・役職等

  • 2019年4月 - 2023年3月   学府 計算機委員会委員