**Tetsuo Ida**

Department of Computer Science

Faculty of Systems and Information Engineering

University of Tsukuba, Tsukuba 305-8573, Japan

**E-mail: **

ida@cs.tsukuba.ac.jp

**Education and Degrees**

- 1966 – 1971, University
of Tokyo, College of Liberal Arts
- 1969 – 1970, Exchange student, Harvey Mudd College, U.S.A.

- 1971, B.S. (Liberal Arts), University of Tokyo

- 1971 – 1975, University
of Tokyo, Graduate School of Science, Department of Physics
- 1973, M.Sc. (Physics). University of Tokyo

- 1972 – 1973, Exchange student, University of Essex, U.K.

- 1974, M.Sc.(Computer Studies), University of Essex

- 1979, D.Sc. (Physics), University of Tokyo

**Honor**

2004,
Doctor Honoris Causa, West University of Timisoara, Romania

**Professional Career**

- 1975 – 1979, Junior Researcher, Institute of Physical and Chemical Research (RIKEN)
- 1979 – 1988, Researcher, ditto
- 1988 – 1992, Associate Professor, University of Tsukuba
- 1989 – 1990, JSPS visiting researcher, Johannes Kepler University of Linz, Austria
- 1992 – 2012, Professor, University of Tsukuba
- 2012 – present, Professor Emeritus, University of Tsukuba

**Guest
Professor**

- National Institute of Multimedia Education, 2004 – 2005
- Xiamen
University, China, 2006 – 2010

**Visiting
Lecturer**

- Gunma
University, 1990
- Kyushu University. 1992

- Tohoku University, 1992

- Shizuoka University, 1993

- Mie University, 1998

- The
7
^{th}of November University of Cartage (now called University of Cartage), Tunisia, 2002, 2003, 2004, 2008, 2010, 2011, 2013, 2017

- Kyoto University 2006

**Guest
Researcher**

- Beihang University, China, 2002 – 2004
- National Institute of Multimedia Education, 2002 – 2003

**Other Professional Activities**

- Member of Academic
Societies
- IFIP WG 1.6, Member, 1998 –

- Association for Computing Machinery (Life long member) 1976 –

- Japan Society for Software Science and Technology, 1983 – 2013

- Information Processing Society of Japan, 1975 – 2010

- Editor of Journals and
Monograph Series
- Journal of Symbolic Computation

- Computer Software (completed)

- Journal of Functional and Logic Programming (completed)

- Editorial board member, Texts and Monographs in Symbolic Computation, Springer

- Liaison Committee on Foundation of Information and Communication, Science Council of Japan, Member, 2003 – 2004

- Japan Society for Software Science and Technology, Councilor, 1994 – 2013

- Japan Accreditation Board for Engineering Education, Examiner, 2003

- Japan Society of Promotion of Science, Reviewer

- Tohoku University, Research Institute of Electrical Communication, External Evaluator, 1994, 2002

- International Information Science Foundation, Reviewer, 1995 – 1997

- ACM/ICPC Asia Regional Programming Contest Board Director, 2000

- IBM Japan Science Prize, Reviewer, 1994, 2001(Committee chair)

**Invited Speaker (some selected conferences)**- The 16
^{th}International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), 2014

- The 15
^{th}International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), 2013

- The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 2009

- Thailand International Conference on 21st Century Information Technology in Mathematical Education, (Keynote address) 2006

- World
Conference on 21
^{st}Century Mathematics 2004, Lahore, Pakistan, 2004

- Open Lecture, Computability and Lambda Definability, The first Asian Symposium on Programming Languages and Systems (APLAS 2003), 2003

- The 5
^{th}International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2003), 2003

- The 7
^{th}Asian Technology Conference in Mathematics (ATCM 2002), 2002

- The 4
^{th}International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2002), 2002

- The 4
^{th}International Mathematica Symposium (IMS 2001), 2001

- The 3
^{rd}International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2001), 2001

- International Software Engineering Symposium (ISES 2001), 2001

- The Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2000), 2000

- IFIP Technical Committee WG 2.2 Working Conference, 1998

- International Workshop on Functional and Logic Programming (WFLP 1994), 1994

- The 16
**Panelist at International Conferences**- International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), 2001
- ACM International Symposium on Symbolic and Algebraic Computation, 1889

**Commitment to International Conferences (some selected ones, underlined conferences are linked to their home page via EasyChair)**- General Chair and PC member: SCSS 2017

- PC Chair: Computational Origami and Applications (part of Symmetry Festival 2016)

- PC member: ADG 2016

- General Chair: SCSS 2016

- Track chair: SYNASC2016

- PC member: SYNASC 2015

- PC member: ADG 2014

- PC member: AISC 2014

- PC member: SCSS 2014

- PC chair. proceedings manager: LNAI-ADG 2012

- PC member: Turing-100

- PC chair, proceedings manager: WFLP 2012

- PC member: TERMGRAPH 2011

- PC member: AISC 2010

- General chair: SYNASC2010

- PC member: TASE 2009:

- PC member: RTA 2008

- PC chair, proceedings manager: SCSS 2008

- PC chair, proceedings manager: AISC2006

- PC chair: Tunisia-Japan Symposium on Culture, Science and Technology (TJCST 2004)

- PC member: ISSAC 2003

- PC chair: Tunisia-Japan Symposium on Science and Technology (TJASST 2003)

- Asian liaison: IEEE Conference on System, Man and Cybernetics (IEEE-SMC 2002)

- General Chair: JSPS Japan-Tunisia Workshop on Informatics (JTWIN 2001)

- PC member: The First International Workshop on Mathematical Knowledge Management (MKM 2001)

- Organizing committee member: Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 1999)

- PC member: CALCULEMUS (FLoC 1999 workshop)

- PC member: The 3
^{rd}Fuji International Symposium on Functional and Logic Programming (FLOPS 1998)

- Local arrangements chair: RTA 1998

- Organizer: The First International Theorema Workshop 1997

- PC member: PLILP 1997

- PC chair, FLOPS 1996

- PC chair, Workshop on Multi-Paradigm Logic Programming, 1996

- PC member, PLILP 1996

- General chair, FLOPS 1995

- PC member, ISSAC 1989

**Publications – paper**

**2017**

- T. Ida, S. M. Watt, Origami folds in higher-dimension. SCSS 2017: The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia), pp. 83-95, http://dblp.uni-trier.de/rec/bi b/conf/sycss/IdaW17

**2016**

- T Ida, Revisit of “Geometric Exercise in Paper Folding” from a Viewpoint of Computational Origami, Post-Proceedings of SYNASC 2016: The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 24-27, 2016, pp. 23-28, IEEE Computer Society Conference Publishing Services (CPS), 2016, doi://10.1109/SYNASC.2016 .017
- T. Ida, J. Fleuriot, F. Ghourabi, A New
Formalization of Origami in Geometric Algebra, Proceedings of ADG 2016: The
11th International Workshop on Automated Deduction in Geometry, Strasbourg,
France, June 27-29, 2016, pp. 117—136, 2016,

https://hal.inria.fr/hal-013343 34/file/ADG2016-Proceedings%20. pdf.

**2015**

- F. Ghourabi, T. Ida, K. Takahashi, Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons. Origami6: Proceedings of the Sixth International Meeting on Origami Science, Mathematics, and Education (6OSME). Part I: Mathematics, pp. 55-66, American Mathematical Society, 2015.
- T. Ida and F. Ghourabi, Polygonal Knot by Computational Origami, Symmetry: Culture and Science, Vol. 26, No. 2, pp. 171-187, 2015.
- T. Ida, F. Ghourabi, Verified Construction of Polygonal Knots, Proceedings of the 12th International Mathematica Symposium (IMS 2015), CDROM-publication, 2015.
- T. Ida, Huzita’s Basic Origami Fold in Geometric Algebra, Post-Proceedings of SYNASC 2014: The 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.11-13, IEEE Computer Society Conference Publishing Services (CPS), 2015.

**2014**

- T. Ida, F. Ghourabi and K. Takahashi, Formalizing Polygonal Knot Origami, Journal of Symbolic Computation, Vol. 69, pp. 93 -108, 2014.
- T.
Ida, Knot Fold of Regular Polygons: Computer-Assisted Construction and
Verification, Post-Proceedings of the 15
^{th}International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), pp.12 – 19, IEEE Computer Society Conference Publishing Services (CPS), 2014.

**2013**

- F.
Ghourabi, T. Ida and K. Takahashi, Logical and Algebraic Views of a Knot Fold
of a Regular Heptagon, Proceedings of the International Symposium on Symbolic
Computation in Software Science (SCSS 2013), EPiC Series 15, pp. 50 – 63, 2013.

**2012**

- T.
Ida, Interactive vs. Automated Proofs in Computational Origami, Post-Proceedings
of the 14
^{th}International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012.

**2011**

- C.
Kaliszyk and T. Ida, Proof Assistant Decision Procedures for Formalization of
Origami, Proceedings of the 4
^{th}Conference on Intelligent Computer Mathematics, Lecture Notes in Computer Science, Vol. 6624, Springer-Verlag, pp.45 – 57, 2011. - A.
Kasem, F. Ghourabi and T. Ida, Origami Axioms and Circle Extension, Proceedings
of the 26
^{th}Annual ACM Symposium on Applied Computing, pp. 1106 -1111, 2011. - T. Ida, A. Kasem, F. Ghourabi, H. Takahashi, Morley’s Theorem Revisited: Origami Construction and Automated Proof, Journal of Symbolic Computation, Vol. 46, pp. 162 – 170, 2011.
- F. Ghourabi, T. Ida and A. Kasem, Proof
Documents for Automated Origami Theorem Proving, : Post-Proceedings of the 8
^{th}International Workshop on Automated Deduction in Geometry (ADG 2010), Lecture Notes in Computer Science, Vol. 6877, Springer-Verlag, pp. 78-97, 2011.

**2010**

- H. Takahashi and T. Ida， Modelling of Computational Origami by Graph Rewriting and Its Realization, Computer Software, Vol. 27, pp. 2 – 13, 2010. (in Japanese)
- T. Ida and H. Takahashi, Origami Fold as Algebraic Graph Rewriting, Journal of Symbolic Computation, Vol. 45, No. 4, pp. 393 – 413, 2010.
- A. Kasem and T. Ida, Extended Web Services for Computational Origami, Proceedings of the Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2010), 2010.

**2009**

- T. Ida, Graph Rewriting in Computational Origami,
Post-Proceedings of the 10
^{th}International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), IEEE Computer Society Conference Publishing Services (CPS), pp. 20 -27, 2009. - T. Ida, Symbolic and Algebraic Methods in Computational Origami (Invited Talk), Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), ACM, pp. 3 – 4, 2009.
- T. Ida, et al., Computational Origami System Eos, Origami 4 (selected papers from the Fourth International Meeting of Origami, Science, Mathematics, and Education), A K Peters Ltd., pp. 285 – 293, 2009.
- T. Ida and H. Takahashi, Origami Fold as Algebraic Graph Rewriting, Proceedings of the 24th Annual ACM, Symposium on Applied Computing (SAC 2009). ACM Press, pages 1132 -1138, 2009.

**2008**

- A. Kasem and T. Ida, Computational Origami Environment on the Web, Frontiers of Computer Science in China, Vol. 2, No. 1, pp. 39-54, 2008.
- T. Ida, M. Marin, H. Takahashi and F. Ghourabi, Computational Origami Construction as Constraint Solving and Rewriting, Electronic Notes in Theoretical Computer Science, Vol. 216, pp. 31 – 44, 2008.
- T. Ida, Modeling Origami and Beyond,
Post-Proceedings of the 9
^{th}International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), IEEE Computer Society Conference Publishing Services (CPS), p. 13, 2008.

**2007**

- F.
Ghourabi, T. Ida, H. Takahashi, M. Marin and A. Kasem, Logical and
Algebraic View of Huzita’s Origami Axioms with Applications to
Computational Origami, Proceedings of the 22
^{nd}Annual ACM, Symposium on Applied Computing (SAC 2007). ACM Press, pp. 767-772, 2007. - T. Ida, H. Takahashi, M. Marin and F. Ghourabi, Modelling Origami for Computational Construction and Beyond, International Conference on Computational Science and Its Applications 2007 (ICCSA 2007) Lecture Notes in Computer Science, Vol. 4151, Springer-Verlag, pp. 653 – 665, 2007.
- T.
Ida, Tiers of webOrigami Programming, Post-Proceedings of the 8
^{th}International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), I EEE Computer Society Conference Publishing Services (CPS), p. 4, 2007.

**2006**

- J.
Robu, T. Ida, D. Tepeneu, H. Takahashi and B. Buchberger, Computational
Origami Construction of a Regular Heptagon with Automated Proof of Its
Correctness, Post-Proceedings of the 5
^{th}International Workshop on Automated Deduction in Geometry (ADG 2004), Lecture Notes in Computer Science, Vol. 3763, pp. 19-33, 2006. - T. Ida, H. Takahashi, M. Marin, A. Kasem and F. Ghourabi, Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami, Proceedings of the Second International Congress on Mathematical Software (ICMS 2006), Lecture Notes in Computer Science, Vol. 4151, pp. 361-372, 2006.
- T. Ida, M. Marin and H. Takahashi,
Computational Origami of a Morley’s Triangle, Selected and Revised Papers of
the 4
^{th}International Conference on Mathematical Knowledge Management (MKM 2005), Lecture Notes in Artificial Intelligence, Vol. 3863, pp. 267-282. 2006. - M. Marin and T. Ida, Progress of rho-Log, a rule-based programming system. Mathematica in Education and Research, Vol. 11, No. 1, pp. 50-66, 2006.
- M. Marin and T. Ida, Rule-Based
Programming with rho-Log. Post-Proceedings of the 7
^{th}International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), IEEE Computer Society Conference Publishing Services (CPS), pp. 31 38, 2006.

**2005**

- T.
Ida, H. Takahashi, D. Tepeneu and M. Marin, Morley’s Theorem Revisited through
Computational Origami, Proceedings of 7
^{th}International Mathematica Symposium (IMS 2005), CDROM-publication, 2005. - M.
Marine and T. Ida, Rule-based Framework for Automated Reasoning,
Proceedings of the 7
^{th}Asian Symposium on Computer Mathematics (ASCM 2005), pp. 28-31, 2005.

2004

- T.
Ida, D. Tepeneu, B. Buchberger and J. Robu, Proving and Constraint Solving
in Computational Origami, Post-Proceeding of the 7
^{th}International Symposium on Artificial Intelligence and Symbolic Computation (AISC 2004), Lecture Notes in Artificial Intelligence, Vol. 3249, Springer-Verlag, pp. 132-142, 2004. - B. Buchberger and T. Ida, Computational Origami: Interaction of Solving, Proving and Computing, Proceedings of World Conference on 21st Century Mathematics 2004, pp. 37 – 51, 2004.
- D. Tepeneu and T. Ida, MathGridLink
– Connecting Mathematica to “the Grid”, Proceedings of the 6
^{th}International Mathematica Symposium (IMS 2004), 2004. - H. Takahashi, D. Tepeneu and
T. Ida, A System for Computational Origami – progress report, Proceedings
of the 6
^{th}International Mathematica Symposium (IMS 2004) , 2004.

**2003**

- N.
Kobayashi, M. Marin and T. Ida
A
Web Oriented System for Equational Solving, Proceedings of the 12
^{th}International Workshop on Functional and (Constraint) Logic Programming, pp. 309 – 312, 2003. - T. Ida, M. Marin and H. Takahashi, Constraint Functional Logic Programming for Origami Construction, The First Asian Symposium on Programming Languages and Systems (APLAS 2003), Lecture Notes in Computer Science, Vol. 2895, Springer-Verlag, pp. 73 – 88, 2003
- H. Takahashi and T. Ida,
Origami Programming Environment, Proceedings of the 5
^{th}International Mathematica Symposium (IMS 2003), pp. 413 – 420, 2003. - T. Ida and M. Marin, Functional
Logic Origami Programming with Open CFLP, Proceedings of the 5
^{th}International Mathematica Symposium (IMS 2003), pp. 397 – 404, 2003. - N. Kobayashi, M. Marin and T. Ida, Collaborative Constraint Functional Logic Programming System in an Open Environment, IEICE Transactions on Information and Systems, Vol. E86-D, No. 1, pp. 63 – 70, 2003.

**2002**

- T. Ida, Equational
Reasoning in Programming, Proceedings of the 7
^{th}Asian Technology Conference in Mathematics 2002, pp. 22 – 34, 2002 - T. Ida and M. Marin, Constraint Functional Logic Programming for Origami Construction, Analele Universitatii din Timisoara de Vest, Vol. XL, Fasc. Special, 2002, Seria Mathematica-Informatica, pp. 93 – 112, 2002.
- N. Kobayashi, M. Marin, T. Ida and Z. Che, Open CFLP: An Open System for
Collaborative Constraint Functional Logic Programming, Proceedings of the 11
^{th}International Workshop on Functional and (constraint) Logic Programming (WFLP 2002), pp. 229 – 232, 2002. - T. Ida, M. Marin and T. Suzuki, Reducing Search Space in Solving Higher-Order Equations, Progress in Discovery Science 2001, Lecture Notes in Artificial Intelligence, Vol. 2281, Springer-Verlag, pp. 19 – 30, 2002.

**2001**

- M. Marin, T. Ida and W. Schreiner, CFLP: a Mathematica Implementation of a Distributed Constraint Solving System, The Mathematica Journal, Vol. 8, No. 2, pp. 287 – 300,. 2001.
- T. Ida, M. Marin and T. Suzuki, Higher-order Lazy Narrowing Calculus: a Solver for Higher-Order Equations, Computer Aided Systems Theory – EUROCAST 2001, Lecture Notes in Computer Science, Vol. 2178, Springer-Verlag, pp. 478 – 493, 2001.
- T. Ida, N.
Kobayashi and M. Marin, An Open Environment for Cooperative Scientific Problem
Solving, Proceedings of the 4
^{th}International Mathematica Symposium (IMS 2001), pp. 71 – 78, 2001. - T. Ida, M. Marin and N. Kobayashi, An Open Environment for Cooperative Equational Solving, International Software Engineering Symposium 2001 (ISES’01), Wuhan University Journal of Natural Sciences, Vol. 6, No. 1 – 2, pp. 169 – 174, 2001.
- T. Ida, N. Kobayashi and
M. Marin, Collaborative Constraint Functional Logic
Programming in an Open Environment, Analele Universitatii din Timisoara,
Vol. XXXIX, Fasc. Special, 2001, Seria Mathematica- Informatica, pp. 69 – 80,
2001.

(Proceedings of the Third International Workshop on Symbolic and Numeric Algorithms on Scientific Computing (SYNASC 2001)) - Q. Li, Y. Guo, J. Darlington and T. Ida, Minimised Geometric Buchberger Algorithm for Integer Programming, Annals of Operations Research, Vol. 108, pp. 87 – 109, 2001.

**2000**

- M. Marin, T. Ida and T. Suzuki, Cooperative Constraint Functional Logic Programming, International Symposium on Principles of Software Evolution (ISPSE 2000), pp. 223 – 230, 2000.
- M. Marin and T. Ida Cooperative
Constraint Functional Logic Programming, Proceedings of the 9
^{th}International Workshop on Functional and Logic Programming (WFLP 2000), pp. 382 – 390, 2000. - M. Marin, T. Ida and T.
Suzuki, Higher-order Lazy Narrowing Calculi in Perspective, Proceedings of the
9
^{th}International Workshop on Functional and Logic Programming (WFLP 2000), pp. 238 – 253, 2000. - Q. Li, Y. Guo and T. Ida, Modelling Integer Programming with Logic: Language and Implementation, IEICE Transactions of Fundamentals of Electronics, Communications and Computer Sciences, Vol. E83-A, No. 8, pp. 1673 – 1680, 2000.

**1999**

- M. Marin, T. Ida and T. Suzuki, On Reducing the Search Space of Higher-Order Lazy Narrowing, Proceedings of The International Symposium on Functional and Logic Programming (FLOPS’99), Lecture Notes in Computer Science, Vol. 1722, Springer-Verlag, pp. 225 – 240, 1999.
- M. Marin, T. Ida and W. Schreiner, A Distributed Constraint Solving System for Functional Logic Programming, Proceedings of Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT’99), pp. 151 – 155, 1999.
- M. Marin and W. Schreiner and T. Ida, CFLP: a Mathematica Implementation of a Distributed Constraint Solving System, The Third International Mathematica Symposium (IMS’99), Computational Mechanics Publications, WIT Press, 1999.
- Q. Li, Y. Guo and T. Ida, Transformation of Logical Specification into IP-formulas, The Third International Mathematica Symposium (IMS’99), Computational Mechanics Publications, WIT Press, 1999.
- T. Ida, Lazy Narrowing Calculus and Equational Problem Solving , International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’99), 1999
- H. Ohsaki, A. Middeldorp and T. Ida, Persistence in Equational Rewriting, Computer Software, Vol. 16, No.1, pp. 33 – 45, 1999. (in Japanese)

**1998**

- M. Hamada and T. Ida, Deterministic and Non-deterministic Lazy Conditional Narrowing and their Implementations, Transactions of Information Processing Society of Japan, Vol. 39, No. 3, pp. 656 – 663, 1998
- Q. Li, F. Janssen and Z. Yang, ILIN: An Implementation of the Integer Labeling Algorithm for Integer Programming, IEICE Transactions of Fundamentals of Electronics, Communications and Computer Sciences, Vol. E81-A, No. 2, pp. 304 – 309, 1998.

**1997**

- Q. Li, Y. Guo and T.
Ida, A Parallel Algebraic Approach Towards Integer Programming, Proceedings of
the 9
^{th}IASTED International Conference Parallel and Distributed Computing and Systems (PDCS’97), pp. 59 – 64, 1997. - T. Suzuki and K.
Nakagawa and T. Ida, Higher-Order Lazy Narrowing Calculus: A Computation Model
for a Higher-Order Functional Logic Language, Proceedings of the 6
^{th}International Joint Conference, ALP’97 – HOA’97, Lecture Notes in Computer Science, Vol. 1298, Springer-Verlag, pp. 99 – 113, 1997. - Q. Li, Y. Guo, T. Ida and J. Darlington, The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 97), pp. 331 – 338, 1997.
- T. Ida and K. Nakahara, Leftmost outside-in narrowing calculi, Journal of Functional Programming, Vol. 7, No. 2, pp. 129-161, 1997.

**1996**

- S. Okui, A. Middeldorp and T. Ida, Lazy Narrowing: Strong Completeness and Eager Variable Elimination, Theoretical Computer Science, Vol. 167, No. 1/2, pp. 95 -130, 1996.

**1995**

- H. Ohsaki, A. Middeldorp and T. Ida, Distribution Elimination by Semantic Labelling: Methods for Proving Termination for Term Rewriting Systems, Computer Software, Vol. 13, No. 2, pp. 58 – 73, 1995. (in Japanese)
- S. Sasaki and T. Ida, A Constraint Functional Logic Programming Language System and its Implementation, Transactions of Information Processing Society of Japan, Vol. 36, No. 9, pp. 2152 – 2160, 1995. (in Japanese)
- T. Yamada, A. Middeldorp and T. Ida, Modularity of Level-Confluence for Conditional Term Rewriting Systems, Computer Software, Vol. 12, No. 5, pp. 72 – 84, 1995. (in Japanese)
- M. Hamana, T. Nishioka, K. Nakahara, A. Middeldorp and T. Ida, Design and Implementation of a Functional-Logic Language Based on Applicative Term Rewriting Systems, Transactions of Information Processing Society of Japan, Vol. 36, No. 8, 1897 – 1905, 1995. (in Japanese)
- S. Okui, A. Middeldorp
and T. Ida, Lazy Narrowing: Strong Completeness and Eager Variable Elimination
(Extended Abstract), Proceedings of the 20
^{th}Colloquium On Trees In Algebra and Programming (CAAP), Lecture Notes in Computer Science, Vol. 915, Springer-Verlag, pp. 394 – 409, 1995. - K. Nakagawa, K. Nakahara, T. Suzuki and T. Ida, Lazy Narrowing Abstract Machine, IEICE Transactions on Information and Systems, Vol. J78-D-1, No. 5, pp. 467 – 477, 1995. (in Japanese)
- T. Suzuki, A. Middeldorp
and T. Ida, Level-Confluence of Conditional Rewrite Systems with Extra
Variables in Right-Hand Sides, Proceedings of the 6
^{th}International Conference on Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science, Vol. 914, Springer-Verlag, pp. 179 – 193, 1995. - K. Nakahara, A.
Middeldorp and T. Ida, A Complete Narrowing Calculus for Higher-Order
Functional Logic Programming, Proceedings of the 7
^{th}International Conference on Programming Languages: Implementations, Logics and Programs (PLILP’95), Lecture Notes in Computer Science, Vol. 982, Springer-Verlag, pp. 97 – 114, 1995.

**1994**

- M. Amamiya
*et al*., Research on Programming Languages for Massively Parallel Processing, Proceedings of International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN), pp. 443 – 451, 1994. - T. Ida and S. Okui, Outside-in Conditional Narrowing, IEICE Transactions on Information and Systems, Vol. E77-D, No. 6, pp. 631- 641, 1994.

1992

- T. Ida, A. Nakamura, T. Suzuki and K. Nakagawa Abstract Machine Approach to Operational Semantics of Prolog, Journal of Information Processing, Vol. 15, No. 4, pp. 545 – 553, 1992.
- M. J. Kim, C. S. Jhon and T. Ida, G-system: A Functionality-based Communication System Model for Parallel Processing, Information Processing 92, Vol. 1, Elsevier Science Publishers B.V. (North Holland), pp. 170 – 178, 1992.

1990

- T. Ida and T. Matsuno, Overview of MC/LISP, Journal of Information Processing, Vol. 13, No. 3, pp. 304 – 317, 1990.
- T. Ida, T. Matsuno and A. Nakamura, Implementing Lisp and Prolog on a Common Abstract Machine: A Practical Approach to Combining Functional and Logic Programming, Declarative systems, Elsevier Science Publishers B.V. (North Holland), pp. 227 – 252, 1990. (IFIP WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, 1988)

**1988**

- T. Ida, A. Aiba and Y. Toyama, T: A Simple Reduction Language Based on Combinatory Term Rewriting, Programming of Future Generation Computers, K. Fuchi and M. Nivat (eds.), Elsevier Science Publishers B.V. (North Holland), pp. 217 – 236, 1988.

1987

- T. Ida, An Interpretation of LISP by the Lambda Calculus and Cartesian Closed Categories with Implementation Consideration, Computer Software, Vol. 4, No.4, pp. 33 – 44, 1987. (in Japanese)

**1985**

- T. Ida and A. Konagaya, Comparison of Closure Reduction and Combinatory Reduction Schemes, RIMS Symposia on Software Science and Engineering II, Lecture Notes in Computer Science, Vol. 220, Springer-Verlag, pp. 261 – 291, 1985.

1984

- T. Ida and J. Tanaka, Functional Programming with Streams – part II -, New Generation Computing, Vol. 2, No. 3, pp. 261 – 275, 1984.

1983

- T. Ida, Some FP algebra with Currying Operation, Information Processing Letters, Vol. 17, No. 5, pp. 259 – 261, 1983.
- T. Ida and J. Tanaka, Functional
Programming with Streams, Information Processing 83: Proceedings of the IFIP 9
^{th}World Computer Congress, pp. 265 – 270, 1983.

1982

- E. Ida, T. Soma, N. Inada, T. Ida, M. Idesawa, K. Hiraki, N. Suzuki, K. Shimizu and B. Philipov, Design of a Lisp Machine FLATS, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, pp. 208 – 215, 1982.

1981

- T. Ida and K. Itano, Associative Descriptor Scheme – for the Exploitation of Address Arithmetic in Lisp, Journal of Information Processing, Vol. 4, No. 3, pp. 147 – 151, 1981.
- T. Soma, T. Ida, N. Inada and M. Idesawa, The Virtual Plane Concept in Image Processing, Real-time/Parallel Computing Image Analysis (Eds. M. Onoe et al.), Plenum Press, pp.193 – 202, 1981.
- K. Itano and T. Ida, Software Fault Detector for Microprocessors, Joint Proceedings of Sigsmall Symposium on Small Systems and Sigmod Workshop on Small Data Base Systems, pp. 64 – 70, 1981.

**1980**

- T. Ida, Hashing Hardware and its Application to Symbol Manipulation, Proceedings of the International Workshop on High-level Language Computer Architecture, Fort Lauderdale, pp. 99 – 107, 1980.

**1979**

- E. Goto, T. Ida, K.
Hiraki, Suzuki and N. Inada, FLATS, a Machine for Numerical, Symbolic and
Associative Computing, Proceedings of the 6
^{th}Annual Symposium on Computer Architecture sponsored by the IEEE Computer Society and ACM, pp. 102 – 110, 1979.

**1978**

- T. Ida and E. Goto, Overflow Free and Variable Precision Computing in FLATS, Journal of Information Processing, Vol. 1, No. 3, pp. 140 – 142, 1978.
- T. Ida and E. Goto, Parallel Hash Algorithms for Virtual Key Index Tables, Journal of Information Processing, Vol. 1, No. 3, pp. 130 – 137, 1978.
- T. Ida and E. Goto, Analysis of Parallel Hashing Algorithms with Key Deletion, Journal of Information Processing, Vol. 1, No. 1, pp. 25 – 32, 1978.

**1977**

- T. Ida and E. Goto, Performance of a Parallel Hash Hardware with Key Deletion, Information Processing 77, North Holland, pp. 643 – 647, 1977．
- E. Goto, T. Ida and T. Gunji, Parallel Hashing Algorithms, Information Processing Letters, Vol. 6, No. 1, pp. 8 – 13, 1977.

**1972**

- S. Kawai, E. Goto, M. Sassa, K. Itano, T. Ida and M. Yasumura, A Graphic System with Halftone and Area Coloring Capabilities, First USA-JAPAN Computer Conference Proceedings, pp. 320 – 324, 1972.

Publications – Book

Author

- Theories of Computation Models, Iwanami Lecture Series of Software Science, Vol. 12, Iwanami Shoten, 386 pages, 1991
- New Trends of Programming Languages, Lecture Series in Computer Science/Software Engineering, Vol. 2, Kyoritu Publishing Co., 262 pages, 1988.
- Introduction to Models of Computation: From Turing Machine to Lambda Calculus, Saiensusha, 125 pages, 2006. (with M. Hamana)

Editor

- The Second Fuji International Workshop on Functional and Logic Programming, World Scientific, 1997. (with A. Ohori and M. Takeichi)
- Multi-Paradigm Logic Programming, 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)
- New Programming Paradigm- 2. Kyoritsu Publishing Co., 1990 (with Jiro Tanaka)
- New Programming Paradigm, Kyoritsu Publishing Co., 1989

**Award and Grants**

- Best Paper Award, Information Processing Society of Japan, 1979
- ACM Program Contest: The Founders Award, 2007
- Best Paper Award, Japan Society of Software Science and Technology, 2012
- Twenty-eight research grants awarded as a chief investigator from Japan Society of Promotion of Science, and Japanese Ministry of Education, Culture, Sports, Science and Technology in the area of computational origami, symbolic computation. declarative programming and formal reasoning

**Teaching **

- LISP Programming (undergraduate level)
- Art of Programming (undergraduate level)
- Models of Computation (both graduate and undergraduate levels)
- Model Checking (graduate level)

**Tetsuo
Ida’s contribution in research and education (until 2012)**

Tetsuo Ida studied at Department of Physics, University of Tokyo at the time when no computer science department existed in Japan. He studied under the supervision of Prof. E. Goto, one of the pioneers in computing. In 1975, he joined the computer science group of RIKEN (Institute of Physical and Chemical Research). There he worked with Prof. Goto in symbolic computation. One of the achievements of the research group was the construction of a machine called FLATS, a dedicated machine for symbolic computation. He worked on parallel hashing algorithms for symbolic computation and designed hashing hardware that was integrated to FLATS machine.

Since then he has been active in many aspects of symbolic computation research; semantics of programming languages, rewriting, and systems and algorithms for symbolic computation.

Since he joined the faculty of University of Tsukuba in 1988, he focused on research in theoretical aspects of symbolic computation. He has been leading a research group called SCORE (Symbolic Computation Research Group). He was one of the researchers who observed the importance of equational reasoning and solving in the design of programming languages for symbolic computation. He designed and implemented narrowing calculi for symbolic computation. The narrowing calculi are the engines of constraint functional logic programming language called CFLP, which his group developed in the 1990s.

His research interest includes networked symbolic computation, declarative programming and term rewriting until around the beginning of the year of 2005. In 2002, he started a research on computational origami, as an application of constraint programming and geometrical theorem proving. In particular, he studied origami (paper fold) from constructive and proving point of view. His previous experiences with modeling programs by rewriting and developing symbolic computation algorithms led him to successful integration of the knowledge about origami – folklore, that of non-standard geometry and traditional practice, into a well-formed system of origami fold/proving environment called Eos (e-origami system). The development of Eos has been continued until now with the grants provided by JSPS (Japan Society for Promotion of Science).

He is also active internationally in organizing forums for symbolic computation and more broadly in software science and technology. He is one of the international contributors to SYNASC, Romanian initiative to promote research in symbolic and numeric computing from the beginning. He has been working with Romanian researchers and Ph.D. students and published many papers with them. Together with Asian researchers in the field of programming languages and systems, he established Asian Association for Software Foundation (AAFS). He also contributed greatly to the promotion of scientific exchanges between Japan and Tunisia.

From the start of the study of origami as geometrical objects, he recognizes the importance of international cooperation since origami has interesting aspects that spans mathematics, i.e. geometry, engineering and art.