横山 和弘  YOKOYAMA Kazuhiro

穴井宏和、横山和弘

264

東京大学出版会

穴井宏和・横山和弘

264

東京大学出版会

野呂正行, 横山和弘

288

東京大学出版会

「研究成果報告書概要(和文)」より

Noro, M. & Yokoyama, K.

Mathematics in Computer Science

巻: 12,1 ページ: 1-32

査読あり

Tristan, V. & Yokoyama, K.

Proceedings of ISSAC2018

巻: -

査読あり

篠原直行, 野呂正行, 横山和弘

CRYPTREC Report 2016

巻: - ページ: 71-100

査読あり

H. Iwane, H. Yanami, H. Anai, K. Yokoyama

Theoretical Computer Science

巻: vol. 479 ページ: 43-69

H.Iwane, H.Yanami, H.Anai, H.Yokoyama

Theoretical Computer Science

巻: 479 ページ: 42-69

査読あり

S.Orange, G.Renault, K.Yokoyama

Mathematics in Computer Science

ページ: 217-233

査読あり

S.Gandy, M.Kanno, H.Anai, K.Yokoyama

Mathematics in Computer Science (MCS)

巻: 5-2 ページ: 209-221

査読あり

S. Gandy, M. Kanno, H. Anai, K.Yokoyama

Mathematics in Computer Science

巻: 5(2) ページ: 209-221

査読あり

K. Yokoyama

Commentarii Mathematici, niversitatis Sancti Pauli

巻: Vol. 59, No.2 ページ: 145-164

査読あり

K.Yokoyama

Commentarii Mathematici, Universitatis Sancti Pauli

巻: 59・2 ページ: 145-164

査読あり

H. Anai, S.Hara, M.Kannno, K.Yokoyama

J. Symb. Comput

巻: 44(7) ページ: 703-725

査読あり

M. Kida, G Renoue, K. Yokoyama

International Journal of Number Theory

巻: Vol. 5, No. 4 ページ: 555-571

査読あり

M. Kanno, K. Yokoyama, S. Hara, H. Anai

Kyushu University

巻: Vol.1 JMI2009A-8 ページ: 57-68

査読あり

Guenael Renault, Kazuhiro Yokoyama

Proceedings of the international symposium on symbolie and algebraic computation

ページ: 247-254

査読あり

Kazuhiro Yokoyama

Applicable Algebra in Engineering Communication and Computing 18

ページ: 603-630

査読あり

Kazuhiro Yokoyama

Applicable Algebra in Engineering Communicationand Computing 18

ページ: 603-630

査読あり

M. Kanno, K. Yokoyama, H. Anai, S. Hara

Proc. ISSAC 2007(ACM Press)

ページ: 211-218

「研究成果報告書概要(欧文)」より

K. Yokoyama

AAECC Vol. 18

ページ: 603-630

「研究成果報告書概要(欧文)」より

Kazuhiro Yokoyama

Mathematical Software, Proceedings of ICMS 2006, Lecture Notes in Computer Science 4151

ページ: 391-402

K.Yokoyama

Proceedings of ICMS2006 LNCS4151

ページ: 391-402

K.Yokoyama

Lecture Notes in Computer Science 4151

ページ: 391-402

M.Fujimoto, M.Suzuki, K.Yokoyama

Osaka Journal of Mathematics (to appear)

「研究成果報告書概要(和文)」より

G.Renault, K.Yokoyama

Proceedings of the 7th Algorithmic Number Theory Symposium (ANTS VII) (to appear)

「研究成果報告書概要(和文)」より

Gu□na□l Renault, Kazuhiro Yokoyama

Algorithmic Number Theory, Proceedings of ANTS-VII, Lecture Notes in Computer Science 4076

ページ: 124-140

Yokoyama, K.

Proceedings of ASCM 2005

ページ: 141-144

Hirokazu Anai, Kazuhiro Yokoyama

Algorithmic Algebra and Logic, Proceedings of the A3L 2005

ページ: 25-30

H.Anai, K.Yokoyama

Proceedings of Algorithmic Algebra and Logic (A3L2005)

ページ: 25-30

「研究成果報告書概要(和文)」より

Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama

Proceedings of the International Symposium on Symbolic and Algebraic Computation 2005

ページ: 21-28

木村欣司, 平野照比古, 横山和弘

数式処理

ページ: 35-42

「研究成果報告書概要(和文)」より

H.Anai, K.Yokoyama

Proceedings of Algorithmic Algebra and Logic 2005 (to appear)

H.Anai, S.Hara, K.Yokoyama

Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005)

ページ: 21-28

「研究成果報告書概要(和文)」より

K.Yokoyama

Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation

ページ: 312-319

「研究成果報告書概要(和文)」より

M.Noro, K.Yokoyama

Journal of Symbolic Computation 38

ページ: 1227-1246

「研究成果報告書概要(欧文)」より

M.Noro, K.Yokoyama

Journal of Symbolic Computation 38・4

ページ: 1227-1246

K.Yokoyama

Proceedings of the international symposium on symbolic and algebraic computation 2004

ページ: 312-319

Chongying Dong, Ching Hung Lam, Kenichiro Tanabe, Hiromichi Yamada, Kazuhiro Yokoyama

Pacific Journal of Mathematics 215

ページ: 245-296

「研究成果報告書概要(欧文)」より

M.Noro, K.Yokoyama

Journal of Symbolic Computation 38

ページ: 1227-1246

「研究成果報告書概要(欧文)」より

K.Yokoyama

Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation(ISSAC 2004)

ページ: 312-319

「研究成果報告書概要(欧文)」より

C.Dong, C.H.Lam, K.Tanabe, H.Yamada, K.Yokoyama

Pacific Journal of Mathematics 215

ページ: 245-296

「研究成果報告書概要(欧文)」より

M.Noro, K.Yokoyama

Journal of Symbolic Computation 38

ページ: 1227-1246

「研究成果報告書概要(和文)」より

K.Yokoyama

Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC 2004)

ページ: 312-319

「研究成果報告書概要(和文)」より

M.Noro, K.Yokoyama

Proc.ISSAC2002, ACM press

ページ: 200-206

「研究成果報告書概要(和文)」より

M.Noro, K.Yokoyama

Proc.ISSAC2002 (ACM press)

ページ: 200-206

「研究成果報告書概要(欧文)」より

G.Renault, K.Yokoyama

Proceedings of the 7th Algorithmic Number Theory Symposium (ANTS VII) (to appear)

「研究成果報告書概要(欧文)」より

M.Fujimoto, M.Suzuki, K.Yokoyama

Osaka Journal of Mathematics (to appear)

「研究成果報告書概要(欧文)」より

横山和弘

Risa/Asir Conference 2018

篠原直行, 野呂正行, 横山和弘

Risa/Asir conference 2017

金沢大学自然科学５号館第講義室(石川県金沢市）

2017-03-29

横山和弘

九州代数的整数論2017

九州大学ＭＩ研究所（福岡県福岡市）

2017-03-10

招待講演

横山和弘

RIMS 研究集会「数式処理の新たな発展」

RIMS(京都府京都市）

2016-09-08

招待講演

Kazuhiro Yokoyama

Dagstuhl Seminar 15471 Symbolic Computation and Satisfiability

Schloss Dagstuhl, Wadern(Germany)

2015-11-15

国際共著/国際学会である / 招待講演

Kazuhiro Yokoyama, Masayuki Noro

ICIAM 2015

China National Convention Center, Beijing(China)

2015-08-11

国際共著/国際学会である / 招待講演

横山和弘

RIMS研究集会「数式処理研究の新たな発展」

京都大学数理解析研究所(京都府・京都市)

2015-08-19

招待講演

K. Yokoyama

Computer Algebra in Scientific Computing CASC

2012-09-04

横山和弘

日本数式処理学会大会

神戸大学

2011-09-11

H. Iwane, H. Yanami, H. Anai, K. Yokoyama

3rd International Workshop on Symbolic-Numeric Computation (SNC)

2009-08-04

M. Kanno, K. Yokoyama, H. Anai, S. Hara

International Symposium on Symbolic and Algebraic Computation (ISSAC) 2009

2009-07-09

K.Yokoyama

International Conference on Mathematics Mechanization

Academy of Mathematics and Systems Science, 北京

2009-05-12

H. Iwane, H. Yanami, H. Anai, K. Yokoyama

3rd International Workshop on Symbolic-Numeric Computation (SNC) 2009

2009-08-04

K. Yokoyama

Summer School on SINGULAR and Application

U. Kaiserslautern, Kaiserslautern, Germany

「研究成果報告書概要(欧文)」より

Kazuhiro Yokoyama

Summer School on SINGULAR, and Applications

カイザースラウテルン大学(ドイツ)

2007-06-04

Kazuhiro Yokoyama

Summer School on SINGULAR and Applications

カイザースラウテルン大学(ドイツ)

Kazuhiro Yokoyama

Computer Algebra in Scientific Computing CASC 2012

Maribor (Slovenia)

招待講演

Kazuhiro Yokoyama

International Symposium on Symbolic Computation in Software Science

Tunis(Tunisia)

招待講演