Homepage of Tetsuo Ida

At the park near-by at the cherry blossoming  time
Tetsuo Ida, Dr. Sc., Dr. h. c.

Professor Emeritus, University of Tsukuba


Faculty of Engineering, Information and Systems
Department of Computer Science
University of Tsukuba
Tsukuba 305-8573, Japan

Email: ida@cs.tsukuba.ac.jp, ida@

Skype: tetsuoscore

Professional Career

Education and Degrees

Recent Publications (2014 -)

Recent Activities (2016 -)

ResearchGate: https://www.researchgate.net/profile/Tetsuo_Ida/

Research Interest:

  • Computational origami
  • Automated theorem proving

Symbolic computation


Publications of SCORE (Symbolic Computation Research Laboratory) ( ~ 2011)


(This is under revision)