Profile Information

Affiliation
Associate Professor, Faculty of Pure and Applied Sciences, University of Tsukuba
(Concurrent)Center for Artificial Intelligence Research
Degree
Ph.D in Science(Mar, 2010, University of Tsukuba)
M.S.(Mar, 1997, University of Tsukuba)

ORCID ID
 https://orcid.org/0000-0003-0846-3643
J-GLOBAL ID
200901044780941214
researchmap Member ID
1000267873

External link

Interested in computer algebra, symbolic-numeric computations and automated deduction. An "easy-arithmetician."

Papers

  16

Misc.

  45

Books and Other Publications

  1
  • 長坂 耕作, 岩根 秀直, 北本 卓也, 讃岐 勝, 照井 章, 鍋島 克輔 (Role: Joint author)
    共立出版, Mar, 2019 (ISBN: 9784320113732)

Presentations

  17

Research Projects

  11

Industrial Property Rights

  1

Social Activities

  1