Rchr
J-GLOBAL ID：200901063892281980   Update date: Nov. 01, 2025

Yokoyama Kazuhiro

Yokoyama Kazuhiro
Affiliation and department：
Rikkyo University College of Science Department of Mathematics

About Rikkyo University College of Science Department of Mathematics


Job title： Emeritus Professor
Research field  (3)： Applied mathematics and statistics ,  Basic mathematics ,  Algebra
Research keywords  (4)： 代数的組合せ論 ,  計算環論 ,  Algebraic Combinatorics ,  Computer Algebra
Research theme for competitive and other funds  (23)：
  • 2021 - 2024 グレブナー基底計算の理論計算量解析とその効率的な実装
  • 2018 - 2021 Further development of algorithms for Groebner basis computation
  • 2015 - 2018 Efficient methods for Groebner basis computation, verification and thier applications
  • 2009 - 2012 Developments ofcomputational theory of real algebraic geometry for optimization problem
  • 2006 - 2009 記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究
Show all
Papers (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
ｍore...
MISC (40)：
  • 穴井宏和, 横山和弘. 計算機における多項式の扱われ方/数学的アルゴリズムからAIまで. 数学セミナー2024年1月号. 2023
  • 外川拓真, 横山和弘, 岩根秀直, 松崎拓也. QEのための積分式の簡約化. RIMS研究集会「数式処理とその周辺分野の研究 - Computer Algebra and Related Topics」. 2016
  • 横山 和弘, 野呂 正行. 楕円曲線の同種写像の公式計算 (数式処理とその周辺分野の研究). 数理解析研究所講究録. 2015. 1955. 146-157
  • 野呂 正行, 横山 和弘. グレブナー基底候補の高速生成法とその検証について (数式処理とその周辺分野の研究). 数理解析研究所講究録. 2014. 1907. 122-131
  • Masayuki Noro, Kazuhiro Yokoyama. Computer algebra, its history and current state-with the Gröbner basis and quantifier elimination as the center. SUGAKU. 2014. 66. 3. 298-309
ｍore...
Books (4)：
  • 多項式と計算機代数
    朝倉書店 2022 ISBN:9784254117677
  • Algorithms of Quantifier Elimination and their Applications
    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
Education (3)：
  • 1983 - 1983 The University of Tokyo Graduate School, Division of Science
  • - 1983 The University of Tokyo Graduate School, Division of Science
  • - 1981 The University of Tokyo Faculty of Science
Professional career (1)：
  • Doctor(Science) (Kyushu University)
Work history (9)：
  • 2023/04 - 現在 Rikkyo University College of Science emeritus professor
  • 2005/04 - 2023/03 RIKKYO UNIVERSITY Graduate School of Science Field of Study: Mathematics Professor
  • 2005/04 - 2023/03 RIKKYO UNIVERSITY College of Science Department of Mathematics Professor
  • 2000/12/01 - 2005/03/31 Kyushu University Faculty of Mathematics
  • 1999/04 - 2000/11 富士通研究所 セキュアコンピューティング研究部 主任研究員
Show all
Committee career (1)：
  • 1992/01 - 日本数式処理学会 監事
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM