IDA Tetsuo

Researcher's full information

Articles
  • Collaborative Constraint Functional Logic Programming System in an Open Environment
    井田 哲雄
    IEICE Transactions on Information and Systems/E86-D(1)/p.63-70, 2003
  • Proving and Constraint Solving in Computational Origami
    井田 哲雄
    Proceeding of the 7th International Symposium on Artificial Intelligence and Symbolic Computation(AISC2004),Lecture Notesin Artificial Intelligence/3249/p.132-142, 2004-09
  • A System for Computational Origami-progress report
    井田 哲雄
    Proceedings of the 6th International Mathematica　Symposium（IMS2004), 2004
  • MathGridLink-Connecting Mathematica to "the Grid"
    井田 哲雄
    Proceedings of the 6th International Mathematica Symposium (IMS2004), 2004
  • Morley's Theorem Revisited through Computational Origami
    Tetsuo Ida; Hidekazu Takahashi; Dorin Tepeneu; Mircea Marin
    Proceedings of 7th International Mathematica Symposium (IMS 2005), 2005-08
  • Progress of Log, a rule-based programming system
    Mircea Marin; Tetsuo Ida
    Proceedings of 7th International Mathematica Symposium (IMS 2005), 2005-08
  • Rule-based programming with Log
    Mircea Marin; Tetsuo Ida
    Proceedings of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005-09
  • A Rule-based Framework for Automated Reasoning
    Mircea Marin; Tetsuo Ida
    Proceedings of the 7th Asian Symposium on Computer Mathematics (ASCM 2005)/p.28-31, 2005-12
  • Computational Origami System Eos
    Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Asem Kasem; Fad...
    Proceedings of 4th OSME International Conference/p.69, 2006-09
  • Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami
    Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Fadoua Ghourab...
    Proceedings of the Second International Congress on Mathematical Software - ICMS 2006/4151/p.361-372, 2006-09
  • Tiers of webOrigami Programming
    井田 哲雄
    Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
  • Logic, Algebra and Geometry in Computational Origami
    井田 哲雄
    Thailand International Conference on 21st Century Information Technology in Mathematicsl Education, 2006, 2006
  • Computational Origami of a Morley's Triangle
    Tetsuo Ida; Mircea Marin; Hidekazu Takahashi
    Proceedings of 4th International Conference on Mathematical Knowledge Management (MKM 2005)/3863/pp.267-282, 2006-01
  • Modelling Origami for Computational Construction and Beyond
    Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Fadoua Ghourabi
    International Conference on Computational Science and Its Applications 2007 (ICCSA 2007) Lecture Notes in Computer Sciences(4151)/p.653 - 665, 2007
  • Computational Origami Construction as Constraint Solving and Rewriting
    Tetsuo Ida; Mircea Marin; Hidekazu Takahashi; Fadoua Ghourabi
    16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007). R. Echahed/p.139-152, 2007
  • Modeling Origami and Beyond
    井田 哲雄
    Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Institute e-Austria/p.8, 2007
  • A System of Web Services for Symbolic Computation
    井田 哲雄
    Proceedings of the 5th Asian Workshop on Foundations of Software, edited by Tetsuo Ida, Qingshan Jiang, and Dongming Wang. Beihang University/p.145-152, 2007
  • Models for Computational Origami(Invited Talk)
    Tetsuo Ida
    ADG2008, 2008-09
  • Experiences with Web Environment Origamium: Examples and Applications
    Asem Kasem; Tetsuo Ida
    Proceedings of the Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)/p.109 - 122, 2008
  • Computational Origami Environment on the Web
    Asem Kasem; Tetsuo Ida
    Frontiers of Computer Science in China/2(1)/p.39-54, 2008
  • Computational Origami Construction as Constraint Solving and Rewriting
    Tetsuo Ida; Mircea Marin; Hidekazu Takahashi; and Fad...
    *EMPTY*/216/p.31-44, 2008
  • Graph Rewriting in Computational Origami
    Tetsuo Ida; Hidekazu Takahashi
    *EMPTY*/p.69-80, 2008
  • WEBEOS: A System for Origami Construction and Proving on the Web
    Tetsuo Ida; Asem Kasem
    The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and CYBERNETICS/2/p.53－59, 2008
  • Computational Origami of Angle Quintisection
    Fadoua Ghourabi; Tetsuo Ida; and Hidekazu Takahashi
    Proceedings of the Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)/p.57-68, 2008
  • Graph Rewriting in Computational Origami
    Tetsuo Ida
    Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008)/p.20-27, 2009
  • more...