Ida Tetsuo

• 記号計算
• グローバルコンピューティング
• 計算モデル
• 関数・論理型プログラミング
• symbolic computation
global computing
computation model
functional logic programming

• Tetsuo Ida, Hidekazu Takahashi. Origami fold as algebraic graph rewriting. JOURNAL OF SYMBOLIC COMPUTATION. 2010. 45. 4. 393-413
• Tetsuo Ida, Hidekazu Takahashi. Origami fold as algebraic graph rewriting. JOURNAL OF SYMBOLIC COMPUTATION. 2010. 45. 4. 393-413
• Algebraic Graph Rewriting for Computational Origami. 4th ACCAT Workshop 2009 (ACCAT'09) Applied and Computational Category Theory. 2009
• Reasoning Tool for Mathematical Origami Construction. ISSAC09 Software Presentation. ACM. 2009
• Tetsuo Ida. Graph Rewriting in Computational Origami. PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING. 2009. 20-27

ｍore...

• 計算モデル論入門 -チューリング機械からラムダ計算へ-
  サイエンス社 2006
• Artificial Intelligence and Symbolic Computation
  8th International Conference on Artificail Intelligence and Symbolic Computation (AISC 2006) 8th International Conference on Artificail Intelligence and Symbolic Computation (AISC 2006) 8th International Conference on Artificail Intelligence and Symbol・・・ 2006
• Artificial Intelligence and Symbolic Computation
  2006
• Second Fuji International Workshop on Functional and Logic Programming
  World Scientific World ScientificWorld Scientific 1997
• Second Fuji International Workshop on Functional and Logic Programming
  World Scientific World ScientificWorld Scientific 1997

ｍore...

• 記号計算理論によるプログラムとXMLドキュメントの検証
  2007 - 2009
• オープン計算の検証と最適化
  2003 - 2005
• Verification and Optimization of Open Computation
  2003 - 2005
• 知識発見の論理に関する研究
  1998 - 2001
• Logic for knowledge discovery
  1998 - 2001

ｍore...

• - 1975 The University of Tokyo
• - 1975 The University of Tokyo Graduate School, Division of Science Department Physics
• - 1973 エセックス大学
• - 1973 University of Essex
• - 1971 The University of Tokyo College of Arts and Sciences
- 1971 The University of Tokyo Faculty of Liberal Arts

• Master of Science (The University of Tokyo)
• Master of Science
• Doctor of Science (The University of Tokyo)

• 1992 - 2004 University of Tsukuba
• 1992 - 2004 University of Tsukuba, Professor
• 2004 - - 独立行政法人メディア教育開発センター研究開発部 客員教授
• 2004 - - 国立大学法人筑波大学大学院システム情報工学研究科教授
• 1988 - 1992 University of Tsukuba
1988 - 1992 University of Tsukuba, Associate Professor
1989 - 1990 日本学術振興会 特定国派遣研究員
1989 - 1990 JSPS visiting researcher at Research Institute for Symbolic Computation, Johannes Kepler University
1979 - 1988 理化学研究所 研究員
1979 - 1988 Institute of Physical and Chemical Research, Researcher
1975 - 1979 理化学研究所 研究員補
1975 - 1979 Institute of Physical and Chemical Research, Junior Researcher
University of Tsukuba Graduate School of Systems and Information Engineering, Graduate School of Systems and Information Engineering Computer Science Professor,West University of Timisoara

• 1994 - JSSST councilor
• 1994 - 日本ソフトウェア科学会 評議員
• 1994 - JSSST councilor

• 1979 - 情報処理学会論文賞
• 1979 - IPSJ Best Paper Award
• 1979 - IPSJ Best Paper Award

JSSST ,  IFIP WG 1.6 ,  IEICE ,  IEEE Computer Society ,  ACM ,  日本ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会 ,  計算機械学会(Association for Computing Machinery) ,  IFIPWG 1.6 ,  JSSST ,  IFIP WG 1.6 ,  IEICE ,  IEEE Computer Society ,  ACM