研究者
J-GLOBAL ID:200901063892281980   更新日: 2025年12月30日

横山 和弘

Yokoyama Kazuhiro
所属機関・部署:
職名: 名誉教授
研究分野 (3件): 応用数学、統計数学 ,  数学基礎 ,  代数学
研究キーワード (4件): 代数的組合せ論 ,  計算環論 ,  計算数論 ,  計算機代数
競争的資金等の研究課題 (23件):
  • 2021 - 2024 グレブナー基底計算の理論計算量解析とその効率的な実装
  • 2018 - 2021 グレブナー基底計算アルゴリズムの深化
  • 2015 - 2018 グレブナー基底の高速計算法、検証法とその応用
  • 2009 - 2012 最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開
  • 2006 - 2009 記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究
全件表示
論文 (84件):
  • Yuki Ishihara, Kazuhiro Yokoyama. Effective Hilbert’s Irreducibility Theorem for Primary Ideals. Lecture Notes in Computer Science. 2025. 134-153
  • Momonari Kudo, Kazuhiro Yokoyama. On Hilbert-Poincaré Series of Affine Semi-regular Polynomial Sequences and Related Gröbner Bases. Mathematics for Industry. 2025. 205-231
  • Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama. Learning to Compute Gröbner Bases. Neural Information Processing Systems. 2024. abs/2311.12904
  • Momonari Kudo, Kazuhiro Yokoyama. The solving degrees of affine semi-regular polynomial sequences. Effective Methods in Algebraic Geometry (MEGA 2024). 2024
  • Kazuhiro Yokoyama. On Factorization of Parametric Polynomials. Commentarii Mathematici Universitatis Sancti Pauli. 2024. 72. 1. 83-100
もっと見る
MISC (41件):
  • 穴井宏和, 横山和弘. 計算機における多項式の扱われ方/数学的アルゴリズムからAIまで. 数学セミナー2024年1月号. 2023
  • 野呂正行, 横山和弘. Risa/Asir における signature-based アルゴリズムの実装について. RIMS 講究録. 2021. 2185. 139-148
  • 外川拓真, 横山和弘, 岩根秀直, 松崎拓也. QEのための積分式の簡約化. RIMS研究集会「数式処理とその周辺分野の研究 - Computer Algebra and Related Topics」. 2016
  • 横山 和弘, 野呂 正行. 楕円曲線の同種写像の公式計算 (数式処理とその周辺分野の研究). 数理解析研究所講究録. 2015. 1955. 146-157
  • 野呂 正行, 横山 和弘. グレブナー基底候補の高速生成法とその検証について (数式処理とその周辺分野の研究). 数理解析研究所講究録. 2014. 1907. 122-131
もっと見る
書籍 (4件):
  • 多項式と計算機代数
    朝倉書店 2022 ISBN:9784254117677
  • QEの計算アルゴリズムとその応用-数式処理による最適化
    東京大学出版会 2011 ISBN:9784130614061
  • 岩波数学辞典第4版 数式処理項目
    岩波書店 2007
  • グレブナー基底の計算 基礎篇,計算代数入門
    東京大学出版会 2003
Works (5件):
  • Application of Computer Algebra to Engineering
    2000 - 現在
  • 計算機代数の暗号および制御、設計への応用
    2000 - 現在
  • オーストリア ヨハネスケプラー大学記号計算研究所(RISC-Linz) 文部科学省在外研究員
    2003 - 2003
  • フランス パリ第6大学 情報研究所(LIP6) 招聘教育研究者
    2000 - 2000
  • オーストリア ヨハネスケプラー大学記号計算研究所(RISC-Linz) 客員講師
    1994 - 1995
学歴 (3件):
  • 1983 - 1983 東京大学 理学系研究科 数学専攻
  • - 1983 東京大学 理学系研究科 数学専攻
  • - 1981 東京大学 理学部 数学科
学位 (1件):
  • 博士(理学) (九州大学)
経歴 (9件):
  • 2023/04 - 現在 立教大学 理学部 名誉教授
  • 2005/04 - 2023/03 立教大学 理学研究科 数学専攻博士課程前期課程 教授
  • 2005/04 - 2023/03 立教大学 理学部 数学科 教授
  • 2000/12/01 - 2005/03/31 九州大学 大学院数理学研究院 計算数理講座 教授
  • 1999/04 - 2000/11 富士通研究所 セキュアコンピューティング研究部 主任研究員
全件表示
委員歴 (23件):
  • 2023 - 現在 Journal of Computational Algebra Associated Editor
  • 2007 - 現在 Mathematics in Computer Science Editorial Borad
  • 2026 - 2026 51st International Symposium on Symbolic and Algebraic Computation Program Committee
  • 2015 - 2024 日本数学会メモワール 編集委員
  • 2023 - 2023 48th International Symposium on Symbolic and Algebraic Computation Program Committee
全件表示
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る