• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Ida Tetsuo  井田 哲雄

ORCIDConnect your ORCID iD *help
… Alternative Names

IDA Tetsuo  井田 哲雄

井出 哲雄  イダ テツオ

Less
Researcher Number 70100047
Other IDs
External Links
Affiliation (Current) 2025: 筑波大学, システム情報系(名誉教授), 名誉教授
Affiliation (based on the past Project Information) *help 2016 – 2022: 筑波大学, システム情報系(名誉教授), 名誉教授
2012 – 2015: 筑波大学, 名誉教授
2010 – 2011: 筑波大学, システム情報系, 教授
2010: 筑波大学, 犬学院・システム情報工学研究科, 教授
2007 – 2010: University of Tsukuba, Graduate School of Systems and Information Engineering, Professor … More
2007: University of Tsukuba, 大学院・シスムテ情報工学研究科, 教授
2006: 筑波大学, 大学院システム情報工学研究科, 教授
2005: 筑波大学, 大学院・システム情報工学研究科, 教授
1992 – 2002: Institute of Information Sciences and Electronic University of Tsukuba, Professor, 電子・情報工学系, 教授
1998 – 1999: 筑波大学, 電子情報系, 教授
1997 – 1999: 筑波大学, 電子情報工学系, 教授
1992: 筑波大学, 電子情報工学系, 教授
1991: 筑波大学, 電子・情報工学系, 助教授
1990 – 1991: Associate Professor, Institute of Information Sciences and Electronics, Universi, 電子情報工学系, 助教授
1988: Institute of Information Sciences and Electronics, University of Tsukuba, 電子情報工学系, 助教授
1986 – 1987: 理化学研究所, 情報科学研究室, 研究員
1986: 理研, その他, 研究員 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Fundamental theory of informatics / Informatics / Theory of informatics / Software
Except Principal Investigator
Informatics / 計算機工学 / 計算機科学 / Software
Keywords
Principal Investigator
記号計算 / 計算モデル / Mathematica / 計算折紙 / ソフトウェア検証 / 定理自動証明 / 折紙計算論 / 求解完全性 / ナローイング / completeness … More / computation model / narrowing calculus / 計算理論 / 自動定理証明 / 計算幾何 / 制約問題 / ナローイング計算系 / 制約解消系 / 条件付き項書換え系 / ナロ-イング / constraint solving system / functional logic languages / CFLP / 関数論理型言語 / narrowing / declarative programming / 宣言型プログラミング / 関数・論理型言語 / Prolog / Lisp / プログラム変換 / 論理型プログラミング / 関数型プログラミング / メタプログラミング / 幾何代数 / 立体モデル化 / 幾何定理自動証明 / Geometric Algebra / 立体折紙 / ソフトウェア学 / 情報基礎 / グロブナ基底 / 高階遅延ナローイング / 項書換え系 / 宣言型言語 / 記号代数 / 幾何定理証明 / 折紙 / 折紙の形式化 / 折紙定理証明 / 書き換えシステム / 記号代数計算 / 計算折紙の理論とソフトウェアシステム / 折紙幾何学 / geometric algebra / 計算幾何学 / 計算折紙システム / 折紙プログラミング / カルテシアン閉カテゴリ / プログラム変形 / メタ計算 / LISP / データ型 / solvers / rewrite systems / web software / web services / computational origami / symbolic computation / software verification / automated theorem proving / 知識処理 / グロブナー基底 / グリッド / ウェブソフトウェアシステム / 計算折り紙 / 求解系 / 書換系 / ウエブソフトウエアシステム / ウェブサービス / 計算圻り紙 / ソフトウエア検証 / collaborative system / open CFLP / CORBA / 分散協調制約解決 / オープンコンピューティング / conditional rewriting / higher-order functional-logic language / 安全性 / 高階関数論理型言語 / 完全性 / 高階関数・論理型言語 / constraint solving / distributed environment / human interface / functional-logic language / multimedia / ヒューマンインターフェイス / 制約解消 / 分散環境 / ヒューマンインタフェース / ナロ-イング計算系 / 関数論理融合型言語 / マルチメディア / semantics of programs / modular property / level-confluence / functional-logic programming language / conditional rewrite system / 条件付項書換え系 / 関数 論理型言語 / 条件付き書換え系 / プログラム意味論 / モジュラー性 / 階層合流性 / 宣言型プロクラミング / 条件付き換え系 / Program transformation from Prolog to Lisp / Integration of functional and logic programming / Narrowing / Logic Programming / Functional programming / 遅延ナロ-イング / プログラミング変換 / 関数、論理型プログラミングの融合 / 関数・論理型プログラミングの融合 / 論理的プログラミング / 項書換えシステム / プログラム検証 / 折紙ソフトウェア / 定理証明支援系 / 折紙の理論 / 折紙幾何定理の自動証明 / 計算モデル論 / グラフ書換系 / 制約計算 / 検証支援系 / グラフ書き換え / グロブナ基底計算 / 代数的グラフ書換系 / 自動幾何定理証明 / 書換え系 / 計算折紙論 / 検証 / ソフトウェア / ウェブ / 球解完全性 / 選択関数 / 宣言型プログラム / 整数ラベル付け / MGBA / Grobner基底 / ILIN / 整数ラベル付けアルゴリズム / 論理式 / 線形整数計画問題 / 最適化問題 / 超並列宣言型言語 / データ駆動 / 要求駆動 / 並列粒度 / 並列処理 / 関数・論理型プログラミング / 項書換之計算系 … More
Except Principal Investigator
言語処理系 / 計算機ア-キテクチャ / Programming System / Interpreter / Computer Architecture / Language System / VISL Design / LSI向きハードウェア設計 / 構文不インタプリタ / パーサ / レジスタ転送レベルのハードウェア設計 / 言語処理系のハードウェア化 / プログラミングサポート / 対話型プログラミングシステム / LSI設計 / 構文木インタリア / パ-サ / スキャナ / レジスタ転送レベルのハ-ドウェア設計 / 言語処理系のハ-ドウェア化 / プログラミングサポ-ト / プログラミングシステム / インタプリタ / VLSI設計 / parallel sematic analysis / hardware parser / hardware scanner / hardware compiler / compiler / リングバス / レジスタ転送レベルシミュレーション / ハードウエア記述言語 / パイプラインアーキテクチャ / コード生成系 / 構文解析プロセッサ / 字句解析プロセッサ / ハードウエアコンパイラ / 手続き型言語 / 並列意味処理アルゴリズム / ハードウェアパーサ / ハードウェア字句解析器 / ハードウェアコンパイラ / コンパイル / completeness / termination / modularity / call-by-need strategies / symbolic computation / narrowing / term rewriting / 変換法 / 文脈依存書き換え / 完全性 / 停止性 / モジュラー性 / 必要呼び計算 / 記号計算 / ナローイング / 項書き換え / deduction / model checking / knowledge acquisition / logic / philosophy of science / knowledge discovery / 分散計算環境 / 古典論理 / モデル・チェッキング / 環境計算 / 数理論理学 / 演繹 / モデル検査 / 知識獲得 / 論理学 / 科学哲学 / 知識発見 / linear logic / term rewriting system / functional logic programming / temporal logic / reactive system / verification / sound parallelization / evolutionary programming mechanism / 適応的発展機構 / 発展的計算モデル / 検証情報 / 検証系 / 実時間論理 / 書換え型メタ計算モデル / 論理・関数型プログラミング / ソフトウェア仕様記述 / 発展的ソフトウェア / 線形論理 / 項書き換え系 / 関数論理型プログラミング / 時相論理 / リアクティブシステム / 検証 / 健全並列化 / 発展的プログラミング機構 / LL and LR Parsing / Coupled Context-Free Grammar / Attribute Grammar / Programming Languages / Data Structure / 正規表現 / 並列実行 / LR構文解析 / 多入力属性文法 / プログラミング言語 / 属性文法 / 組文脈自由文法 / parallel processing algorithm / parallel processing language / polyprocessor system / parallel processing architecture / computer architecture / 並列処理アルゴリズム / 並列処理言語 / ポリプロセッサシステム / 並列処理ア-キテクチャ / ソフトウェア工学 / ソフトウェア開発効率化・安定化 / 情報基礎 / ルールベースプログラミング / XML / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / 構成的プログラミング / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア Less
  • Research Projects

    (29 results)
  • Research Products

    (126 results)
  • Co-Researchers

    (31 People)
  •  Development of methods for computational origami based on geometric algebraPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2016 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Theory of informatics
    • Research Institution
      University of Tsukuba
  •  Towards 3D computational oeigami - theory and software developmentPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Theory of informatics
    • Research Institution
      University of Tsukuba
  •  Formalization of origami and origami-programming based on algebraic graph rewritingPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      University of Tsukuba
  •  Modeling and verification of web software based on theories symbolic computationPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      University of Tsukuba
  •  Applications of rule-based programming to verification and transformation of XML

    • Principal Investigator
      MARIN Mircea
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  折紙計算論に基づく折り可能性の考究と折紙手法発見Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      University of Tsukuba
  •  記号計算の手法を用いた折り紙計算論の構築Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      2005 – 2006
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      University of Tsukuba
  •  Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and ReducesPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba
  •  宣言型プログラムを対象とする高階項書換え系の計算理論Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Global computing by networked equational constraint solversPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Reduction Strategy

    • Principal Investigator
      MIDDELDORP Aart
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  記号計算に基づいた並列最適化問題の研究Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Logic of Knowledge Discovery

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kyoto University
  •  Functional Logic Programming with Distributed Constraint Solving SystemPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Research on Theoretical Aspects of Evolutionary Software

    • Principal Investigator
      ITO Takayasu
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  computation model for higher-order functional-logic languagesPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  design and implementation of multimedia programming environment with functional-logic languagesPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Application of Conditional Rewrite Systems to Declarative Programming LanguagesPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  書換え計算モデル論に基づく宣言型言語の並列性の解析および制御Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      University of Tsukuba
  •  高機能高品質ソフトウエアの基礎理論に関する研究

    • Principal Investigator
      ITO Takayasu
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  書換え計算モデル論に基づく宣言型言語の並列性の解析および制御Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      University of Tsukuba
  •  項書換え計算モデルのプログラミングへの応用Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      University of Tsukuba
  •  Systematic Construction of Declarative Programming SystemsPrincipal Investigator

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      University of Tsukuba
  •  Development of the polyprocessor system with programmable connection and the parallel proramming language

    • Principal Investigator
      ITANO Kozo
    • Project Period (FY)
      1989 – 1991
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      計算機工学
    • Research Institution
      University of Tsukuba
  •  A Practical Processor for a Programming Language Based on Coupled Contex-Free Grammar

    • Principal Investigator
      NAKATA Ikuo
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B).
    • Research Field
      Informatics
    • Research Institution
      Institute Information Sciences and Electronics University of Tsukada
  •  Research on Hardware Design of a Language Processing System Interactive Pogramming

    • Principal Investigator
      ITANO Kozo
    • Project Period (FY)
      1988 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      University of Tsukuba
  •  メタ計算系における型導入によるプログラム変形導出Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      University of Tsukuba
      The Institute of Physical and Chemical Research
  •  メタ計算系に関する研究Principal Investigator

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      The Institute of Physical and Chemical Research
  •  Realization of a high speed hardware compile engine for multiple languages

    • Principal Investigator
      ITANO Kozo
    • Project Period (FY)
      1986 – 1988
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      計算機工学
    • Research Institution
      University of Tsukuba

All 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other

All Journal Article Presentation Book

  • [Book] An Introduction to Computational Origami2020

    • Author(s)
      Tetsuo Ida
    • Total Pages
      217
    • Publisher
      Springer
    • ISBN
      9783319591889
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Book] Post-Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September 24-27, 20162016

    • Author(s)
      James H. Davenport, Viorel Negru, Tetsuo Ida,Tudor Jebelean, Dana Petcu,Stephen M. Watt,Daniela Zaharie
    • Total Pages
      476
    • Publisher
      {IEEE} Computer Society
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Book] Post-Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September2016

    • Author(s)
      James H. Davenport, Viorel Negru, Tetsuo Ida,Tudor Jebelean, Dana Petcu,Stephen M. Watt,Daniela Zaharie
    • Total Pages
      476
    • Publisher
      IEEE, Computer Society
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Book] Automated Deduction in Geometry, 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers, Series: Lecture Notes in Computer Science, Vol. 7993 Subseries: Lecture Notes in Artificial Intelligence2013

    • Author(s)
      Tetsuo Ida and Jacques Fleuriot (Eds.)
    • Total Pages
      199
    • Publisher
      Springer Verlag
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Book] WEBEOS:A System for Origami Construction and Proving on the Web2008

    • Author(s)
      Tetsuo Ida and Asem Kasem
    • Total Pages
      5
    • Publisher
      The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and CYBERNETICS, Tecumseh, Canada
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Book] 計算モデル論入門-チューリング機械からラムダ計算へ-2006

    • Author(s)
      井田哲雄, 浜名誠
    • Total Pages
      125
    • Publisher
      サイエンス社
    • Data Source
      KAKENHI-PROJECT-17650003
  • [Book] Artificial Intelligence and Symbolic Computation, 8th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2006)2006

    • Author(s)
      Jacques Calmet・Tetuso Ida・Dongming Wang
    • Total Pages
      268
    • Publisher
      Springer
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Book] Artificial Intelligence an Symbolic Computation, 8th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2006)2006

    • Author(s)
      Jacques Calmet, Tetsuo Ida, Dongming Wang
    • Total Pages
      268
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-17650003
  • [Book] Artificial Intelligence and Symbolic Computation, 8the International Conference on Artificial Intelligence and Symbolic Computation(AISC 2006)2006

    • Author(s)
      Jacques Calmet, Tetsuo Ida, Dongming Wang
    • Total Pages
      268
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] A New Modeling of Classical Folds in Computational Origami2021

    • Author(s)
      Tetsuo Ida and Hidekazu Takahashi
    • Journal Title

      EPTCS

      Volume: 352 Pages: 41-53

    • DOI

      10.4204/eptcs.352.5

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Journal Article] Foreword, Formalization of geometry, automated and interactive geometric reasoning2019

    • Author(s)
      Pascal Schreck, Tetsuo Ida and Laura Kovacs
    • Journal Title

      Annals of Mathematics nd Artificial Intelligence

      Volume: 85 Issue: 2-4 Pages: 71-72

    • DOI

      10.1007/s10472-019-9617-2

    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Journal Article] Models of computation for origami2018

    • Author(s)
      Tetsuo Ida
    • Journal Title

      SYNASC 2017, post-proceedings

      Volume: 印刷中

    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Journal Article] Origami folds in higher-dimension2017

    • Author(s)
      Tetsuo Ida、Stephen Watt
    • Journal Title

      EPiC Series in Computing

      Volume: 45 Pages: 83-95

    • DOI

      10.29007/n76q

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Journal Article] A New Formalization of Origami in Geometric Algebra2016

    • Author(s)
      Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi
    • Journal Title

      Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry, Strasbourg, France, June 27-29, 2016

      Volume: hal-01334334

    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Journal Article] Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami2016

    • Author(s)
      Tetsuo Ida
    • Journal Title

      Proc. SYNASC 2017

      Volume: - Pages: 23-28

    • DOI

      10.1109/synasc.2016.017

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25330007, KAKENHI-PROJECT-16K00008
  • [Journal Article] A New Formalization of Origami in Geometric Algebra2016

    • Author(s)
      Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi
    • Journal Title

      Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry

      Volume: hal-01334334

    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Journal Article] Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons2015

    • Author(s)
      Tetsuo Ida and Fadoua Ghourabi and Kazuko Takahashi
    • Journal Title

      Origami6: Proceedings of the Sixth International Meeting on Origami Science, Mathematics, and Education (6OSME). PartI: Mathematics, American Mathematical Society

      Volume: 1 Pages: 55-66

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Journal Article] Polygonal Knot by Computational Origami2015

    • Author(s)
      Tetsuo Ida and Fadoua Ghourabi
    • Journal Title

      Symmetry: Culture and Science

      Volume: 26 Pages: 171-187

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Journal Article] Formalizing Polygonal Knot Origami2014

    • Author(s)
      Tetsuo Ida and Fadoua Ghourabi and Kazuko Takahashi
    • Journal Title

      Journal of Symbolic Computation

      Volume: 69 Pages: 93-108

    • DOI

      10.1016/j.jsc.2014.09.031

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-25330007, KAKENHI-PROJECT-25330274
  • [Journal Article] Interactive vs. Automated Proofs in Computational Origami, Proceedings of 14thInternational Symposium on Symbolic and Numeric Algorithmsfor Scientific Computing (SYNASC 2012)2012

    • Author(s)
      Ida, T
    • Journal Title

      IEEE Computer Scociety

    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Origami Axioms and Circle Extension2011

    • Author(s)
      Kasem. A, Ghourabi. F, Ida. T
    • Journal Title

      Proceedings of the 26th Symposium on Applied Computing (SAC 2011)

      Pages: 1106-1111

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Proof Assistant Decision Procedures for Formalizing Origami2011

    • Author(s)
      Kaliszyk. C, and Ida. T
    • Journal Title

      Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM' 11))

      Volume: 6824 Pages: 45-57

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Proof Documents for Automated Origami Theorem Proving2011

    • Author(s)
      Ghourabi. F, Ida. T, and Kasem. A
    • Journal Title

      Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

      Volume: 6877 Pages: 78-97

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Proof Documents for Automated OrigamiTheorem Proving2011

    • Author(s)
      Ghourabi. F, Ida. T, and Kasem. A
    • Journal Title

      Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

      Volume: 6877巻 Pages: 78-97

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Origami Axioms and Circle Extension2011

    • Author(s)
      Kasem. A, Ghourabi. F, Ida. T
    • Journal Title

      Proceedings of the 26th Symposium on Applied Computing (SAC 2011)

      Pages: 1106-1111

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Morley's theorem revisited : Origami construction and automated proof2011

    • Author(s)
      Ida. T, Kasem. A, Ghourabi. F, Takahashi. H
    • Journal Title

      Journal of Symbolic Computation

      Volume: vol. 46 Pages: 162-170

    • NAID

      120007130912

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Proof Documents for Automated Origami Theorem Proving2011

    • Author(s)
      Ghourabi. F, Ida. T, Kasem. A
    • Journal Title

      Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

      Volume: 6877 Pages: 78-97

    • DOI

      10.1007/978-3-642-25070-5_5

    • ISBN
      9783642250699, 9783642250705
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-10F00044, KAKENHI-PROJECT-22650001
  • [Journal Article] Morley's theorem revisited : Origami construction and automated proof2011

    • Author(s)
      Ida. T, Kasem. A, Ghourabi. F, Takahashi. H
    • Journal Title

      Journal of Symbolic Computation

      Volume: 46 Pages: 162-170

    • NAID

      120007130912

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Origami Axioms and Circle Extension2011

    • Author(s)
      Kasem. A, Ghourabi. F, and Ida. T
    • Journal Title

      Proceedings of the 26th Symposium onApplied Computing (ACM/SAC 2011)

      Pages: 1106-1111

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Morley's theorem revisited : Origami construction and automated proof2011

    • Author(s)
      Ida.T, Kasem.A, Ghourabi.F, Takahashi.H
    • Journal Title

      Journal of Symbolic Computation vol.46

      Pages: 162-170

    • NAID

      120007130912

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Proof Assistant Decision Procedures for Formalizing Origami2011

    • Author(s)
      Kaliszyk. C, and Ida. T
    • Journal Title

      Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM'11))

      Volume: 6824巻 Pages: 45-57

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Morley's theorem revisited: Origami construction and automated proof2011

    • Author(s)
      Ida. T, Kasem. A, Ghourabi. F, and Takahashi. H
    • Journal Title

      Journal of Symbolic Computation

      Volume: 46 Pages: 162-170

    • NAID

      120007130912

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Proof Assistant Decision Procedures for Formalizing Origami2011

    • Author(s)
      Kaliszyk. C, Ida. T
    • Journal Title

      Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM'11))

      Volume: 6824 Pages: 45-57

    • DOI

      10.1007/978-3-642-22673-1_4

    • ISBN
      9783642226724, 9783642226731
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-10F00044, KAKENHI-PROJECT-20300001, KAKENHI-PROJECT-22650001
  • [Journal Article] グラフ書換による計算折り紙のモデル化と実現2010

    • Author(s)
      高橋英和,井田哲雄
    • Journal Title

      コンピュータソフトウェア

      Volume: 27 Pages: 2-13

    • NAID

      10026468268

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting.2010

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi
    • Journal Title

      Journal of Symboli Computation 45(4)

      Pages: 393-413

    • NAID

      120007138181

    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2010

    • Author(s)
      Ida, T, Takahashi, H
    • Journal Title

      Journal of Symbolic Computation 45

      Pages: 393-413

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2010

    • Author(s)
      Tetsuo Ida and Hidekazu Takahashi
    • Journal Title

      Journal of Symbolic Computation

      Volume: 45(4) Pages: 393-413

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2010

    • Author(s)
      Ida, T, Takahashi, H
    • Journal Title

      Journal of Symbolic Computation 45

      Pages: 393-413

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500025
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Ida, T, Takahashi, H
    • Journal Title

      Proceedings of the 24th annual ACM, Symposium on Applied Computing(SAC 2009)

      Pages: 1132-1138

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Graph Rewriting in Computational Origami2009

    • Author(s)
      Ida, T
    • Journal Title

      Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing(SYNASC 2008)

      Pages: 20-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Graph Rewriting in Computational Origami2009

    • Author(s)
      Tetsuo Ida
    • Journal Title

      Proceedings of the 10th International Sympo sium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), IEEE

      Pages: 20-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Tetsuo Ida, Hidekaza Takahashi
    • Journal Title

      Proc. of 24th annual ACM Symposium on Applied Computing

      Pages: 1132-1138

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Tetsuo Ida, Hidekazu Takahas hi
    • Journal Title

      24th annual ACM, Symposium on Applied Computing (SAC 2009)

      Pages: 1132-1138

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions2009

    • Author(s)
      Ghourabi, F, Ida, T, Wang, D
    • Journal Title

      Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science(SCSS 2009)

      Pages: 90-92

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Tetsuo Ida, Hidekazu Takaha shi
    • Journal Title

      Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009)

      Pages: 1132-1138

    • NAID

      120007138181

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Symbolic and Algebraic Methods in Computational Origami2009

    • Author(s)
      Ida, T
    • Journal Title

      Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation

      Pages: 3-4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Symbolic and Algebraic Methods in Computational Origami : Invited Talk2009

    • Author(s)
      Tetsuo Ida
    • Journal Title

      In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)

      Pages: 3-4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2008

    • Author(s)
      Tetsuo Ida, Mircea Marin,Hidekazu Takahashi, Fadoua Ghourabi
    • Journal Title

      Electronic Notes in Theoretical Computer Science 216

      Pages: 31-44

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Computational Origami Environment on the Web2008

    • Author(s)
      Asem Kasem and Tetsuo Ida
    • Journal Title

      Frontiers of Computer Science in China 2

      Pages: 39-54

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Environment on the Web2008

    • Author(s)
      Asem Kasem and Tetsuo Ida
    • Journal Title

      Frontiers of Computer Science in China. 2

      Pages: 39-54

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] WEBEOS: A System for Origami Construction and Proving on the Web2008

    • Author(s)
      Tetsuo Ida, Asem Kasem
    • Journal Title

      The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and CYBERNETICS 2

      Pages: 53-59

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Computational Origami Construction as Colistraint Solving and Rewriting2008

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
    • Journal Title

      Electronic Notes in Theoretical Computer Science 216

      Pages: 31-44

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2008

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
    • Journal Title

      Electronic Notes in Theoretical Computer Science 216

      Pages: 31-44

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500025
  • [Journal Article] Computational Origami Environment on the Web2008

    • Author(s)
      Asem, Kasem・Tetsuo, Ida
    • Journal Title

      Frontiers of Computer Science in China 2

      Pages: 39-54

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] A System of Web Services for Symbolic Computation2007

    • Author(s)
      Monem Naifer, Asem Kasem and Tetsuo Ida
    • Journal Title

      Proceedings of the 5th Asian Workshop on Foundations of Software, Beihang University

      Pages: 145-152

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Modeling Origami and Beyond2007

    • Author(s)
      Tetsuo Ida
    • Journal Title

      Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society

      Pages: 13-13

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Modelling Origami for Computational Construction and Beyond2007

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Fadoua Ghourabi
    • Journal Title

      International Conference on Computational Science and Its Applications 2007(ICCSA 2007)Lecture Notes in Computer Science, Springer 4706

      Pages: 653-665

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] A System of Web Services for Symbolic Computation2007

    • Author(s)
      Monem, Naifer・Asem, Kasem・Tetsuo, Ida
    • Journal Title

      Proceedings of the 5th Asian Workshop on Foundations of Software, Beihang University

      Pages: 145-152

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami2007

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem
    • Journal Title

      Proceedings of the 22nd ACM Symposium on Applied Computing

      Pages: 767-772

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Journal Article] Logical and Algebraic view of Huzita's Origami Axioms with Applications to Computational Origami2007

    • Author(s)
      Fadoua, Ghourabi・Tetsuo, Ida・Hidekazu, Takahashi・Mircea, Marin・Asem, Kasem
    • Journal Title

      Prooceedings of the 22nd ACM Symposium on Applied Computing

      Pages: 767-772

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007

    • Author(s)
      Tetsuo, Ida・Mircea, Marin・Hidekazu, Takahashi・Fadoua, Ghourabi
    • Journal Title

      Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)

      Pages: 139-152

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Modeling Origami and Beyond2007

    • Author(s)
      Tetsuo, Ida
    • Journal Title

      Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society

      Pages: 13-13

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi
    • Journal Title

      Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WELP 2007)

      Pages: 139-152

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Modeling Origami and Beyond2007

    • Author(s)
      Tetsuo Ida
    • Journal Title

      Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society

      Pages: 13-13

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami2007

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Asem Kasem
    • Journal Title

      Proceedings of the 22nd ACM Symposium on Applied Computing

      Pages: 767-772

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi
    • Journal Title

      Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WFLP 2007)

      Pages: 139-152

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Modelling Origami for Computational Construction and Beyond2007

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Fadoua Ghourabi
    • Journal Title

      International Conference on Computational Science and Its Applications 2007(ICCSA 2007), Lecture Notes in Computer Science, Springer 4706

      Pages: 653-665

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Modeling Origami and Beyond2007

    • Author(s)
      Tetsuo Ida
    • Journal Title

      Proceedings of SYNASC 2007, 9th Internatio nal Symposium on Symbolic and Numeric Al gorithms for Scientific Computing. IEEE Computer Society

      Pages: 13-13

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami2007

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem kasem
    • Journal Title

      Proceedings of the 22nd ACM Symposium on Applied Computing

      Pages: 767-772

    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Construction as Constraint Solving and Rewriting2007

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi
    • Journal Title

      Proceedings of the 16th International Works hopon Functional and(Constraint) Logic Programming(WFLP 2007)

      Pages: 139-152

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Modelling Origami for Computational Construction and Beyond2007

    • Author(s)
      Tetsuo, Ida・Hidekazu, Takahashi・Mircea, Marin・Fadoua, Ghourabi
    • Journal Title

      International Conference on Computational Science and Its Applications 2007 (ICCSA 2007), Lecture Notes in Computer Science, Springer 4706

      Pages: 653-665

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] A System of Web Services for Symbolic Computation2007

    • Author(s)
      Monem Naifer, Asem Kasem and Tetsuo Ida
    • Journal Title

      Proceedings of the 5th Asian Workshop on Foundations of Software, Beihang University

      Pages: 145-152

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Journal Article] Tiers of web Origami Programming2006

    • Author(s)
      Tetsuo Ida
    • Journal Title

      Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. (SYNASC 2006)

      Pages: 4-4

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Journal Article] Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness2006

    • Author(s)
      Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashiand Bruno Buchberger
    • Journal Title

      Automated Deduction in Geometry, 5th International Workshop LNCS 3763

      Pages: 19-33

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness2006

    • Author(s)
      Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
    • Journal Title

      Automated Deduction in Geometry, 5th International Workshop LNCS 3763

      Pages: 19-33

    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006

    • Author(s)
      Tetsuo, Ida・Hidekazu, Takahashi・Mircea, Marin・Asemkasem・Fadoua, Ghourabi
    • Journal Title

      Proceedings of Second Internhational Congress on Mathematical Software LNCS4151

      Pages: 361-372

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Progress of ρLog, a rule-based programming system2006

    • Author(s)
      Mircea, Marin・Tetsuo, Ida
    • Journal Title

      Mathematica in Education and Research 11(1)

      Pages: 50-66

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness2006

    • Author(s)
      Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
    • Journal Title

      Automated Deduction in Geometry, 5th International Workshop LNCS3763

      Pages: 19-33

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Journal Article] Computational Origami System Eos2006

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem, Fadoua Ghourabi
    • Journal Title

      Proceedings of 4th International Conference on Origami, Science, Mathematics and Education

      Pages: 69-69

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Journal Article] Computational Origami of a morley's Triangle2006

    • Author(s)
      Tetsuo, Ida・Mircea, Marin・Hidekazu, Takahashi
    • Journal Title

      The 4th International Conference on Mathematical Knowledge Management LNAI3863

      Pages: 267-282

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami Coonstruction of a Regular Heptagon With Automated Proof of Its Correctness2006

    • Author(s)
      Judit, Robu・Tetsuo, Ida・Dorin, tepeneu・Hidekazu, Takahashi・Bruno, Buchberger
    • Journal Title

      Automated Deduction in Geometry, 5th International Workshop LNCS3763

      Pages: 19-33

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Progress of ρLog, a rule-based programming system2006

    • Author(s)
      Mircea Marin, Tetsuo Ida
    • Journal Title

      Mathematica in Education and Research 11(1)

      Pages: 50-66

    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Progress of pLog, a rule-based programming system2006

    • Author(s)
      Mircea Marin and Tetsuo Ida
    • Journal Title

      Mathematica in Education and Research 11(1)

      Pages: 50-66

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami of a Morley's Triangle2006

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
    • Journal Title

      The 4th International Conference on Mathematical Knowledge Management LNAI 3863

      Pages: 267-282

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem and Fadoua Ghourabi
    • Journal Title

      Proceedings of Second International Congres s on Mathematical Software LNCS4151

      Pages: 361-372

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Origami of a Morley's Triangle2006

    • Author(s)
      Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
    • Journal Title

      The 4th International Conference on Mathematical Knowledge Management LNAI 3863

      Pages: 267-282

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Journal Article] Computational construction of a Maximal Equilateral Triangle Inscribed in an Origami2006

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem, Fadoua Ghourabi
    • Journal Title

      Proceedings of Second International Congress on Mathematical Software LNCS 4151

      Pages: 361-372

    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami2006

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem, Fadoua Ghourabi
    • Journal Title

      Proceedings of Second International Congress on Mathematical Software LNCS 4151

      Pages: 361-372

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Journal Article] Artificial Intelligence and Symbolic Computation, Sth International Conference on Artificial Intelligence and Symbolic Computation(AISC 2006)2006

    • Author(s)
      Jacques Calmet, Tetsuo Ida and Dongming Wang
    • Journal Title

      Springer

      Pages: 268-268

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Morley's Theorem Revisited Through Computational Origami2005

    • Author(s)
      Tetsuo, Ida・Hidekazu, Takahashi・Dorin, Tepeneu・Mircea, Marin
    • Journal Title

      Proceedings of International Mathematica Symposium IMS 2005

      Pages: 55-55

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Morley's Theorem Revisited Through Computational Origami2005

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
    • Journal Title

      eProceedings of International Mathematica Symposium IMS 2005

      Pages: 55-55

    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Morley's Theorem Revisited Through Computational Origami2005

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
    • Journal Title

      Proceedings of International MathematicaSymposium IMS 2005

      Pages: 55-55

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Journal Article] Morley's Theorem Revisited Through Computational Origami2005

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi, Dorin Tepeneu, Mircea Marin
    • Journal Title

      eProceedings of International Mathematica Symposium IMS 2005

      Pages: 55-55

    • Data Source
      KAKENHI-PROJECT-17650003
  • [Presentation] Virtual Origami2022

    • Author(s)
      Tetsuo Ida
    • Organizer
      Wolfram Technology Conference
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Presentation] Computation models in e-origami system Eos2021

    • Author(s)
      Tetsuo Ida
    • Organizer
      SYNASC 2021
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Presentation] Reflection on Geometric Exercises in Origami2016

    • Author(s)
      Tetsuo Ida
    • Organizer
      The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016)
    • Place of Presentation
      Timisoara, Rumania
    • Year and Date
      2016-09-24
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Presentation] Reflection on Geometric Exercises in Origami2016

    • Author(s)
      Tetsuo Ida
    • Organizer
      The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016)
    • Place of Presentation
      Timisoara, Rumania
    • Year and Date
      2016-09-24
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00008
  • [Presentation] Logical and Algebraic Views of a Knot Fold of a Regular Heptagon2013

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi
    • Organizer
      Fifth International Symposium on Symbolic Computation in Software Science (SCSS 2013)
    • Place of Presentation
      Research Institute for Symbolic Computation. Hagenberg, Austria
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Presentation] Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification2013

    • Author(s)
      Tetsuo Ida, Fadoua Ghourabi, and Kazuko Takahashi
    • Organizer
      15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013)
    • Place of Presentation
      West University of Timisoara, Timisoara, Rumania
    • Invited
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Presentation] Interactive vs. automated proofs in computational origami2012

    • Author(s)
      Tetsuo Ida
    • Organizer
      14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
    • Place of Presentation
      Tmisoara, Rumania
    • Invited
    • Data Source
      KAKENHI-PROJECT-22650001
  • [Presentation] Origami Axioms and Circle Extension2011

    • Author(s)
      Kasem.A, Ghourabi.F, Ida.T
    • Organizer
      Proceedings of the 26th Symposium on Applied Computing (SAC 2011), pp.1106-1111
    • Place of Presentation
      Tunghai University Taiwan
    • Year and Date
      2011-03-23
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Extended Web Services for Computational Origami. The 3rd International Workshop on Symbolic Computation in Software Science (SCSS2010)2010

    • Author(s)
      Kasem and T. Ida
    • Organizer
      RISC-Linz Report Series
    • Place of Presentation
      Hagenberg, Austria
    • Year and Date
      2010-07-30
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Symbolic and Algebraic Methods in Computational Origami2009

    • Author(s)
      Ida, T
    • Organizer
      ISSAC2009
    • Place of Presentation
      KIAS(Korea Institute for Advanced Study)韓国
    • Year and Date
      2009-07-30
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Reasoning Tool for Mathematical Origami Construction2009

    • Author(s)
      F. Ghourabi, T. Ida, H. Takahashi, and A. Kasem
    • Organizer
      The International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
    • Place of Presentation
      Seoul, Korea
    • Year and Date
      2009-07-30
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Symbolic and Algebraic Methods in Computational Origami : Invited Talk.2009

    • Author(s)
      Tetsuo Ida.
    • Organizer
      In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), pages 3-4. ACM
    • Place of Presentation
      Hawaii, USA.
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Reasoning Tool for Mathematical Origami Construction2009

    • Author(s)
      Ghourabi, F, Ida, T, Takahashi, H, Kasem, A
    • Organizer
      ISSAC09 Software Presentation. ACM
    • Place of Presentation
      KIAS(Korea Institute for Advanced study)
    • Year and Date
      2009-07-30
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Tetsuo Ida, Hidekaza Takahashi
    • Organizer
      Proc.of 24^<th> annual ACM Symposium on Applied Computing, pp.1132-1138
    • Place of Presentation
      Hawaii, USA
    • Year and Date
      2009-03-12
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Computational Origami of Angle Quintisection2008

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi
    • Organizer
      Austrian-Janese Workshop on Symbolic Computation in Software Science (SCSS 2008).
    • Place of Presentation
      RISC, Hagenberg, Austria
    • Year and Date
      2008-07-13
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Experiences with Web Environment Origamium: Examples and Applications2008

    • Author(s)
      Asem Kasem, Tetsuo Ida
    • Organizer
      Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008).
    • Place of Presentation
      RISC, Hagenberg, Austria
    • Year and Date
      2008-07-13
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Graph Rewriting in Computational Origami2008

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi
    • Organizer
      Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)
    • Place of Presentation
      RISC, Hagenberg, Austria
    • Year and Date
      2008-07-13
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] グラフ書換による計算折り紙のモデル化と実現2008

    • Author(s)
      高橋英和、井田哲雄
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学(東京キャンパス)
    • Year and Date
      2008-09-11
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Experiences with Web Environment Origamium2008

    • Author(s)
      Kasem and T. Ida
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学(東京キャンパス)
    • Year and Date
      2008-09-11
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Computational Origami of Angle Quintisection2008

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida . Hidekazu Takahashi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学(東京キャンパス)
    • Year and Date
      2008-09-11
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Experiences with Web Environment Origamium2008

    • Author(s)
      Asem Kasem, Tetsuo Ida
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学(東京キャンパス)
    • Year and Date
      2008-09-11
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Experiences with Web Environment Origamium: Examples and Applications2008

    • Author(s)
      Asem Kasem, Tetsuo Ida
    • Organizer
      Austrian-japanese Workshop on Symbolic Complutation in Software Science (SCSS 2008)
    • Place of Presentation
      RISC, Hagenberg, Austria
    • Year and Date
      2008-07-13
    • Data Source
      KAKENHI-PROJECT-20300001
  • [Presentation] Analysis of Layers of Faces in Computational Origami Modeling2007

    • Author(s)
      Fadoua Ghourabi, Hidekazu. Takahashi, Tetsuo Ida
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-14
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] webOrigami2 : A System for Origami Construction and Proving Using Web 2.0 Technologies2007

    • Author(s)
      Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida
    • Organizer
      Annual Symposium of Japan Society for Software Science and Technology. JSSST
    • Place of Presentation
      Nara, Japan
    • Year and Date
      2007-09-14
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Presentation] Analysis of Layers of Feces in Computational Origami Modeling2007

    • Author(s)
      Fadoua, Ghourabi・Hidekazu, Takadashi・Tetsuo, Ida
    • Organizer
      日本ソフトウエア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-14
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Presentation] Analysis of Layers of Faces in Computational Origami Modeling2007

    • Author(s)
      Fadoua Ghourabi, Hidekazu Takahashi, Tetsuo Ida
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-14
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Presentation] Analysis of Layers of Faces in Computational Origami Modeling2007

    • Author(s)
      Fadoua Ghourabi, Hidekazu Takahashi, Tetsuo Ida
    • Organizer
      Annual Symposium of Japan Society for Software Science and Technology. JSSST
    • Place of Presentation
      Nara, Japan
    • Year and Date
      2007-09-14
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Presentation] webOrigami2: A System for Origami Construction and Proving Using Web 2.0 Technologies2007

    • Author(s)
      Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-14
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Presentation] webOrigami2: A System for Origami Construction and Poroving Using Web 2.0 Technologies2007

    • Author(s)
      Asem, Kasem・Hidekazu, Takahashi・Mircea, Marin・Tetsuo, Ida
    • Organizer
      日本ソフトウエア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-14
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300004
  • [Presentation] webOrigami2: A System for Origami Construction and Proving Using Web 2.0 Technologies2007

    • Author(s)
      Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-14
    • Data Source
      KAKENHI-PROJECT-19650001
  • [Presentation] Verified Construction of Polygonal Knots

    • Author(s)
      Tetsuo Ida and Fadoua Ghourabi
    • Organizer
      The 12th International Mathematica Symposium (IMS 2015)
    • Place of Presentation
      Prague, Czech
    • Year and Date
      2015-01-12 – 2015-01-14
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Presentation] Automated Construction and Proving of Knot Fold by Eos System

    • Author(s)
      Fadoua Ghourabi and Tetsuo Ida and Kazuko~Takahashi
    • Organizer
      The 6th International Conference on Origami in Science, Mathematics and Education and Folding Convention (6OSME)
    • Place of Presentation
      東京大学、東京
    • Year and Date
      2014-08-10 – 2014-08-13
    • Data Source
      KAKENHI-PROJECT-25330007
  • [Presentation] Huzita's basic origami fold in geometric algebra

    • Author(s)
      Tetsuo Ida
    • Organizer
      The 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014)
    • Place of Presentation
      Timisoara, Rumania
    • Year and Date
      2014-09-22 – 2014-09-25
    • Invited
    • Data Source
      KAKENHI-PROJECT-25330007
  • 1.  MIDDELDORP Aart (30251044)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 2.  SUSUKI Taro (90272179)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  MARIN Mircea (60396603)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 33 results
  • 4.  MINAMIDE Yasuhiko (50252531)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 5.  KIYOKI Yasushi (10169956)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 6.  SASSA Masataka (20016182)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 7.  CHAKRAVARY Mauuel (30292535)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  ITANO Kozo (20114035)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  NAKATA Ikuo (70133022)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  YAMADA Toshiyuki (60312831)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 12.  WADA Koichi (30175145)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  ITO Takayasu (80124551)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  SATO Masahiko (20027387)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  YAMASHITA Yoshiyuki (20220353)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  KATO Kazuhiko (90224493)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  YONEZAKI Naoki (00126286)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  TOYAMA Yoshihito (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  NOE Keiichi (40103220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  ISHIHATA Kiyoshi (70125988)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  SIRAKAWA Tomonori (20112021)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  榎本 肇 (60016227)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  林 晋 (40156443)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  田中 二郎 (20251043)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  田胡 和哉 (10188229)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  Ghourabi Fadoua (30709324)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 30.  KALISZYK Cezary
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results
  • 31.  KALISZYK CezarySeweryn
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi