研究者
J-GLOBAL ID：201401051587167800   更新日: 2022年08月28日

深作 亮也

フカサク リョウヤ | Fukasaku Ryoya
所属機関・部署：
九州大学 数理学研究院

九州大学 数理学研究院 について


職名： 助教
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (6件)： 包括的グレブナー基底系 ,  限量記号消去 ,  グレブナー基底 ,  実代数幾何 ,  数式処理 ,  計算機代数
競争的資金等の研究課題 (1件)：
  • 2017 - 2020 包括的グレブナー基底系による限量子消去の効率化
論文 (17件)：
  • Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato. On Multivariate Hermitian Quadratic Forms. Mathematics in Computer Science. 2019. 13. 1-2. 79-93
  • Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima. On Applications of Technology to Understanding Hierarchies of Elementary Geometry. Proceedings of the 23nd Asian Technology Conference in Mathematics. 2018. 176-185
  • Ryoya Fukasaku. On Hermitian Quadratic Forms of Non-Radical Ideals. Communications of Japan Society for Symbolic and Algebraic Computation. 2018. 3. 19-29
  • Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa. On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018). 2018. 359-365
  • Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 2018. 31. 3. 251-266
もっと見る
MISC (16件)：
  • Ryoya Fukasaku, Hidenao Iwane. On multivariate Hermitian quadratic forms. Book of Abstracts, 23rd Conference on Applications of Computer Algebra (ACA 2017). 2017. 222-223
  • 深作 亮也, 岩根 秀直, 佐藤洋祐. 包括的グレブナー基底系を利用した限量子消去における包括的グレブナー基底系計算. 数式処理. 2017. 23. 2. 116-119
  • 岩根秀直, 深作亮也, 佐藤洋祐. 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の効率化. 数式処理. 2017. 23. 2. 120-123
  • 深作 亮也, 岩根 秀直, 佐藤洋祐. 飽和イデアル計算なしのCGS-QE. 京都大学数理解析研究所講究録. 2017. 2019. 113-123
  • 岩根秀直, 深作亮也, 佐藤洋祐. 不等式制約をもつ論理式に対する包括的グレブナー基底系を利用した限量記号消去の出力の簡単化. 京都大学数理解析研究所講究録. 2017. 2019. 124-142
もっと見る
講演・口頭発表等 (34件)：
  • 実限量子消去とその応用について
    (応用特異点論研究集会 2018)
  • On Applications of Technology to Understanding Hierarchies of Elementary Geometry
    (the 23nd Asian Technology Conference in Mathematics 2018)
  • On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal
    (the International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) 2018)
  • パラメトリックな連立代数方程式の根の連続性についてII
    (日本数式処理学会第27回大会 2018)
  • パラメトリックな連立代数方程式の根の連続性について
    (Risa/Asir Conference 2018 2018)
もっと見る
学歴 (2件)：
  • - 2016 東京理科大学 理学研究科 数理情報科学
  • - 2012 東京理科大学 理学部 数学科
学位 (1件)：
  • 博士(理学) (東京理科大学)
経歴 (4件)：
  • 2019/04 - 現在 九州大学 大学院数理学研究院 数学部門 助教
  • 2016/04 - 2019/03 東京理科大学 理学部第一部応用数学科 助教
  • 2018/04 - 2018/09 ウォータールー大学 客員助教
  • 2015/05 - 2016/03 国立情報学研究所 リサーチアシスタント
委員歴 (3件)：
  • 2018/10 - 現在 日本数式処理学会 理論分科会運営委員会 委員
  • 2015/08/01 - 2016/07/31 The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016 Poster Presentation Committee
  • 2015/08/01 - 2016/07/31 The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016 ポスター講演委員
受賞 (1件)：
  • 2017/07 - 日本数式処理学会奨励賞
所属学会 (1件)：
日本数式処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM