横山和弘 Yokoyama kazuhiro

研究者番号	30333454
その他のID
外部サイト
所属 (現在)	2025年度: 立教大学, 名誉教授, 名誉教授
所属 (過去の研究課題情報に基づく) *注記	2023年度: 立教大学, 理学部, 名誉教授 2022年度: 立教大学, 理学部, 特定課題研究員 2015年度 – 2021年度: 立教大学, 理学部, 教授 2005年度 – 2012年度: 立教大学, 理学部, 教授 2007年度: 九州大学, 理学部, 教授 … もっと見る 2002年度 – 2005年度: 九州大学, 理学部, 教授 2002年度 – 2004年度: 九州大学, 大学院・数理学研究院, 教授 2003年度: 九州大学, 大学院・数理研究院, 教授 2001年度: 九州大学, 理学研究科, 教授隠す
審査区分/研究分野	研究代表者小区分12040:応用数学および統計数学関連 / 代数学 / 数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) 研究代表者以外代数学 / 数学一般(含確率論・統計数学) / 数学基礎・応用数学 / 数学一般(含確率論・統計数学) / 代数学
キーワード	研究代表者グレブナー基底 / 計算機代数 / 多項式イデアル / 数値数式融合 / 分解体計算 / 数値数式融合計算 / 限定子除去法 / パラメトリックシステム / 不等式制約解法 / Groebner基底 … もっと見る / 代数制約解法 / 記号・代数計算 / 計算量解析 / 数理情報科学 / F5 アルゴリズム / F4 アルゴリズム / F5アリゴリズム / 計算代数幾何 / 計算可換環論 / 公開鍵暗号 / F4アルゴリズム / F5アルゴリズム / Vertex Operator Algebra / Numeric-Symbolic Computation / Quantifier Elimination / Splitting Field / Computer Algebra System / Computer Assisted Proof / Groebner Base / Computer Algebra / 正標数 / 代数曲線 / VOA / Groebner basis / 根底計算 / 準素分解 / Galois群計算 / 頂点作用素代数 / 限定子除去 / 分解体 / 数式処理システム / 計算機援用証明 / 代数学 / 精度保証付き数値計算 / イデアルの分解 / 記号代数的計算 / 近似計算 / ガロア群・分解体計算 / 連立代数方程式 / 根の数値的近似 / 根の記号・代数的近似 / ガロア群計算 / モジュラー技法 / 記号代数的近似 / 計算機 / 不等式制約 / 最適化問題 / 多項式イデアル分解 … もっと見る研究代表者以外グレブナー基底 / 計算代数解析 / 計算代数 / 数式処理 / 計算可換代数 / 計算代数統計 / CGB / Groebner Basis / 数学ソフトウェア / Python / NZMATH / SIMATH / JANT / 楕円曲線 / 凸多面体の組合せ論 / アルゴリズム / 計算の効率化 / マルコフ基底 / 凸多面体 / 同種写像 / F5 / signature / Wishart分布 / 暗号 / 有限体 / 行列変数1F1 / ホロノミック勾配法 / Ｆ５アルゴリズム / モジュラー計算 / 応用数学 / modular computation / polynomial system / Hvnereeometric equation / Mathematical Software / Algebraic extension / F4 algorithm / dynamic evaluation / パラメタ / 斉次化 / F_4 / modular計算 / 代数方程式 / 超幾何方程式 / 代数拡大 / F4アルゴリズム / Vertex operator algebra / Polynomial system solving / Ideal decomposition / polynomial factorization / Hypergeometric function / Algebraic analysis / Computer algebra / 最少多項式 / 極小素因子 / 準素分解 / 多項式イデアル / 多項式因数分解 / b関数 / VOA / グレブナーfan / グレブナー fan / 超幾何関数 / 極小素因子計算 / Elliptic Curves / Cryptology / Systems for Number Theory / Number Theoretic Algorithms / 多国籍 / 国際研究者交流 / 楕円曲線暗号 / 計算機実験 / 円楕円法CEM / 64ビット / 加法鎖 / 暗号理論 / 数論システム / 数論アルゴリズム / 限量子消去 / グレブナ基底 / 限量記号消去 / 実代数幾何 / 記号的最適化手法 / パラメトリック最適化 / 記号・代数計算 / 数式融合計算 / 数値 / 最適化 / レフシェッツの超平面切断 / コニック束 / ファノ多様体 / 単有理性 / 有理曲線 / 離散数学 / 計算代数幾何 / generic initial ideal / D加群 / グレブナ-基底 / トーリックイデアル / 分割表 / イニシャルイデアル / 計算機上での解析学 / 計算機援用証明 / 数値的検証法 / 精度保証付き数値計算 / 整数計画隠す

グレブナー基底計算の理論計算量解析とその効率的な実装研究代表者
- 研究代表者
  
  横山和弘
- 研究期間 (年度)
  2021 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  立教大学
グレブナー基底計算アルゴリズムの深化研究代表者
- 研究代表者
  
  横山和弘
- 研究期間 (年度)
  2018 – 2020
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12040:応用数学および統計数学関連
- 研究機関
  立教大学
グレブナー基底の高速計算法、検証法とその応用
- 研究代表者
  
  野呂正行
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  立教大学
最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開
- 研究代表者
  
  穴井宏和
- 研究期間 (年度)
  2009 – 2012
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
高次元の有理連結代数多様体の多角的研究
- 研究代表者
  
  佐藤栄一
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  九州大学
グレブナー基底の理論的有効性と実践的有効性の探究
- 研究代表者
  
  日比孝之
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  大阪大学
計算可換代数と計算代数幾何についての国際研究集会の企画調査
- 研究代表者
  
  日比孝之
- 研究期間 (年度)
  2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  大阪大学
記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究研究代表者
- 研究代表者
  
  横山和弘
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  萌芽研究
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  立教大学
グレブナー基底の理論的有効性と実践的有効性に関する共同研究の企画調査
- 研究代表者
  
  日比孝之
- 研究期間 (年度)
  2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  大阪大学
数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  萌芽研究
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
パラメタを含む系の数式処理の実用化
- 研究代表者
  
  野呂正行
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  神戸大学
種々の代数構造に現れる分解計算の計算機上での実現の研究研究代表者
- 研究代表者
  
  横山和弘
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  立教大学
   九州大学
記号・代数計算による最適化問題解法と定理自動証明の研究研究代表者
- 研究代表者
  
  横山和弘
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  萌芽研究
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
高性能計算代数ソフトウェアの開発
- 研究代表者
  
  野呂正行
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  神戸大学
数論アルゴリズムの研究と数論システムの開発
- 研究代表者
  
  中村憲
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  代数学
- 研究機関
  東京都立大学

[図書] 多項式と計算機代数2022
- 著者名/発表者名
  横山和弘
- 総ページ数
  244
- 出版者
  朝倉書店
- ISBN
  9784254117677
- データソース
  KAKENHI-PROJECT-21K03377
[図書] QEの計算アルゴリズムとその応用-数式処理による最適化2011
- 著者名/発表者名
  穴井宏和・横山和弘
- 総ページ数
  264
- 出版者
  東京大学出版会
- データソース
  KAKENHI-PROJECT-21340025
[図書] QEの計算アルゴリズムとその応用-数式処理による最適化2011
- 著者名/発表者名
  穴井宏和、横山和弘
- 総ページ数
  264
- 出版者
  東京大学出版会
- データソース
  KAKENHI-PROJECT-21340025
[図書] グレブナー基底の計算基礎篇2003
- 著者名/発表者名
  野呂正行, 横山和弘
- 総ページ数
  288
- 出版者
  東京大学出版会
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] On Factorization of Parametric Polynomials2024
- 著者名/発表者名
  Kazuhiro Yokoyama
- 雑誌名
  
  Commentarii Mathematici Universitatis Sancti Pauli
  
  巻: -
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K03377
[雑誌論文] On Hilbert-Poincare series of affine semi-regular polynomial sequences and related Groebner bases2024
- 著者名/発表者名
  Momonari Kudo, Kazuhiro Yokoyama
- 雑誌名
  
  Mathematical Foundations for Post-Quantum Cryptography, Mathematics for Industry
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-21K03377
[雑誌論文] Solving the constructive Deuring correspondence via the Kohel-Laurer-Petit-Tignol algorithm2022
- 著者名/発表者名
  Kambe Yuta, Yasuda Masaya, Noro Masayuki, Yokoyama Kazuhiro, Aikawa Yusuke, Takashima Katsuyuki, Kudo Momonari
- 雑誌名
  
  Mathematical Cryptology
  
  巻: 1 ページ: 10-24
- 査読あり
- データソース
  KAKENHI-PROJECT-21K03377
[雑誌論文] On affine tropical F5 algorithms2021
- 著者名/発表者名
  Vaccon Tristan、Verron Thibaut、Yokoyama Kazuhiro
- 雑誌名
  
  Journal of Symbolic Computation
  
  巻: 102 ページ: 132-152
- DOI
  10.1016/j.jsc.2019.10.012
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03432
[雑誌論文] Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem2020
- 著者名/発表者名
  Ikematsu Yasuhiko、Fukasaku Ryoya、Kudo Momonari、Yasuda Masaya、Takashima Katsuyuki、Yokoyama Kazuhiro
- 雑誌名
  
  APKC20: Proceedings of the 7-th ACM Workshop on ASIA Public-Key Cryptography
  
  巻: -- ページ: 36-44
- DOI
  10.1145/3384940.3388956
- 査読あり
- データソース
  KAKENHI-PROJECT-19K22847, KAKENHI-PROJECT-20K14301, KAKENHI-PROJECT-18K03432
[雑誌論文] On FGLM algorithms with tropical Groebner bases2020
- 著者名/発表者名
  Ishihara Yuki、Vaccon Tristan、Yokoyama Kazuhiro
- 雑誌名
  
  ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
  
  巻: - ページ: 257-264
- DOI
  10.1145/3373207.3404037
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03432
[雑誌論文] Algebraic approaches for solving isogeny problems of prime power degrees2020
- 著者名/発表者名
  Takahashi Yasushi、Kudo Momonari、Fukasaku Ryoya、Ikematsu Yasuhiko、Yasuda Masaya、Yokoyama Kazuhiro
- 雑誌名
  
  Journal of Mathematical Cryptology
  
  巻: 15 号: 1 ページ: 31-44
- DOI
  10.1515/jmc-2020-0072
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K22847, KAKENHI-PROJECT-20K14301, KAKENHI-PROJECT-18K03432
[雑誌論文] Symbolic Computation of Isogenies of Elliptic Curves by Vélu’s Formula2020
- 著者名/発表者名
  Masayuki NORO, Masaya YASUDA, and Kazuhiro YOKOYAMA
- 雑誌名
  
  Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi
  
  巻: 68 ページ: 93-130
- DOI
  10.14992/00020348
- NAID
  120006954959
- URL
  http://id.nii.ac.jp/1062/00020348/
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K22847, KAKENHI-PROJECT-18K03432
[雑誌論文] Usage of Modular Techniques for Efficient Computation of Ideal Operations2018
- 著者名/発表者名
  Noro, M. & Yokoyama, K.
- 雑誌名
  
  Mathematics in Computer Science
  
  巻: 12,1 号: 1 ページ: 1-32
- DOI
  10.1007/s11786-017-0325-1
- 査読あり
- データソース
  KAKENHI-PROJECT-15K05008
[雑誌論文] On Affine Tropical F5 Algorithms2018
- 著者名/発表者名
  Vaccon Tristan, Verron Thibaut, Yokoyama Kazuhiro
- 雑誌名
  
  Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
  
  巻: - ページ: 383-390
- DOI
  10.1145/3208976.3209012
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03432
[雑誌論文] On Affine Tropical F5 Algorithms2018
- 著者名/発表者名
  Tristan, V. & Yokoyama, K.
- 雑誌名
  
  Proceedings of ISSAC2018
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-15K05008
[雑誌論文] 楕円曲線上の離散対数問題に関する指数計算法2017
- 著者名/発表者名
  篠原直行, 野呂正行, 横山和弘
- 雑誌名
  
  CRYPTREC Report 2016
  
  巻: - ページ: 71-100
- 査読あり
- データソース
  KAKENHI-PROJECT-15K05008
[雑誌論文] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- 著者名/発表者名
  H.Iwane, H.Yanami, H.Anai, H.Yokoyama
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 479 ページ: 42-69
- DOI
  10.1016/j.tcs.2012.10.020
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- 雑誌名
  
  Theoretical Computer Science
  
  巻: vol. 479 ページ: 43-69
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries2012
- 著者名/発表者名
  S.Orange, G.Renault, K.Yokoyama
- 雑誌名
  
  Mathematics in Computer Science
  
  ページ: 217-233
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition2011
- 著者名/発表者名
  S.Gandy, M.Kanno, H.Anai, K.Yokoyama
- 雑誌名
  
  Mathematics in Computer Science (MCS)
  
  巻: 5-2 号: 2 ページ: 209-221
- DOI
  10.1007/s11786-011-0090-5
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition2011
- 著者名/発表者名
  S. Gandy, M. Kanno, H. Anai, K.Yokoyama
- 雑誌名
  
  Mathematics in Computer Science
  
  巻: 5(2) ページ: 209-221
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] A Note on Distinct Nilpotency Decomposition of Polynomial Ideals over Finite Fields2010
- 著者名/発表者名
  K. Yokoyama
- 雑誌名
  
  Commentarii Mathematici, niversitatis Sancti Pauli
  
  巻: Vol. 59, No.2 ページ: 145-164
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] A Note on Distinct Nilpotency Decomposition of Polynomial Ideals over Finite Fields2010
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Commentarii Mathematici, Universitatis Sancti Pauli
  
  巻: 59・2 ページ: 145-164
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Algebraic Approach to Discrete-time Polynomial Spectral Factorization, Journal of Math-for-Industry2009
- 著者名/発表者名
  M. Kanno, K. Yokoyama, S. Hara, H. Anai
- 雑誌名
  
  Kyushu University
  
  巻: Vol.1 JMI2009A-8 ページ: 57-68
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem2009
- 著者名/発表者名
  H. Anai, S.Hara, M.Kannno, K.Yokoyama
- 雑誌名
  
  J. Symb. Comput
  
  巻: 44(7) ページ: 703-725
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Quintic Polynomials of Hashimoto-Tsunogai, Brumer and Kummer2009
- 著者名/発表者名
  M. Kida, G Renoue, K. Yokoyama
- 雑誌名
  
  International Journal of Number Theory
  
  巻: Vol. 5, No. 4 ページ: 555-571
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] Multi-modular algorithm for computing the splitting field of a polynomial2008
- 著者名/発表者名
  Guenael Renault, Kazuhiro Yokoyama
- 雑誌名
  
  Proceedings of the international symposium on symbolie and algebraic computation
  
  ページ: 247-254
- 査読あり
- データソース
  KAKENHI-PROJECT-18654025
[雑誌論文] On systems of algebraic equations with parametric exponents II2007
- 著者名/発表者名
  Kazuhiro Yokoyama
- 雑誌名
  
  Applicable Algebra in Engineering Communication and Computing 18
  
  ページ: 603-630
- 査読あり
- データソース
  KAKENHI-PROJECT-19540037
[雑誌論文] On systems of algebraic equations with parametric exponents II2007
- 著者名/発表者名
  Kazuhiro Yokoyama
- 雑誌名
  
  Applicable Algebra in Engineering Communicationand Computing 18
  
  ページ: 603-630
- 査読あり
- データソース
  KAKENHI-PROJECT-19540037
[雑誌論文] On systems of algebraic equations with parametric exponents II2007
- 著者名/発表者名
  K. Yokoyama
- 雑誌名
  
  AAECC Vol. 18
  
  ページ: 603-630
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17340028
[雑誌論文] Parametric optimization in Control using the sum of roots for parametric polynomial spectral Factorization2007
- 著者名/発表者名
  M. Kanno, K. Yokoyama, H. Anai, S. Hara
- 雑誌名
  
  Proc. ISSAC 2007(ACM Press)
  
  ページ: 211-218
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17340028
[雑誌論文] Stability of parametric decomposition2006
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Proceedings of ICMS2006 LNCS4151
  
  ページ: 391-402
- データソース
  KAKENHI-PROJECT-17340028
[雑誌論文] On polynomial curves in the affine plane2006
- 著者名/発表者名
  M.Fujimoto, M.Suzuki, K.Yokoyama
- 雑誌名
  
  Osaka Journal of Mathematics (to appear)
- NAID
  120004841918
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] A modular method for computing the splitting field of a polynomial2006
- 著者名/発表者名
  G.Renault, K.Yokoyama
- 雑誌名
  
  Proceedings of the 7th Algorithmic Number Theory Symposium (ANTS VII) (to appear)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] A modular method for computing the splitting field of a polynomial2006
- 著者名/発表者名
  Gu□na□l Renault, Kazuhiro Yokoyama
- 雑誌名
  
  Algorithmic Number Theory, Proceedings of ANTS-VII, Lecture Notes in Computer Science 4076
  
  ページ: 124-140
- データソース
  KAKENHI-PROJECT-18654025
[雑誌論文] Stability of parametric decomposition2006
- 著者名/発表者名
  Kazuhiro Yokoyama
- 雑誌名
  
  Mathematical Software, Proceedings of ICMS 2006, Lecture Notes in Computer Science 4151
  
  ページ: 391-402
- データソース
  KAKENHI-PROJECT-18654025
[雑誌論文] Stability of parametric decomposition2006
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Lecture Notes in Computer Science 4151
  
  ページ: 391-402
- データソース
  KAKENHI-PROJECT-17654026
[雑誌論文] Some of roots with positive real parts2005
- 著者名/発表者名
  Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
- 雑誌名
  
  Proceedings of the International Symposium on Symbolic and Algebraic Computation 2005
  
  ページ: 21-28
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Overview on Computer Algebra and Parametric Polynomial Systems2005
- 著者名/発表者名
  Yokoyama, K.
- 雑誌名
  
  Proceedings of ASCM 2005
  
  ページ: 141-144
- データソース
  KAKENHI-PROJECT-17654026
[雑誌論文] Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction2005
- 著者名/発表者名
  H.Anai, K.Yokoyama
- 雑誌名
  
  Proceedings of Algorithmic Algebra and Logic (A3L2005)
  
  ページ: 25-30
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] 関孝和の問題を解く2005
- 著者名/発表者名
  木村欣司, 平野照比古, 横山和弘
- 雑誌名
  
  数式処理
  
  ページ: 35-42
- NAID
  40007176796
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction (extended abstract)2005
- 著者名/発表者名
  H.Anai, K.Yokoyama
- 雑誌名
  
  Proceedings of Algorithmic Algebra and Logic 2005 (to appear)
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction2005
- 著者名/発表者名
  Hirokazu Anai, Kazuhiro Yokoyama
- 雑誌名
  
  Algorithmic Algebra and Logic, Proceedings of the A3L 2005
  
  ページ: 25-30
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Sum of roots with positive real parts2005
- 著者名/発表者名
  H.Anai, S.Hara, K.Yokoyama
- 雑誌名
  
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005)
  
  ページ: 21-28
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] On systems of algebraic equations with parametric exponents2004
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC 2004)
  
  ページ: 312-319
- NAID
  120006654334
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Implementation of prime decomposition of polynomial ideals over small finite fields2004
- 著者名/発表者名
  M.Noro, K.Yokoyama
- 雑誌名
  
  Journal of Symbolic Computation 38
  
  ページ: 1227-1246
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] On systems of algebraic equations with parametric exponents2004
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation
  
  ページ: 312-319
- NAID
  120006654334
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14340036
[雑誌論文] Implementation of prime decomposition of polynomial ideals over small finite field2004
- 著者名/発表者名
  M.Noro, K.Yokoyama
- 雑誌名
  
  Journal of Symbolic Computation 38
  
  ページ: 1227-1246
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] On systems of algebraic equations with parametric exponents2004
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Proceedings of the international symposium on symbolic and algebraic computation 2004
  
  ページ: 312-319
- NAID
  120006654334
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Implementation of prime decomposition of polynomial ideals over small finite fields2004
- 著者名/発表者名
  M.Noro, K.Yokoyama
- 雑誌名
  
  Journal of Symbolic Computation 38
  
  ページ: 1227-1246
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14340036
[雑誌論文] On systems of algebraic equations with parametric exponents2004
- 著者名/発表者名
  K.Yokoyama
- 雑誌名
  
  Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation(ISSAC 2004)
  
  ページ: 312-319
- NAID
  120006654334
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Implementation of prime decomposition of polynomial ideals over small finite fields2004
- 著者名/発表者名
  M.Noro, K.Yokoyama
- 雑誌名
  
  Journal of Symbolic Computation 38・4
  
  ページ: 1227-1246
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Z_3 symmetry and W_3 algebra in lattice vertex operator algebras2004
- 著者名/発表者名
  Chongying Dong, Ching Hung Lam, Kenichiro Tanabe, Hiromichi Yamada, Kazuhiro Yokoyama
- 雑誌名
  
  Pacific Journal of Mathematics 215
  
  ページ: 245-296
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14340036
[雑誌論文] Z_3 symmetry and W_3 algebra in lattice vertex operator algebras2004
- 著者名/発表者名
  C.Dong, C.H.Lam, K.Tanabe, H.Yamada, K.Yokoyama
- 雑誌名
  
  Pacific Journal of Mathematics 215
  
  ページ: 245-296
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] Yet Another Practical Implementation of Polynomial Factorization over Finite fields2003
- 著者名/発表者名
  M.Noro, K.Yokoyama
- 雑誌名
  
  Proc.ISSAC2002 (ACM press)
  
  ページ: 200-206
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14340036
[雑誌論文] Yet Another Practical Implementation of Polynomial Factorization over Finite Fields2003
- 著者名/発表者名
  M.Noro, K.Yokoyama
- 雑誌名
  
  Proc.ISSAC2002, ACM press
  
  ページ: 200-206
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14340036
[雑誌論文] A modular method for computing the splitting field of a polynominal
- 著者名/発表者名
  G.Renault, K.Yokoyama
- 雑誌名
  
  Proceedings of the 7th Algorithmic Number Theory Symposium (ANTS VII) (to appear)
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15340011
[雑誌論文] On polynomial curves in the affine plane
- 著者名/発表者名
  M.Fujimoto, M.Suzuki, K.Yokoyama
- 雑誌名
  
  Osaka Journal of Mathematics (to appear)
- NAID
  120004841918
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15340011
[学会発表] 半正則な非斉次多項式列に付随するHilbert級数とGroebner基底の計算量の評価2024
- 著者名/発表者名
  工藤桃成、横山和弘
- 学会等名
  日本応用数理学会・研究部会連合発表会「数論アルゴリズムとその応用」
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] The solving degree for computing Groebner bases of affine semi-regular polynomial sequences2024
- 著者名/発表者名
  Momonari Kudo, Kazuhiro Yokoyama
- 学会等名
  MEGA 24 (Effective Methods in Algebraic Geometry, 2024)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] アフィン半正則な多項式系の定める Hilbert 級数と関連する Groebner 基底2023
- 著者名/発表者名
  工藤桃成、横山和弘
- 学会等名
  RIMS共同研究（公開型）「Computer Algebra-Foundations and Applications」
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] On the complexity of Groebner basis computation2023
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  10th International Congress on Industrial and Applied Mathematics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] Implementation report on computing Groebner bases over exterior algebra2022
- 著者名/発表者名
  Sakata Kosuke, Kudo Momonari, Kato Taku, Kazuhiro Yokoyama
- 学会等名
  25th International Workshop on Computer Algebra in Scientific Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] Implemention report on parametric factorization of multi-variate polynomials2022
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  Application of Computer Algebra
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] 多変数多項式のパラメトリック因数分解2022
- 著者名/発表者名
  横山和弘
- 学会等名
  RIMS共同研究（公開型）「Computer Algebra -Foundation and Applications」
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] Signature based algorithm による change of ordering2021
- 著者名/発表者名
  野呂正行, 横山和弘
- 学会等名
  Risa/Asir Conference 2021
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] Solving the constructive Deuring correspondence via the Kohel-Lauter-Petit-Tignol algorithm2021
- 著者名/発表者名
  Kambe Yuta, Yasuda Masaya, Noro Masayuki, Yokoyama Kazuhiro, Aikawa Yusuke, Takashima Katsuyuki, Kudo Momonari
- 学会等名
  MathCrypt2021
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K03377
[学会発表] Implementation of a signature based algorithm in Risa/Asir2020
- 著者名/発表者名
  野呂正行, 横山和弘
- 学会等名
  RIMS Symposium Computer Algebra - Theory and its Applications
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] F5-style algorithm の正当性と停止性について2019
- 著者名/発表者名
  阿部拓実, 篠原直行, 野呂正行, Vaccon Tristan, 横山和弘
- 学会等名
  Risa/Asir Conference 2019
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] Algebraic approaches for solving isogeny problems of prime power degrees2019
- 著者名/発表者名
  Yasushi Takahashi, Momonari Kudo, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhrio Yokoyama
- 学会等名
  MathCrypt 2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] signature を用いたグレブナー計算アルゴリズム2019
- 著者名/発表者名
  横山和弘
- 学会等名
  計算代数夏の学校2019
- 招待講演
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] signature-based algorithm の停止性と正当性について2019
- 著者名/発表者名
  横山和弘
- 学会等名
  2019年度理論分科会＆システム分科会合同研究会
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] Computer Algebra, the recent topic and future2018
- 著者名/発表者名
  横山和弘
- 学会等名
  RIMS Symposium "Computer Algebra-Theory and its Applications"
- 招待講演
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] On Affine Tropical F5 Algorithms2018
- 著者名/発表者名
  Vaccon Tristan, Verron Thibaut, Yokoyama Kazuhiro
- 学会等名
  2018 ACM International Symposium on Symbolic and Algebraic Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03432
[学会発表] 楕円曲線の同種写像の公式作成における計算機代数の利用2018
- 著者名/発表者名
  横山和弘
- 学会等名
  Risa/Asir Conference 2018
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] 楕円曲線上の離散対数問題へのグレブナー基底の応用2017
- 著者名/発表者名
  篠原直行, 野呂正行, 横山和弘
- 学会等名
  Risa/Asir conference 2017
- 発表場所
  金沢大学自然科学５号館第講義室(石川県金沢市）
- 年月日
  2017-03-29
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] 楕円曲線の同種写像の公式生成について2017
- 著者名/発表者名
  横山和弘
- 学会等名
  九州代数的整数論2017
- 発表場所
  九州大学ＭＩ研究所（福岡県福岡市）
- 年月日
  2017-03-10
- 招待講演
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] 近年の数式処理と将来の展望2016
- 著者名/発表者名
  横山和弘
- 学会等名
  RIMS 研究集会「数式処理の新たな発展」
- 発表場所
  RIMS(京都府京都市）
- 年月日
  2016-09-08
- 招待講演
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] Modular Techiniques for Efficient Computation of Ideal Operation2015
- 著者名/発表者名
  Kazuhiro Yokoyama, Masayuki Noro
- 学会等名
  ICIAM 2015
- 発表場所
  China National Convention Center, Beijing(China)
- 年月日
  2015-08-11
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] グレブナー基底計算の効率化2015
- 著者名/発表者名
  横山和弘
- 学会等名
  RIMS研究集会「数式処理研究の新たな発展」
- 発表場所
  京都大学数理解析研究所(京都府・京都市)
- 年月日
  2015-08-19
- 招待講演
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] Stability of Parametric Decomposition2015
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  Dagstuhl Seminar 15471 Symbolic Computation and Satisfiability
- 発表場所
  Schloss Dagstuhl, Wadern(Germany)
- 年月日
  2015-11-15
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K05008
[学会発表] Usage of Modular Techniques for Efficient Computation of Ideal Operations2012
- 著者名/発表者名
  K. Yokoyama
- 学会等名
  Computer Algebra in Scientific Computing CASC
- 年月日
  2012-09-04
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Distinct Nilpotency Decomposition of Polynomial Ideals over Finite Fields2011
- 著者名/発表者名
  横山和弘
- 学会等名
  日本数式処理学会大会
- 発表場所
  神戸大学
- 年月日
  2011-09-11
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Solution of Algebraic Riccati Equations Using the Sum of Roots2009
- 著者名/発表者名
  M. Kanno, K. Yokoyama, H. Anai, S. Hara
- 学会等名
  International Symposium on Symbolic and Algebraic Computation (ISSAC) 2009
- 年月日
  2009-07-09
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Computation of the splitting field of a polynomial using its Galois group2009
- 著者名/発表者名
  K.Yokoyama
- 学会等名
  International Conference on Mathematics Mechanization
- 発表場所
  Academy of Mathematics and Systems Science, 北京
- 年月日
  2009-05-12
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- 学会等名
  3rd International Workshop on Symbolic-Numeric Computation (SNC) 2009
- 年月日
  2009-08-04
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- 学会等名
  3rd International Workshop on Symbolic-Numeric Computation (SNC)
- 年月日
  2009-08-04
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Primary decomposition and related topics I2007
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  Summer School on SINGULAR, and Applications
- 発表場所
  カイザースラウテルン大学(ドイツ)
- 年月日
  2007-06-04
- データソース
  KAKENHI-PROJECT-19540037
[学会発表] Primary decomposition and related topics I, II2007
- 著者名/発表者名
  K. Yokoyama
- 学会等名
  Summer School on SINGULAR and Application
- 発表場所
  U. Kaiserslautern, Kaiserslautern, Germany
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17340028
[学会発表] Primary ecomposition and related topics I, II2007
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  Summer School on SINGULAR and Applications
- 発表場所
  カイザースラウテルン大学(ドイツ)
- データソース
  KAKENHI-PROJECT-19540037
[学会発表] Primary decomposition and related topics II2007
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  Summer School on SINGULAR and Applications
- 発表場所
  カイザースラウテルン大学(ドイツ)
- 年月日
  2007-06-06
- データソース
  KAKENHI-PROJECT-19540037
[学会発表] Usage of Modular Techniques for Efficient Computation of Ideal Operations
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  Computer Algebra in Scientific Computing CASC 2012
- 発表場所
  Maribor (Slovenia)
- 招待講演
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Quantifier Elimination for Solving Real Engineering Problems
- 著者名/発表者名
  Kazuhiro Yokoyama
- 学会等名
  International Symposium on Symbolic Computation in Software Science
- 発表場所
  Tunis(Tunisia)
- 招待講演
- データソース
  KAKENHI-PROJECT-21340025

1. 野呂正行 (50332755)

共同の研究課題数: 6件

共同の研究成果数: 16件
2. 日比孝之 (80181113)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 齋藤睦 (70215565)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 竹村彰通 (10171670)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 大阿久俊則 (60152039)

共同の研究課題数: 3件

共同の研究成果数: 0件
6. 大杉英史 (80350289)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 高山信毅 (30188099)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 篠原直行 (70565986)

共同の研究課題数: 3件

共同の研究成果数: 3件
9. 中尾充弘 (10136418)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 古島幹雄 (00165482)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 高山茂晴 (20284333)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 穴井宏和 (20417520)

共同の研究課題数: 2件

共同の研究成果数: 11件
13. 小原功任 (00313635)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 吉川敦 (80001866)

共同の研究課題数: 2件

共同の研究成果数: 0件
15. 松井泰子 (10264582)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 齋藤恭司 (20012445)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 青木敏 (90332618)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 佐藤栄一 (10112278)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 屋並仁史 (70417533)

共同の研究課題数: 1件

共同の研究成果数: 4件
20. 岩根秀直 (00470360)

共同の研究課題数: 1件

共同の研究成果数: 4件
21. 中村憲 (80110849)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 倉田俊彦 (40311899)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 津村博文 (20310419)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 長尾孝一 (00308321)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 木田雅成 (20272057)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 齋藤政彦 (80183044)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 鈴木晃 (50330519)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 佐藤洋祐 (50257820)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 鈴木昌和 (20112302)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 朝倉政典 (60322286)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 福田隆 (00181272)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 村尾裕一 (60174265)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 岡本龍明

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 青山暢

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 高島克幸

共同の研究課題数: 0件

共同の研究成果数: 1件
36. 安田雅哉

共同の研究課題数: 0件

共同の研究成果数: 2件

横山 和弘 Yokoyama kazuhiro

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

グレブナー基底計算アルゴリズムの深化研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

種々の代数構造に現れる分解計算の計算機上での実現の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

記号・代数計算による最適化問題解法と定理自動証明の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

横山和弘 Yokoyama kazuhiro

[図書] グレブナー基底の計算基礎篇2003