Rchr
J-GLOBAL ID:200901063892281980   Update date: Jan. 12, 2021

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  (11):
  • 2006 - 2009 記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究
  • 2005 - 2007 記号・代数計算に基づく計算技法の一般的適用方法論の確立と適用規模の拡大
  • 2003 - 2006 種々の代数構造に現われる分解計算の計算機上での実現の研究
  • 2004 - 2005 数理モデリングの基礎技術
  • 2002 - 2004 記号・代数計算による最適化問題解法と定理自動証明の研究
Show all
Papers (71):
  • Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama. On affine tropical F5 algorithms. Journal of Symbolic Computation. 2021. 102. 132-152
  • Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama. Hybrid meet-in-the-middle attacks for the isogeny path-finding problem. to appear in Proceedings of The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020). 2020
  • Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama. On FGLM algorithms with tropical Gröbner bases. Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. 2020
  • Yasushi Takahashi, Momonari Kudo, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama. Algebraic approaches for solving isogeny problems of prime power degrees. accepted at MathCrypt 2019, Santa Barbara, USA, August 18, 2019. 2019
  • Kazuhiro Yokoyama, Masaya Yasuda, Yasushi Takahashi, Jun Kogure. Complexity Bound on Semaev’s Naive Index Calculus Method for ECDLP. accepted at Number-Theoretic Methods in Cryptology 2019. 2019
more...
MISC (9):
  • 外川拓真, 横山和弘, 岩根秀直, 松崎拓也. QEのための積分式の簡約化. RIMS研究集会「数式処理とその周辺分野の研究 - Computer Algebra and Related Topics」. 2016
  • Masayuki Noro, Kazuhiro Yokoyama. Computer algebra, its history and current state-with the Gröbner basis and quantifier elimination as the center. 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
  • 穴井 宏和, 横山 和弘. 計算実代数幾何入門(第5回)CAD による QE. 数学セミナー. 2008. 47. 4. 82-88
  • 穴井 宏和, 横山 和弘. 計算実代数幾何入門(第4回)CAD アルゴリズム(後半). 数学セミナー. 2008. 47. 3. 79-85
more...
Books (3):
  • 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
  • - 1983 The University of Tokyo
  • - 1981 The University of Tokyo
Professional career (2):
  • 博士(理学) (九州大学)
  • Doctor(Science) (Kyushu University)
Work history (13):
  • 2005/04/01 - 現在 RIKKYO UNIVERSITY Graduate School of Science Field of Study: Mathematics Professor
  • 2005/04/01 - 現在 RIKKYO UNIVERSITY Graduate School of Science Field of Study: Mathematics Professor
  • 2005/04/01 - 現在 RIKKYO UNIVERSITY College of Science Department of Mathematics Professor
  • 2000/12/01 - 2005/03/31 Kyushu University Faculty of Mathematics
  • 1999/04/01 - 2000/11/30 富士通研究所 セキュアコンピューティング研究部 研究員
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