横山和弘 (Kazuhiro Yokoyama) - マイポータル

基本情報

所属: 立教大学理学部数学科名誉教授

学位: 博士（理学）(九州大学)

連絡先: kazuhiro-yokoyamarikkyo.ac.jp
研究者番号: 30333454
J-GLOBAL ID: 200901063892281980
researchmap会員ID: 1000363814

研究キーワード

研究分野

経歴

2023年4月 - 現在

立教大学, 理学部, 名誉教授
2005年4月 - 2023年3月

立教大学, 理学研究科数学専攻博士課程前期課程, 教授
2005年4月 - 2023年3月

立教大学, 理学部数学科, 教授
2000年12月 - 2005年3月

九州大学大学院数理学研究院計算数理講座, 教授
1999年4月 - 2000年11月

富士通研究所セキュアコンピューティング研究部, 主任研究員
1996年11月 - 1999年3月

富士通研究所 HPC研究センター, 主任研究員
1995年4月 - 1996年3月

富士通研究所情報社会科学研究所, 主任研究員
1990年12月 - 1995年3月

富士通研究所情報社会科学研究所, 研究員
1985年4月 - 1990年11月

富士通国際情報社会科学研究所, 研究員

学歴

委員歴

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
2019年 - 2019年

44th International Symposium on Symbolic and Algebraic Computation, Program Committee
2016年 - 2016年

18th International Workshop on Computer Algebra in Scientific Computing, Program Committee
2016年 - 2016年

41st International Symposium on Symbolic and Algebraic Computation, Program Committee
2015年 - 2015年

17th International Workshop on Computer Algebra in Scientific Computing, Program Committee
2015年 - 2015年

40th International Symposium on Symbolic and Algebraic Computation, Program Committee Chair
2014年 - 2014年

16th International Workshop on Computer Algebra in Scientific Computing, Program Committee
2013年 - 2013年

15th International Workshop on Computer Algebra in Scientific Computing, Program Committee
2010年 - 2010年

4th International Workshop on Parallel and Symbolic Computation, Program Committee
2010年 - 2010年

35th International Symposium on Symbolic and Algebraic Computation, Program Committee
2004年 - 2007年

ACM ISSAC Steering Committee, Member in large
2005年 - 2005年

30th International Symposium on Symbolic and Algebraic Computation, Program Committee
2003年 - 2003年

6th Asian Symposium on Computer Mathematics, Program Committee
2002年 - 2002年

International Congress of Mathematical Software, Program Committee
2001年 - 2001年

5th Asian Symposium on Computer Mathematics, Program Committee Co-Chair
2000年 - 2000年

4th Asian Symposium on Computer Mathematics, Program Committee

もっとみる

論文

Effective Hilbert’s Irreducibility Theorem for Primary Ideals

Yuki Ishihara, Kazuhiro Yokoyama

Lecture Notes in Computer Science 134-153 2025年11月1日査読有り
On Hilbert–Poincaré Series of Affine Semi-regular Polynomial Sequences and Related Gröbner Bases

Momonari Kudo, Kazuhiro Yokoyama

Mathematics for Industry 205-231 2025年10月28日査読有り
Learning to Compute Gröbner Bases.

Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama

Neural Information Processing Systems abs/2311.12904 2024年12月査読有り
The solving degrees of affine semi-regular polynomial sequences

Momonari Kudo, Kazuhiro Yokoyama

Effective Methods in Algebraic Geometry (MEGA 2024) 2024年7月査読有り
On Factorization of Parametric Polynomials

Kazuhiro Yokoyama

Commentarii Mathematici Universitatis Sancti Pauli 72(1) 83-100 2024年7月査読有り
Computing endomorphism rings of supersingular elliptic curves by finding cycles in concatenated supersingular isogeny graphs

Yuta Kambe, Akira Katayama, Yusuke Aikawa, Yuki Ishihara, Masaya Yasuda, Kazuhiro Yokoyama

Commentarii Mathematici Universitatis Sancti Pauli 72(1) 19-42 2024年7月査読有り
On the feasibility of computing constructive Deuring correspondence

Yuta Kambe, Yasushi Takahashi, Masaya Yasuda, Kazuhiro Yokoyama

Banach Center Publications: Post-proceedings of Number-Theoretic Methods in Cryptology (NuTMiC 2021) 126 105-121 2023年12月査読有り
Introduction to algebraic approaches for solving isogeny path-finding problems

Ryoya Fukasaku, Yasuhiko Ikematsu, Momonari Kudo, Masaya Yasuda, Kazuhiro Yokoyama

RIMS Kˆokyˆuroku Bessatsu B90 169-184 2022年6月査読有り
Implementation Report of the Kohel–Lauter–Petit–Tignol Algorithm for the Constructive Deuring Correspondence

Yuta Kambe, Yusuke Aikawa, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama

Proceedings of the Seventh International Conference on Mathematics and Computing 953-966 2022年査読有り
Solving the constructive Deuring correspondence via the Kohel-Lauter-Petit-Tignol algorithm

Yuta Kambe, Masaya Yasuda, Masayuki Noro, Kazuhiro Yokoyama, Yusuke Aikawa, Katsuyuki Takashima, Momonari Kudo

Mathematical Cryptology (Special Issue of MathCrypt 2021) 1(2) 10-24 2021年8月査読有り
On affine tropical F5 algorithms

Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama

Journal of Symbolic Computation 102 132-152 2021年査読有り
Symbolic Computation of Isogenies of Elliptic Curves by Vélu’s Formula

Masayuki NORO, Masaya YASUDA, Kazuhiro YOKOYAMA

COMMENTARII MATHEMATICI UNIVERSITATIS SANCTI PAULI 68 93-127 2020年12月査読有り
Algebraic approaches for solving isogeny problems of prime power degrees

Yasushi Takahashi, Momonari Kudo, Ryoya Fukasaku, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama

Journal of Mathematical Cryptology 15(1) 31-44 2020年11月17日査読有り
Complexity bounds on Semaev’s naive index calculus method for ECDLP

Kazuhiro Yokoyama, Masaya Yasuda, Yasushi Takahashi, Jun Kogure

Journal of Mathematical Cryptology 14(1) 460-485 2020年10月30日査読有り
Hybrid meet-in-the-middle attacks for the isogeny path-finding problem

Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama

to appear in Proceedings of The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020) 36-44 2020年10月査読有り
On FGLM algorithms with tropical Gröbner bases

Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation 2020年7月20日査読有り
On Affine Tropical F5 Algorithms

Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama

Proceedings of ISSAC 2018 383-390 2018年7月査読有り
Usage of Modular Techniques for Efficient Computation of Ideal Operations

Masayuki Noro, Kazuhiro Yokoyama

Mathematics in Computer Science 12(1) 1-32 2018年3月1日査読有り
Effective Localization Using Double Ideal Quotient and Its Implementation.

Yuki Ishihara, Kazuhiro Yokoyama

Proceedings of CASC 2018, Lecture Notes in Computer Science 11077 272-287 2018年査読有り
A Tropical F5 algorithm

Tristan Vaccon, Kazuhiro Yokoyama

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 129312 429-436 2017年7月23日査読有り

もっとみる

MISC

計算機における多項式の扱われ方/数学的アルゴリズムからAIまで

穴井宏和, 横山和弘

数学セミナー2024年1月号 2023年12月
Risa/Asir における signature-based アルゴリズムの実装について

野呂正行, 横山和弘

RIMS 講究録 2185 139-148 2021年
QEのための積分式の簡約化

外川拓真, 横山和弘, 岩根秀直, 松崎拓也

RIMS研究集会「数式処理とその周辺分野の研究 — Computer Algebra and Related Topics」 2016年12月
楕円曲線の同種写像の公式計算 (数式処理とその周辺分野の研究)

横山和弘, 野呂正行

数理解析研究所講究録 1955 146-157 2015年7月
グレブナー基底候補の高速生成法とその検証について (数式処理とその周辺分野の研究)

野呂正行, 横山和弘

数理解析研究所講究録 1907 122-131 2014年7月
数式処理の歴史と現在-グレブナー基底と QE を中心として-

野呂正行, 横山和弘

数学 66(3) 298-309 2014年査読有り招待有り
RL-003 準同型暗号を用いた複数企業間の顧客情報分析(L分野:ネットワーク・セキュリティ,査読付き論文)

安田雅哉, 下山武司, 横山和弘, 小暮淳

情報科学技術フォーラム講演論文集 12(4) 15-22 2013年8月20日
グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)

野呂正行, 横山和弘

数理解析研究所講究録 1843 38-50 2013年7月
$\mathbf{QC^2AS}$ : 電子相関理論のための数式処理システムの設計とその利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)

小副川健, 望月祐志, 横山和弘

数理解析研究所講究録 1815 152-162 2012年10月
第二量子化演算子の代数的扱いとその実装

小副川健, 齋藤雅明, 望月祐志, 横山和弘

数式処理 18(2) 33-36 2012年5月1日
QC2ASの設計について

小副川健, 望月祐志, 横山和弘

数式処理 18(1) 16-19 2011年12月1日
電子相関理論のための数式処理システムに向けて (数式処理研究の新たな発展)

小副川健, 望月祐志, 横山和弘

数理解析研究所講究録 1759 99-104 2011年9月
Algebraic approach to discrete-time polynomial spectral factorization

Kanno Masaaki, Yokoyama Kazuhiro, Anai Hirokazu, Hara Shinji

JMI 1 57-68 2009年
計算実代数幾何入門（第５回）CAD による QE

穴井宏和, 横山和弘

数学セミナー 47(4) 82-88 2008年4月
計算実代数幾何入門（第４回）CAD アルゴリズム（後半）

穴井宏和, 横山和弘

数学セミナー 47(3) 79-85 2008年3月
計算実代数幾何入門（第３回）CAD アルゴリズム（前半）

穴井宏和, 横山和弘

数学セミナー 47(1) 76-82 2008年1月
最適化問題を効率的に解くための special CAD

管野政明, 穴井宏和, 横山和弘

数式処理 14(2) 18-22 2007年12月1日
計算実代数幾何入門（第２回）QE による最適化とその応用

穴井宏和, 横山和弘

数学セミナー 46(12) 75-81 2007年12月
計算実代数幾何入門（第１回） CAD と QE の概要

穴井宏和, 横山和弘

数学セミナー 46(11) 64-71 2007年11月
real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)

木村欣司, 平野照比古, 荻田武史, 山澤宏樹, 曽我部知広, 横山和弘

数理解析研究所講究録 1456 180-187 2005年11月

もっとみる

書籍等出版物

多項式と計算機代数

横山, 和弘

朝倉書店 2022年2月 (ISBN: 9784254117677)
ＱＥの計算アルゴリズムとその応用―数式処理による最適化

穴井宏和, 横山和弘 (担当:共著)

東京大学出版会 2011年8月 (ISBN: 9784130614061)
岩波数学辞典第4版数式処理項目

横山和弘 (担当:分担執筆, 範囲:計算機代数)

岩波書店 2007年3月
グレブナー基底の計算基礎篇，計算代数入門

横山和弘, 野呂正行 (担当:共著)

東京大学出版会 2003年6月

Works(作品等)

Application of Computer Algebra to Engineering

2000年4月 - 現在その他
計算機代数の暗号および制御、設計への応用

2000年4月 - 現在その他
オーストリアヨハネスケプラー大学記号計算研究所（RISC-Linz）文部科学省在外研究員

2003年7月 - 2003年9月その他
フランスパリ第6大学情報研究所（LIP6）招聘教育研究者

2000年5月 - 2000年7月その他
オーストリアヨハネスケプラー大学記号計算研究所（RISC-Linz）客員講師

1994年11月 - 1995年11月その他

共同研究・競争的資金等の研究課題

グレブナー基底計算の理論計算量解析とその効率的な実装

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

横山和弘, 野呂正行, 篠原直行
グレブナー基底計算アルゴリズムの深化

日本学術振興会科学研究費助成事業基盤研究(C) 2018年4月 - 2021年3月

横山和弘, 野呂正行, 篠原直行
グレブナー基底の高速計算法、検証法とその応用

日本学術振興会科学研究費助成事業基盤研究(C) 2015年4月 - 2018年3月

野呂正行, 横山和弘, 篠原直行, 青山暢
最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開

日本学術振興会科学研究費助成事業基盤研究(B) 2009年 - 2012年

穴井宏和, 横山和弘, 屋並仁史, 岩根秀直
記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究

日本学術振興会科学研究費助成事業萌芽研究 2006年4月 - 2009年3月

横山和弘
高次元の有理連結代数多様体の多角的研究

日本学術振興会科学研究費助成事業基盤研究(C) 2007年 - 2009年

佐藤栄一, 古島幹雄, 横山和弘, 高山茂晴, 古島幹雄, 高山茂晴, 横山和弘, 朝倉政典
グレブナー基底の理論的有効性と実践的有効性の探究

日本学術振興会科学研究費助成事業基盤研究(B) 2006年 - 2009年

日比孝之, 齋藤睦, 竹村彰通, 横山和弘, 大杉英史, 大阿久俊則, 松井泰子, 齋藤恭司, 高山信毅, 青木敏
記号・代数計算に基づく計算技法の一般的適用方法論の確立と適用規模の拡大

（独）科学技術振興機構受託研究（一般受託研究） 2005年4月 - 2007年3月
パラメタを含む系の数式処理の実用化

日本学術振興会科学研究費助成事業基盤研究(B) 2005年 - 2007年

野呂正行, 高山信毅, 鈴木晃, 横山和弘, 佐藤洋祐, 小原功任
数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究

日本学術振興会科学研究費助成事業萌芽研究 2005年 - 2007年

中尾充宏, 吉川敦, 横山和弘
種々の代数構造に現われる分解計算の計算機上での実現の研究

日本学術振興会科学研究費助成事業基盤研究B（2） 2003年4月 - 2006年3月

横山和弘, 野呂正行
計算可換代数と計算代数幾何についての国際研究集会の企画調査

日本学術振興会科学研究費助成事業基盤研究(C) 2006年 - 2006年

日比孝之, 齋藤睦, 竹村彰通, 横山和弘, 大杉英史, 大阿久俊則
数理モデリングの基礎技術

富士通研究所受託研究 2004年4月 - 2005年3月
グレブナー基底の理論的有効性と実践的有効性に関する共同研究の企画調査

日本学術振興会科学研究費助成事業基盤研究(C) 2005年 - 2005年

日比孝之, 齋藤睦, 竹村彰通, 大阿久俊則, 横山和弘, 大杉英史
記号・代数計算による最適化問題解法と定理自動証明の研究

日本学術振興会科学研究費助成事業萌芽研究 2002年4月 - 2004年3月

横山和弘, 吉川敦, 鈴木昌和, 中尾充弘, 穴井宏和
高性能計算代数ソフトウェアの開発

日本学術振興会科学研究費助成事業基盤研究(B) 2002年 - 2004年

野呂正行, 高山信毅, 横山和弘, 村尾裕一, 小原功任, 齋藤政彦
数論アルゴリズムの研究と数論システムの開発

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2003年

中村憲, 岡本龍明, 倉田俊彦, 津村博文, 長尾孝一, 木田雅成, 福田隆, 横山和弘
Study on Algebraic Algorithms
Study on Algebraic Combinatorics
Study on Application of Algebraic Algorithm to Engineering

もっとみる

横山和弘

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

論文

MISC

書籍等出版物

Works(作品等)

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧