Rchr
J-GLOBAL ID:200901063892281980   Update date: Feb. 14, 2024

Yokoyama Kazuhiro

Yokoyama Kazuhiro
Affiliation and department:
Job title: Professor
Other affiliations (2):
  • 理学研究科  数学専攻博士課程後期課程   教授
  • Graduate School of Science  Field of Study: Mathematics   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 (80):
  • Momonari Kudo, Kazuhiro Yokoyama. On Hilbert-Poincare series of affine semi-regular polynomial sequences and related Groebner bases. Mathematical Foundations for Post-Quantum Cryptography, Mathematics for Industry. 2024
  • Kazuhiro Yokoyama. On Factorization of Parametric Polynomials. accepted at Commentarii Mathematici Universitatis Sancti Pauli. 2024
  • Yuta Kambe, Akira Katayama, Yusuke Aikawa, Yuki Ishihara, Masaya Yasuda, Kazuhiro Yokoyama. Computing endomorphism rings of supersingular elliptic curves by finding cycles in concatenated supersingular isogeny graphs. accepted at Commentarii Mathematici Universitatis Sancti Pauli. 2024
  • Yuta Kambe, Yasushi Takahashi, Masaya Yasuda, Kazuhiro Yokoyama. On the feasibility of computing constructive Deuring correspondence. Banach Center Publications: Post-proceedings of Number-Theoretic Methods in Cryptology (NuTMiC 2021). 2023. 126. 105-121
  • Ryoya Fukasaku, Yasuhiko Ikematsu, Momonari Kudo, Masaya Yasuda, Kazuhiro Yokoyama. Introduction to algebraic approaches for solving isogeny path-finding problems. RIMS Kˆokyˆuroku Bessatsu. 2022. B90. 169-184
more...
MISC (39):
  • 外川拓真, 横山和弘, 岩根秀直, 松崎拓也. 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
  • Yasuda Masaya, Shimoyama Takeshi, Yokoyama Kazuhiro, Kogure Jun. RL-003 A customer information analysis between enterprises using homomorphic encryption. 2013. 12. 4. 15-22
more...
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