IDA Tetsuo

J-GLOBAL         Last updated: May 21, 2012 at 11:49
 
Avatar
Name
IDA Tetsuo
Degree
Master of Science(The University of Tokyo), Master of Science, Doctor of Science(The University of Tokyo)

Research Areas

 
 

Academic & Professional Experience

 
 
   
 
Professor,West University of Timisoara, University of Tsukuba Graduate School of Systems and Information Engineering, Graduate School of Systems and Information Engineering Computer Science
 
1975
 - 
1979
 Institute of Physical and Chemical Research, Junior Researcher
 
1979
 - 
1988
 Institute of Physical and Chemical Research, Researcher
 
1988
 - 
1992
 University of Tsukuba, Associate Professor
 
1989
 - 
1990
 JSPS visiting researcher at Research Institute for Symbolic Computation, Johannes Kepler University
 

Education

 
 
 - 
1975
Department Physics, Graduate School, Division of Science, The University of Tokyo
 
 
 - 
1973
University of Essex
 
 
 - 
1971
Faculty of Liberal Arts, The University of Tokyo
 

Committee Memberships

 
1998
   
 
IFIP WG 1.6  
 
1994
   
 
JSSST  councilor
 

Awards & Honors

 
1979
IPSJ Best Paper Award
 

Misc

 
Journal of Symbolic Computation   45(4): 393-413.   2010
Origami Fold as Algebraic Graph Rewriting
Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009)   1132-1138   2009
Symbolic and Algebraic Methods in Computational Origami
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation   3-4   2009
Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions
Proceedings of the Tunisia - Japan Workshop on Symbolic Computation in Software Science (SCSS 2009),   90-92   2009
Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008)   20-27   2009

Books etc

 
Artificial Intelligence and Symbolic Computation
2006   
Second Fuji International Workshop on Functional and Logic Programming
World Scientific World ScientificWorld Scientific   1997   
Fuji International Workshop on Functional and Logic Programming
World Scientific World ScientificWorld Scientific   1996   
Multi-paradigm Logic Programming Proceedings of the JICSLP 96 Post-Conference Workshop
Technical University Berlin Report Technical University Berlin ReportTechnical University Berlin Report   1996   
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)   1990   

Works

 
Verification and Optimization of Open Computation
2003 - 2005
Global computing with networked equational constraint solvers
2000
Foundations of distributed applications
2000 - 2000
Distributed coordinated symbolic computation
1999 - 1999
Logic for knowledge discovery
1998 - 2001

Research Grants & Projects

 
functional logic programming
computation model
global computing
symbolic computation