Tetsuo Ida, Dr. Dr. h. c.
I am a Professor Emeritus of the University of Tsukuba. I am a computer scientist working in the areas of symbolic computation, programming languages (functional and logic), rewriting theories and computational origami. I am also a developer of computational origami system EOS.