深作 亮也
フカサク リョウヤ (Ryoya Fukasaku)
更新日: 08/09
基本情報
- 所属
- 九州大学 大学院数理学研究院 助教
- 学位
-
博士（理学）(東京理科大学)
- 通称等の別名
- 深作 亮也
- J-GLOBAL ID
- 201401051587167800
- researchmap会員ID
- B000242683
数式処理・計算機代数の効率化及び応用研究をしています。現在は包括的グレブナー基底系や限量記号消去の効率化及び簡素化に取り組みながら、数理統計モデル等における応用研究に取り組んでいます。
経歴
5-
2023年4月 - 現在
-
2019年4月 - 現在
-
2016年4月 - 2019年3月
-
2018年4月 - 2018年9月
-
2015年5月 - 2016年3月
学歴
2-
- 2016年
-
- 2012年
委員歴
5-
2024年3月 - 現在
-
2018年10月 - 現在
-
2024年1月 - 2024年9月
受賞
1-
2017年7月
論文
22-
RIMS Kôkyûroku Bessatsu 90 169-184 2022年 査読有り
-
Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation 147-154 2021年7月18日 査読有り
-
Journal of Mathematical Cryptology 15(1) 31-44 2020年11月17日 査読有り
-
to appear in Proceedings of The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020) 2020年10月 査読有り
-
10-15 2020年3月18日 査読有り
-
Mathematics in Computer Science 13(1-2) 79-93 2019年6月 査読有り
-
Proceedings of the 23nd Asian Technology Conference in Mathematics 176-185 2018年11月 査読有り
-
Communications of Japan Society for Symbolic and Algebraic Computation 3 19-29 2018年10月 査読有り
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 359-365 2018年7月 査読有り
-
AI Commun. 31(3) 251-266 2018年 査読有り
-
Proceedings of the 22nd Asian Technology Conference in Mathematics (ATCM 2017) 198-207 2017年12月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10693 258-263 2017年 査読有り
-
Proceedings of the 21st Asian Technology Conference in Mathematics (ATCM 2016) 190-199 2016年12月 査読有り
-
ACM Communications in Computer Algebra 50(3) 101-104 2016年9月1日 査読有り
-
Proceedings of the International Joint Conference on Automated Reasoning 2016, Lecture Notes in Computer Science 9706 213-227 2016年 査読有り
-
MATHEMATICAL SOFTWARE, ICMS 2016 9725 165-172 2016年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9582 231-235 2016年 査読有り
-
Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015) 316-325 2015年12月 査読有り
-
Mathematics in Computer Science 9(3) 267-281 2015年9月 査読有り
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015) 173-180 2015年7月 査読有り
講演・口頭発表等
52-
九州大学IMI共同利用・短期共同研究「記号計算の高速化と産業課題解決への応用」 2023年11月 招待有り
-
10th International Congress on Industrial and Applied Mathematics 2023年8月
-
The 28th International Conference on Applications of Computer Algebra ACA’2023 2023年7月
-
日本計算機統計学会 第37回大会 2023年6月
-
日本数式処理学会第32回大会 2023年6月
-
RIMS共同研究（公開型）「Computer Algebra - Foundations and Applications 」 2022年12月
-
日本数学会 2022年9月
-
Applications of Computer Algebra (ACA) 2022 2022年8月
-
RIMS共同研究（公開型）「Computer Algebra - Foundations and Applications 」 2021年12月
-
The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2021 2021年7月
-
日本コンピュータ化学会 2021年6月
-
RIMS 共同研究(公開型) Computer Algebra – Theory and its Applications 2020年12月
-
日本数式処理学会第29回大会 2020年11月
-
日本数式処理学会第29回大会 2020年11月
-
The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020) 2020年10月
-
2020年暗号と情報セキュリティシンポジウム 2020年1月
-
8th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2019) 2019年11月
-
第27回整数論サマースクール 2019年9月
-
応用特異点論研究集会 2018年12月19日 招待有り
-
the 23nd Asian Technology Conference in Mathematics 2018年11月21日
共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2024年4月 - 2029年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2023年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2023年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 若手研究 2020年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業（若手研究(B)） 2017年4月 - 2021年3月