Ida Tetsuo

Researcher's full information

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...