Publications-books

Author

  1. An Introduction to Computational Origami, Texts & Monographs in Symbolic Computation, pages 217, ISBN 978-3-319-59188-9, ISBN 978-3-319-59189-9-6 (ebook). ©Springer Nature, Switzerland AG, 2020
  2. Introduction to Models of Computation: From Turing Machine to Lambda Calculus, Saiensusha, 125 pages, 2006. (with M. Hamana)
  3. Theories of Computation Models, Iwanami Lecture Series of Software Science, Vol. 12, Iwanami Shoten, 386 pages, 1991
  4. New Trends of Programming Languages, Lecture Series in Computer Science/Software Engineering, Vol. 2, Kyoritu Publishing Co., 262 pages, 1988.

Editor

Guest Editors of Journals

  1. Pascal Schreck, Tetsuo Ida and Laura Kovacs, Foreword: Formalization of geometry, automated and interactive geometric reasoning, Annals of Mathematics and Artificial Intelligence 85(2-4), January 2019
  2. Jacques Fleuriot and Tetsuo Ida, Preface to the special issue on geometric reasoning, Annals of Mathematics and Artificial Intelligence 77(1-2), May 2015

Proceedings and books

  1. The Second Fuji International Workshop on Functional and Logic Programming, World Scientific, 1997. (with A. Ohori and M. Takeichi) Multi-Paradigm Logic Programming,
  2. Proceedings of the JICSLP96 Post-Conference Workshop, Technical University of Berlin, Report No. 96-28, 1996. (with M. Chakravarty and Y. Guo) Fuji International Workshop on Functional and Logic Programming, World Scientific, 1996. (with M. Takeichi)
  3. New Programming Paradigm – 2. Kyoritsu Publishing Co., 1990 (with Jiro Tanaka)
  4. New Programming Paradigm, Kyoritsu Publishing Co., 1989