Profile Information

Affiliation
University of Tsukuba Faculty of Pure and Applied Sciences Associate Professor
(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

External link

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

Papers

  16

Misc.

  42

Books and Other Publications

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

Research Projects

  11

Industrial Property Rights

  1