フカサク リヨウヤ
深作 亮也
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月
-
On Real Roots Counting for Non-radical Parametric Ideals 査読 国際誌
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 査読 国際誌
50 ( 3 ) 101 - 104 2016年9月
-
On the Implementation of CGS Real QE 査読 国際誌
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 査読 国際誌
9706 213 - 227 2016年6月
-
Improving a CGS-QE algorithm 査読 国際誌
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 査読 国際誌
9 ( 3 ) 267 - 281 2015年9月
-
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems 査読 国際誌
173 - 180 2015年7月
-
QE Software Based on Comprehensive Gröbner Systems 査読 国際誌
8592 512 - 517 2014年8月
-
Introduction to algebraic approaches for solving isogeny path-finding problems 招待 査読 国際誌
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 査読 国際誌
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 査読 国際誌
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 査読 国際誌
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 査読 国際誌
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 査読 国際誌
Yosuke Sato, Ryoya Fukasaku
Proceedings of Asian Technology Conference in Mathematics (ATCM 2017) 198 - 207 2017年12月
-
On Simple Representation of Locally Closed Sets 査読 国際誌
Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
190 - 199 2016年12月
-
Detecting unnecessary assumptions of elementary geometry problems by CAS 査読 国際誌
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 査読 国際誌
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月
講演・口頭発表等
-
Criteria for Hopf bifurcations with fixed multiplicities 国際会議
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 国際会議
Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa
the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 2018年7月
-
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月
-
On the Implementation of CGS Real QE 国際会議
Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
The 5th International Congress on Mathematical Software (ICMS 2016) 2016年7月
-
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月
-
Improving a CGS-QE algorithm 国際会議
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 国際会議
2015年7月
-
QE Software Based on Comprehensive Gröbner Systems 国際会議
2014年8月
-
On QE Algorithms over Algebraically Closed Field 国際会議
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 国際会議
The 28th International Conference on Applications of Computer Algebra ACA’2023 2023年7月
-
因子分析における代数計算の可能性
深作亮也
九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」 2023年11月
-
An algebraic approach to factor analysis 国際会議
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 国際会議
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 国際会議
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 国際会議
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 国際会議
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 国際会議
Yosuke Sato, Ryoya Fukasaku
Asian Technology Conference in Mathematics (ATCM 2017) 2017年12月
-
CGBとCGSの入門 招待
深作 亮也
京都大学数理解析研究所共同研究（グループ型）「数式処理の新たな発展－その最新研究と他分野との連携－」 2017年9月
-
根基イデアルに対するエルミート二次形式について
深作 亮也
日本数式処理学会 第26回大会 2017年6月
-
On Simple Representation of Locally Closed Sets 国際会議
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 国際会議
Yosuke Sato, Ryoya Fukasaku
The 20th Asian Technology Conference in Mathematics(ATCM 2015) 2015年12月
-
実数領域における包括的グレブナー基底系と限量子消去
深作亮也
数式処理研究の新たな発展, 京都大学数理解析研究所研究集会 2015年8月
-
論理関数処理による論理式の簡単化 包括的グレブナー基底系を利用した限量記号消去法編
岩根 秀直, 深作 亮也, 佐藤 洋祐
日本数式処理学会 第24回大会 2015年6月
-
CGS-QE の効率的実装について
深作亮也
日本数式処理学会 第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月
所属学協会
-
日本数式処理学会
-
日本数学会
委員歴
-
日本数式処理学会 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共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」 2023年11月
-
組織委員
IMI共同利用若手研究-短期共同研究「限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用」 （ 九州大学 ） 2022年10月 - 2022年11月
-
組織委員
IMI一般研究-短期共同研究「数式処理研究と産学連携の新たな発展」 （ 九州大学 ） 2022年2月
-
組織委員
IMI若手研究-短期共同研究「格子暗号の実用化に向けた研究」 （ 九州大学 ） 2021年11月
-
Session Organizer 国際学術貢献
26th International Conference on Applications of Computer Algebra （ Online Japan ） 2021年7月
-
組織委員
IMI共同利用若手研究・短期共同研究「理論・計算数学と暗号学の融合アプローチによる次世代暗号構築の新展開」 （ 九州大学 ） 2020年2月
-
ポスター講演委員 国際学術貢献
2015年8月 - 2016年7月
共同研究・競争的資金等の研究課題
-
計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用
研究課題/領域番号：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月 後期
-
情報数学・演習
2022年4月 - 2022年9月 前期
-
計算機数学概論
2021年10月 - 2022年3月 後期
-
情報数学特論４
2021年4月 - 2021年9月 前期
-
情報数学・演習
2021年4月 - 2021年9月 前期
-
情報数学特論４
2020年10月 - 2021年3月 後期
-
計算機数学概論
2020年10月 - 2021年3月 後期
-
情報数学・演習
2020年4月 - 2020年9月 前期
-
計算機数学概論
2019年10月 - 2020年3月 後期
-
情報数学・演習
2019年4月 - 2019年9月 前期
他大学・他機関等の客員・兼任・非常勤講師等
-
2021年 東京都立大学 区分:集中講義 国内外の区分:国内
学期、曜日時限または期間：2021/06/07, 08, 09, 10, 11
学内運営に関わる各種委員・役職等
-
2019年4月 - 2023年3月 学府 計算機委員会委員