井田 哲雄

J-GLOBALへ         更新日: 12/05/21 11:49
 
アバター
研究者氏名
井田 哲雄
 
イダ テツオ
URL
http://www.score.is.tsukuba.ac.jp/~ida/
学位
理学修士(東京大学), 理学修士(エセックス大学), 理学博士(東京大学)

研究分野

 
 

経歴

 
 
   
 
筑波大学 システム情報工学研究科 システム情報工学研究科 コンピュータサイエンス専攻 教授,ティミショアラ大学
 
1975年
 - 
1979年
 理化学研究所 研究員補
 
1979年
 - 
1988年
 理化学研究所 研究員
 
1988年
 - 
1992年
 筑波大学 助教授
 
1989年
 - 
1990年
 日本学術振興会 特定国派遣研究員
 

学歴

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

委員歴

 
1994年
   
 
日本ソフトウェア科学会  評議員
 
1998年
   
 
IFIP WG 1.6  
 
1994年
   
 
JSSST  councilor
 

受賞

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

Misc

 
Origami Fold as Algebraic Graph Rewriting
Journal of Symbolic Computation   45(4): 393-413.   2010年
Origami Fold as Algebraic Graph Rewriting
Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009)   1132-1138   2009年
Symbolic and Algebraic Methods in Computational Origami
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation   3-4   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年
Graph Rewriting in Computational Origami
Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008)   20-27   2009年

書籍等出版物

 
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年   
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 S...
計算モデル論入門 -チューリング機械からラムダ計算へ-
  サイエンス社   2006年   
Second Fuji International Workshop on Functional and Logic Programming
World Scientific World ScientificWorld Scientific   1997年   
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年   

Works

 
記号計算理論によるプログラムとXMLドキュメントの検証
2007年 - 2009年
オープン計算の検証と最適化
2003年 - 2005年
等式制約解消系のネットワークによるグローバルコンピューティング
2000年
分散アプリケーション基盤の研究
2000年 - 2000年
分散・協調記号計算
1999年 - 1999年

競争的資金等の研究課題

 
関数・論理型プログラミング
計算モデル
グローバルコンピューティング
記号計算