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

Address:

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

Email: ida@cs.tsukuba.ac.jp, ida@i-eos.org

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

Teaching:

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

Miscellany

(This is under revision)