IDA Tetsuo
- Articles
- Lazy Narrowing Calculus and Equational Problem Solving
井田 哲雄
International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '99), 1999-08 - Transformation of Logical Specification into IP-formulas
Qiang Li; Yike Guo; and Tetsuo Ida; +井田 哲雄
The Third International Mathematica Symposium (IMS '99) Computational Mechanics Publications, 1999-08 - CFLP:a Mathematica Implementation of a Distributed Constraint Solving System (共著)
Marin; M; Ida; T; and Schreiner; W; +井田 哲雄
The Third International Mathematica Symposium (IMS'99) Computational Mechanics Publications, 1999-08 - 等式付き書換え系における多ソート不変性(共著）
大崎; Middeldorp; A; and 井田; ; +井田 哲雄
コンピュータソフトウェア/16(1)/p.33-45, 1999 - A distributed Constraint Solving System for Functional Logic Programming (共著)
Marin; M; Ida; T; and Schreiner; W; +井田 哲雄
Proceedings of 1999 Asia-Pacific Symposium on Information and Telecommunication Technologies, Ulaanbaatar, Mongolia/p.151-155, 1999 - On Reducing the Search Space of Higher-Order Lazy Narrowing (共著)
Mircea Marin; Tetsuo Ida; and Taro Suzuki
Proceedings of FLOPS '99, Lecture Notes in Computer Science/1722/p.225-240, 1999 - LNCA:A Lazy Narrowing Calculus for Applicative Term Rewriting Systems (共著）
Marin; M; Ida; T; Middeldorp; A; and Yanagi; T; +井田 哲雄
Technical Report, University of Tsukuba/ISE-TR-99(158)/p.30, 1999 - Cooperative Constraint Functional Logic Programming
Mircea Marin; Tetsuo Ida; Taro Suzuki
International Symposium on Principles of Software Evolution(ISPSE 2000)/p.223-230, 2000-11 - Cooperative Constraint Functional Logic Programming
Ida; T; Marin; M; and Suzuki; +井田 哲雄
In 9th International Workshop on Functional and Logic Programming(WFLP2000),Benicassim,Spain/p.382-390, 2000 - Modelling Integer Programming with Logic: Language and Inplimentation
井田 哲雄
IEICE Transactions of Fundamentals of Electronics, Communications and Computer Sciences/E83-A(8)/p.1673-1680, 2000 - Higher-order Lazy Narrowing Calculi in Perspective
井田 哲雄
In 9th International Workshop on Functional and Logic Programming(WFLP2000)/p.238-253, 2000 - An Open Environment for Cooperative Equational Solving
井田 哲雄
International Software Engineering Symposium 2001(ISES'01), Wuhan University Journal of Natural Sciences/6(1-2)/p.169-174, 2001 - CFLP: a Mathematica Implementation of a Distributed Constraint Solving System
井田 哲雄
The Mathematica Journal/8(2)/p.287-300, 2001 - Collaborative Constraint Functional Logic Programming in an Open Environment
井田 哲雄
Analele Universitatii din Timisoara/XXXIX Fasc.Special,2001/p.Seria Mathematica-Inform, 2001 - Minimised Geometric Buchberger Algorithm for Integer Programming
井田 哲雄
Annals of Operations Research,a journal version of theISSAC97 paper/108/p.87- 109, 2001 - An Open Environment for Cooperative Scientific Problem Solving
井田 哲雄
Proceedings of the fourth International Mathematica Symposium (IMS 2001)Chiba Japan/p.71-78, 2001 - Higher-order Lazy Narrowing Calculus: a Solver for Higher-order Equations
井田 哲雄
Conference on Computer Aided Systems (EUROCAST 2001), Lecture Notes in Computer Science/2178/p.478-493, 2001 - Functional Logic Origami Programming (Invited Talk)
井田 哲雄
4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing/p.2, 2002 - Equational Reasoning in Programming
井田 哲雄
Proceedings of the 7th Asian Technology Conference in Mathematics 2002/(22 - 34), 2002 - Open CFLP: An Open System for Collaborative Constraint Functional Logic Programming
井田 哲雄
Proc. 11th International Workshop on Functional and (constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR/p.229 - 232, 2002 - Reducing Search Space in Solving Higher-Order Equations
井田 哲雄
Lecture Notes in Artificial Intelligence/2281/p.19 - 30, 2002 - Constraint Functional Logic Programming for Origami Construction
井田 哲雄
Analele Universitatii din Timisoara de Vest/XL/p.93-112, 2002 - Constructing Origami on the Internet
井田 哲雄
The 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computation 2003/((SYNASC03))/p.P. 40, 2003 - Origami Programming Environment
井田 哲雄
Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposiu(IMS2003)/p.413 -420, 2003 - Functional Logic Origami Programming with Open CFLP
井田 哲雄
Challenging the Boundaries of Symbolic Computation Proceedings of 5th International Mathematica Symposium(IMS2003)/p.397- 404, 2003 - more...
- Lazy Narrowing Calculus and Equational Problem Solving