井田哲雄 (Tetsuo Ida) - マイポータル

基本情報

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

J-GLOBAL ID: 200901027934411955
researchmap会員ID: 1000048519

外部リンク: http://www.score.is.tsukuba.ac.jp/~ida/

研究キーワード

研究分野

経歴

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
筑波大学システム情報工学研究科システム情報工学研究科コンピュータサイエンス専攻, 教授,ティミショアラ大学

学歴

委員歴

受賞

MISC

208

Origami fold as algebraic graph rewriting

Tetsuo Ida, Hidekazu Takahashi

JOURNAL OF SYMBOLIC COMPUTATION 45(4) 393-413 2010年4月
Origami fold as algebraic graph rewriting

Tetsuo Ida, Hidekazu Takahashi

JOURNAL OF SYMBOLIC COMPUTATION 45(4) 393-413 2010年4月
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年
Graph Rewriting in Computational Origami

Tetsuo Ida

PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING 20-27 2009年
Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions

Proceedings of the Tunisia - Japan Workshop on Symbolic Computation in Software Science (SCSS 2009), 90-92 2009年
Symbolic and Algebraic Methods in Computational Origami

Tetsuo Ida

ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION 3-4 2009年
Origami Fold as Algebraic Graph Rewriting

Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009) 1132-1138 2009年
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年
Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions

Proceedings of the Tunisia - Japan Workshop on Symbolic Computation in Software Science (SCSS 2009), 90-92 2009年
Symbolic and Algebraic Methods in Computational Origami

Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation 3-4 2009年
Origami Fold as Algebraic Graph Rewriting

Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009) 1132-1138 2009年
Computational Origami Construction as Constraint Solving and Rewriting

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghoura

Electronic Notes in Theoretical Computer Science 216(C) 31-44 2008年7月4日
Computational Origami Construction as Constraint Solving and Rewriting

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghoura

Electronic Notes in Theoretical Computer Science 216(C) 31-44 2008年7月4日
Computational origami environment on the web

Asem Kasem, Tetsuo Ida

Frontiers of Computer Science in China 2(1) 39-54 2008年3月
Computational origami environment on the web

Asem Kasem, Tetsuo Ida

Frontiers of Computer Science in China 2(1) 39-54 2008年3月
Progress Report of Eos Project

15th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2008 2008年
Analysis of Automated Proof of Origami Morley’s Theorem

Applications of Computer Algebra RISC 2008年
グラフ書換による計算折り紙のモデル化と実現

Proceedings of the Annual Symposium of Japan Society for Software Science and Technology (JSSST 2008) 2008年

もっとみる

書籍等出版物

計算モデル論入門 -チューリング機械からラムダ計算へ-

サイエンス社 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年
Multi-paradigm Logic Programming Proceedings of the JICSLP 96 Post-Conference Workshop

Technical University Berlin Report Technical University Berlin ReportTechnical University Berlin Report 1996年
Fuji International Workshop on Functional and Logic Programming

World Scientific World ScientificWorld Scientific 1996年
Multi-paradigm Logic Programming Proceedings of the JICSLP 96 Post-Conference Workshop

Technical University Berlin Report Technical University Berlin ReportTechnical University Berlin Report 1996年
Fuji International Workshop on Functional and Logic Programming

World Scientific World ScientificWorld Scientific 1996年
計算モデルの基礎理論

岩波講座ソフトウエア科学岩波講座ソフトウエア科学岩波書店岩波講座ソフトウエア科学 1991年
Implementing Lisp and Prolog on a Common Abstract Machine : a Practical Approach to Combining Functional and Logic programming, (共著)

Declarative systems, Elsevier Science Publishers B. V.(North Holland) 1990年
続・新しいプログラミングパラダイム

共立出版 1990年
Implementing Lisp and Prolog on a Common Abstract Machine : a Practical Approach to Combining Functional and Logic programming, (共著)

Declarative systems, Elsevier Science Publishers B. V.(North Holland) 1990年
新しいプログラミングパラダイム

共立出版 1989年
T : A simple Reduction Language Based on Combinatory Term Rewriting(共著)

Elsevier Science Publishers B. V.(North Holland)Programming of Future Generation Computers, 1988年
プログラミング言語の新潮流

計算機科学/ソフトウエア技術講座,共立出版計算機科学/ソフトウエア技術講座,共立出版共立出版計算機科学/ソフトウエア技術講座,共立出版 1988年
T : A simple Reduction Language Based on Combinatory Term Rewriting(共著)

Elsevier Science Publishers B. V.(North Holland)Programming of Future Generation Computers, 1988年
ハッシュ法

情報処理情報処理情報処理 1983年
リスト処理とアーキテクチャ

情報処理情報処理情報処理 1982年
数式処理プロセッサ

情報処理情報処理情報処理 1980年

所属学協会

Works(作品等)

記号計算理論によるプログラムとXMLドキュメントの検証

2007年 - 2009年
オープン計算の検証と最適化

2003年 - 2005年
Verification and Optimization of Open Computation

2003年 - 2005年
知識発見の論理に関する研究

1998年 - 2001年
Logic for knowledge discovery

1998年 - 2001年
分散アプリケーション基盤の研究

2000年 - 2000年
Foundations of distributed applications

2000年 - 2000年
発展的ソフトウェアの理論に関する研究

1997年 - 2000年
Theories for evolutionary software

1997年 - 2000年
等式制約解消系のネットワークによるグローバルコンピューティング

2000年
Global computing with networked equational constraint solvers

2000年
分散・協調記号計算

1999年 - 1999年
Distributed coordinated symbolic computation

1999年 - 1999年

井田哲雄

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

受賞

MISC

書籍等出版物

所属学協会

Works(作品等)

共同研究・競争的資金等の研究課題

メニュー