研究者
J-GLOBAL ID:200901063892281980   更新日: 2023年07月16日

横山 和弘

Yokoyama Kazuhiro
所属機関・部署:
職名: 教授
その他の所属(所属・部署名・職名) (2件):
  • 理学研究科  数学専攻博士課程後期課程   教授
  • Graduate School of Science  Field of Study: Mathematics   Professor
研究分野 (3件): 応用数学、統計数学 ,  数学基礎 ,  代数学
研究キーワード (4件): 代数的組合せ論 ,  計算環論 ,  計算数論 ,  計算機代数
競争的資金等の研究課題 (23件):
  • 2021 - 2024 グレブナー基底計算の理論計算量解析とその効率的な実装
  • 2018 - 2021 グレブナー基底計算アルゴリズムの深化
  • 2015 - 2018 グレブナー基底の高速計算法、検証法とその応用
  • 2009 - 2012 最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開
  • 2006 - 2009 記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究
全件表示
論文 (77件):
  • Yuta Kambe, Yasushi Takahashi, Masaya Yasuda, Kazuhiro Yokoyama. On the feasibility of computing constructive Deuring correspondence. accepted at Banach Center Publications as a work in post-proceedings of Number-Theoretic Methods in Cryptology (NuTMiC 2021). 2023
  • 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
  • Yuta Kambe, Yusuke Aikawa, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama. Implementation Report of the Kohel-Lauter-Petit-Tignol Algorithm for the Constructive Deuring Correspondence. Proceedings of the Seventh International Conference on Mathematics and Computing. 2022. 953-966
  • Yuta Kambe, Masaya Yasuda, Masayuki Noro, Kazuhiro Yokoyama, Yusuke Aikawa, Katsuyuki Takashima, Momonari Kudo. Solving the constructive Deuring correspondence via the Kohel-Lauter-Petit-Tignol algorithm. Mathematical Cryptology (Special Issue of MathCrypt 2021). 2021. 1. 2. 10-24
  • Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama. On affine tropical F5 algorithms. Journal of Symbolic Computation. 2021. 102. 132-152
もっと見る
MISC (39件):
  • 外川拓真, 横山和弘, 岩根秀直, 松崎拓也. QEのための積分式の簡約化. RIMS研究集会「数式処理とその周辺分野の研究 - Computer Algebra and Related Topics」. 2016
  • 横山 和弘, 野呂 正行. 楕円曲線の同種写像の公式計算 (数式処理とその周辺分野の研究). 数理解析研究所講究録. 2015. 1955. 146-157
  • 野呂 正行, 横山 和弘. グレブナー基底候補の高速生成法とその検証について (数式処理とその周辺分野の研究). 数理解析研究所講究録. 2014. 1907. 122-131
  • 野呂正行, 横山和弘. 数式処理の歴史と現在-グレブナー基底と QE を中心として-. 数学. 2014. 66. 3. 298-309
  • 安田 雅哉, 下山 武司, 横山 和弘, 小暮 淳. RL-003 準同型暗号を用いた複数企業間の顧客情報分析(L分野:ネットワーク・セキュリティ,査読付き論文). 情報科学技術フォーラム講演論文集. 2013. 12. 4. 15-22
もっと見る
書籍 (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件):
  • 博士(理学) (九州大学)
経歴 (10件):
  • 2023/04 - 現在 立教大学 理学部 名誉教授
  • 2005/04 - 2023/03 立教大学 理学研究科 数学専攻博士課程前期課程 教授
  • 2005/04 - 2023/03 立教大学 理学部 数学科 教授
  • 2000/12/01 - 2005/03/31 九州大学 大学院数理学研究院 計算数理講座 教授
  • 1999/04 - 2000/11 富士通研究所 セキュアコンピューティング研究部 主任研究員
全件表示
委員歴 (1件):
  • 1992/01 - 日本数式処理学会 監事
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る