計算機代数手法の構築
キーワード:計算機代数,実代数幾何
2015.04~2022.03.
深作 亮也(ふかさく りようや) | データ更新日:2023.11.28 |
主な研究テーマ
従事しているプロジェクト研究
ロボットは東大に入れるか
2015.05~2016.03.
2015.05~2016.03.
研究業績
主要原著論文
主要学会発表等
学会活動
学協会役員等への就任
2020.10~2022.09, 日本数式処理学会, Communications of the Japan Society for Symbolic and Algebraic Computation 編集委員会.
2018.10~2022.09, 日本数式処理学会, 理論分科会.
学会大会・会議・シンポジウム等における役割
2022.10.31~2022.11.04, IMI共同利用若手研究-短期共同研究「限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用」, 組織委員.
2022.02~2022.02, IMI一般研究-短期共同研究「数式処理研究と産学連携の新たな発展」, 組織委員.
2021.11~2021.11.10, IMI若手研究-短期共同研究「格子暗号の実用化に向けた研究」, 組織委員.
2021.07~2021.07, 26th International Conference on Applications of Computer Algebra, Session Organizer.
2020.02.03~2020.02.07, IMI共同利用若手研究・短期共同研究「理論・計算数学と暗号学の融合アプローチによる次世代暗号構築の新展開」, 組織委員.
2015.08~2016.07, The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016 , ポスター講演委員.
受賞
奨励賞, 日本数式処理学会, 2017.07.
研究資金
科学研究費補助金の採択状況(文部科学省、日本学術振興会)
2023年度~2023年度, 基盤研究(C), 代表, 計算代数手法の数理最適化問題に基づく解釈による効率化と数理科学分野への応用.
2020年度~2022年度, 若手研究, 代表, 実計算代数手法に関する効率化と数理科学分野への応用.
2017年度~2020年度, 若手研究(A,B), 代表, 包括的グレブナー基底系による限量子消去の効率化.
本データベースの内容を無断転載することを禁止します。
九大関連コンテンツ
QIR 九州大学学術情報リポジトリ システム情報科学研究院
数理学研究院
- CAP representations of inner forms of Sp(4) with respect to Klingen parabolic subgroup
- [028]MI Lecture Note Series Vol.28 (Modular Forms, Elliptic and Modular Curves)
- Laplacian energy of directed graphs and minimizing maximum outdegree algorithms
- Milnor-Selberg zeta functions and zeta regularizations
- A wait-and-see strategy as a survival strategy in the prisoner's dilemma between relatives