井田 哲雄

• 記号計算
• グローバルコンピューティング
• 計算モデル
• 関数・論理型プログラミング
• 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

もっと見る

• 計算モデル論入門 -チューリング機械からラムダ計算へ-
  サイエンス社 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

もっと見る

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

もっと見る

• - 1975 東京大学 理学系研究科 物理学
• - 1975 東京大学
• - 1973 エセックス大学
• - 1973 University of Essex
• - 1971 東京大学 教養学部 基礎科学
- 1971 東京大学

• 理学修士 (東京大学)
• 理学修士 (エセックス大学)
• 理学博士 (東京大学)

• 1992 - 2004 筑波大学 教授
• 1992 - 2004 筑波大学
• 2004 - - 独立行政法人メディア教育開発センター研究開発部 客員教授
• 2004 - - 国立大学法人筑波大学大学院システム情報工学研究科教授
• 1988 - 1992 筑波大学 助教授
1988 - 1992 筑波大学
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
筑波大学 システム情報工学研究科 システム情報工学研究科 コンピュータサイエンス専攻 教授,ティミショアラ大学

• 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