井田 哲雄(イダ テツオ)
- 所属
- 筑波大学
- 職名
- 名誉教授
- URL
- 研究分野
知能情報学 - 研究キーワード
ソフトウェア科学 自動推論 - 研究課題
等式制約解消系のネットワークによるグローバルコンピューティング 2000 -- (現在) /国際共同研究 知識発見の論理に関する研究 1998 -- 2001 /国内共同研究 分散アプリケーション基盤の研究 2000 -- 2000 / 分散・協調記号計算 1999 -- 1999 / 発展的ソフトウェアの理論に関する研究 1997 -- 2000 /国内共同研究 オープン計算の検証と最適化 2003-04 -- 2005-12 井田 哲雄 北京航空航天大学/国際共同研究 記号計算理論によるプログラムとXMLドキュメントの検証 2007-06 -- 2009-05 井田哲雄 /国際共同研究 記号計算 -- (現在) / グローバルコンピューティング -- (現在) / 計算モデル -- (現在) / さらに表示... - 職歴
2004-04 -- 2012-03 国立大学法人筑波大学大学院システム情報工学研究科教授 - 学歴
1966-04 -- 1971-05 東京大学 教養学部 基礎科学 1971-07 -- 1973-03 東京大学 理学系研究科 物理学専攻 -- 1973 エセックス大学 School of Mathematical Studies -- 1975 東京大学 理学系研究科 物理学 - 取得学位
1979-03 理学博士 東京大学 1973-03 理学修士 東京大学 1974-07 理学修士 エセックス大学 - 所属学協会
-- (現在) Association for Computing Machinery -- (現在) 情報処理学会 -- (現在) 日本ソフトウェア科学会 -- (現在) International Federation for Information Processing - 受賞
1979 IPSJ Best Paper Award 1979 情報処理学会論文賞 - 論文
- Constraint Functional Logic Programming for Origami Construction
Tetsuo Ida; Mircea Marin; Hidekazu Takahashi
Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS 2003)/2895/pp.73-88, 2003-11 - Performance of a Parallel Hash Hardware with Key Deletion
Tetsuo Ida; Eiichi Goto
Information Processing 77/p.643-647, 1977 - Analysis of Parallel Hashing Algorithms with Key Deletion
Tetsuo Ida; Eiichi Goto
Journal of Information Processing/1(1)/p.25-32, 1978 - FLATS, a Machine for Numerical, Symbolic and Associative Computing
Eiichi Goto; Tetsuo Ida; Kei Hiraki; Masayuki Suzuki; and...
Proceedings of the 6th Annual Symposium on Computer Architecture/p.102-110, 1979 - Design of a Lisp machine FLATS
E Goto; T Soma; N Inada; T Ida; M Idesawa; K Hiraki; M S...
Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming Pittsburgh/p.208-215, 1982 - Functional programming with streams
Tetsuo Ida; Jiro Tanaka
Information Processing 83, Elsevier Science Publishers B. V./p.265-270, 1983 - Functional programming with streams-part II-
Tetsuo Ida; Jiro Tanaka
New Generation Computing/2(3)/p.261-275, 1984 - Overview of MC/LISP
Tetsuo Ida; Toshihiro Matsuno
Journal of Information Processing/13(3)/p.304-317, 1990 - MC/LISP処理系の翻訳系の構成
松野年宏; 井田哲雄
コンピュータソフトウエア/8(2)/p.53-67, 1991 - G-system : A Functionality-based Communication System Model for Parallel Processing
Tetsuo Ida; M.J Kim; and C.S Jhon
Information Processing 92, Elsevier Science Publishers B. V. (North Holland)/1/p.170-178, 1992 - Research on Programming lLanguages for Massively Parallel Processing
Makoto Amamiya; M Satoh; A Makinouchi; K Hagiwara; T Yua...
Proceedings of International symposium on parallel Architectures, Algorithms and Networks (ISPAN), IEEE Computer Society Press/p.443-451, 1994 - 制約解消系を備えた関数・論理型言語の処理系とその実装
佐々木重雄; 井田哲雄
情報処理学会論文誌/36(9)/p.2152-2160, 1995-09 - Lazy narrowing : strong completeness and eager variable elimination(共著)
Satoshi Okui; Aart Middeldrop; and Tetsuo Ida; +井田 哲雄
Lecture Notes in Computer Science/915/p.394-409, 1995 - 項書換え系における階層合流性のモジュラー性
山田 俊之; Aart Middeldorp; 井田 哲雄
コンピュータソフトウェア/12(5)/p.72-84, 1995 - 作用型項書換え系に基づく関数論理型言語の設計と実装
浜名誠; 西岡知之; 中原鉱一; Aart Middeldorp; 井田哲雄
情報処理学会論文誌/36(8)/p.1897-1905, 1995 - Level-confluence of conditional rewrite systems with extra variables in right-hand sides
Taro Suzuki; Aart Middeldrop; and Tetsuo Ida; +井田 哲雄
Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science/914/p.179-193, 1995 - A complete narrowing calculus for higher-order functional logic programming
Koichi Nakahara; Aart Middeldrop; and Tetsuo Ida; +井田 哲雄
Proceedings of the 7th International Conference on Programming Languages:Implementations,Logics and Programs 95(PLILP'95),Lecture Notes in Computer Science/982/p.97-114, 1995 - 意味ラベリングによる分配消去法-項書換え系の停止性証明法(共著)
大崎; Middeldorp; A; and 井田; ; +井田 哲雄
コンピュータソフトウェア/13(2)/p.58-73, 1996 - Lazy narrowing:Strong Completeness and Eager Variable Elimination
Aart Middeldrop; Satoshi Okui; and Tetsuo Ida; +井田 哲雄
Theoretical Computer Science/167/p.95-130, 1996 - The Minimised Geometric Buchberger Algorithm : An Optimal Algebraic Algorithm for Integer Programming
Li; Q; Guo; Y; Ida; T; and Darlington; J; +井田 哲雄
Proceedings of the 1997 International Sysmposium on Symbolic and Algebraic Computation/p.331-338, 1997 - Higher-Order Lazy Narrowing Calculus : A Computation Model for a Higher-order Functional Logic Language
Suzuki; T; Nakagawa; K; and Ida; T; +井田 哲雄
Proceedings of Sixth International Joint Conference, ALP'97-HOA'97, Lecture Notes in Computer Science/1298/p.99-113, 1997 - Leftmost outside-in narrowing calculi
Ida; T; Nakahara; K; +井田 哲雄
Journal of Functional Programming/7(2)/p.129-161, 1997 - Knowledge Web : A Design and Feasibility Study
B. Buchberger; M. Chakravarty; J. Darlington; Y. Guo; T. ...
Technical Report, University of Tsukuba/ISE-TR98(151)/p.32, 1998 - Deterministic and Non-deterministic Lazy Conditional Narrowing and their Implementations
Hamada; M; Ida; T; +井田 哲雄
Transactions of Information Processing Society of Japan/39(3)/p.656-663, 1998 - ILIN : An Implementation of the Integer Labeling Algorithm for Integer Programming
Li; Q; Janssen; F; Yang; Z; and Ida; T; +井田 哲雄
IEICE Transactions of Fundamentals of Electronics, Communications and Computer Sciences/E81-A(2)/p.304-309, 1998 - さらに表示...
- Constraint Functional Logic Programming for Origami Construction
- 著書
- SYNASC 2009: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
S. M. Watt; V. Negru; T. Ida; T. Jebelean; D. Petcu; D. ...
IEEE Computer Society, Conference Publishing Services, 2009-01 - SYNASC 2010: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
T. Ida; V. Negru; T. Jebelean; D. Petcu; S. M. Watt; D. ...
IEEE Computer Society, Conference Publishing Services, 2011-01
- SYNASC 2009: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
- 会議発表等
- Nrf2 and CSE act as critical molecules in parallel pathways for regulation of electrophilic stress in mice.
M Akiyama; T Unoki; Y Shinkai; I Ishii; T Ida; T Akaike; ...
The Environmental Response V / 17th JBS Biofrontier Symposium/2019-09 - Progress Report of Eos Project
Fadoua Ghourabi; Tetsuo Ida; Asem Kasem; Hidekazu Takahashi
15th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2008____ - Analysis of Automated Proof of Origami Morley’s Theorem
Hidekazu Takahashi; Fadoua Ghourabi; Asem Kasem; and Tet...
Applications of Computer Algebra RISC____ - グラフ書換による計算折り紙のモデル化と実現
高橋 英和; 井田 哲雄
Proceedings of the Annual Symposium of Japan Society for Software Science and Technology (JSSST 2008)____ - Experiences with Web Environment Origamium
Asem Kasem; Tetsuo Ida
Proceedings of the Annual Symposium of Japan Society for Software Science and Technology. JSSST, Tokyo, Japan____ - Computational Origami of Angle Quintisection
Fadoua Ghourabi; Tetsuo Ida; and Hidekazu Takahashi
Proceedings of the Annual Symposium of Japan Society for Software Science and Technology (JSSST 2008)____ - Algebraic Graph Rewriting for Computational Origami
Tetsuo Ida
4th ACCAT Workshop 2009 (ACCAT'09) Applied and Computational Category Theory____ - Reasoning Tool for Mathematical Origami Construction
Fadoua Ghourabi; Tetsuo Ida; Hidekazu Takahashi; and Ase...
ISSAC09 Software Presentation. ACM____ - Theory of Handcrafted and Computational Fold
井田 哲雄
Logic and Computer Science, KGRC, University of Vienna____
- Nrf2 and CSE act as critical molecules in parallel pathways for regulation of electrophilic stress in mice.
- 担当授業科目
2018-10 -- 2018-12 計算モデル論 筑波大学 2017-10 -- 2017-12 計算モデル論 筑波大学 2015-10 -- 2015-12 計算モデル論 筑波大学 2014-10 -- 2014-12 計算モデル論 筑波大学 2013-10 -- 2013-12 計算モデル論 筑波大学 2012-04 -- 2013-03 コンピュータサイエンス特別演習 筑波大学 2012-08 -- 2012-11 計算モデル論 筑波大学 2011-04 -- 2012-03 コンピュータサイエンス特別研究Ⅱ 筑波大学 2011-04 -- 2012-03 コンピュータサイエンス特別研究Ⅰ 筑波大学 2011-04 -- 2012-03 コンピュータサイエンス特別研究 筑波大学 さらに表示... - 授業以外の教育活動
2010-12 -- 2010-12 カルタゴ11月7日大学における集中講義 lecture on formal methods and model cheking 学外 2010-08 -- 2010-10 JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」 筑波大学 2009-11 -- 2009-12 カルタゴ11月7日大学における集中講義 lecture on formal methods and model cheking 学外 2009-09 -- 2009-10 JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」 学外 2009-03 -- 2009-03 Seminar talk Heriot-Watt University 学外 2008-12 -- 2008-12 Supcom Lecture on Formal Methods and Symbolic Computation 学外 2008-10 -- 2008-11 JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」 学外 2008-08 -- 2010-07 厦門大学客員教授 学外 2008-05 -- 2008-05 公立はこだて未来大学におけるプログラミングモデルに関する講演 学外 2008-05 -- 2008-05 公立はこだて未来大学におけるプログラミングモデルに関する特別講義 学外 - 一般講演
- 代数的折紙計算論からの話題
井田哲雄
第６回 論理と計算セミナー/2010-11-20 - Globalization of Career Development in Digital Age
T. Ida
RCD 22nd International Symposium on Youth and Today's challenges/2010-11-02 - Art, Science and Technology of Origami
井田 哲雄
2010-03-01 - Symbolic and Algebraic Methods in Computational Origami
井田 哲雄
2010-03-01 - Symbolic and Algebraic Methods in Computational Origami
井田 哲雄
2010-03-01 - Symbolic and Algebraic Methods in Computational Origami
井田 哲雄
2009-06-01
- 代数的折紙計算論からの話題
- 学協会等委員
2010 -- (現在) 日本ソフトウェア科学会 役員候補者選考委員 2011 -- (現在) 日本ソフトウェア科学会 役員候補者選考委員 1994 -- (現在) 日本ソフトウェア科学会 評議員 1994 -- (現在) 日本ソフトウェア科学会 councilor -- (現在) Journal of Symbolic Computation Editor 2008-09 -- 2008-09 中国と日本におけるソフトウェア科学・技術に関するワークショップを企画運営 2008-01 -- 2008-07 Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)General Chair 2008-01 -- 2008-07 9th International Conference AISC2008 (Artificial Intelligence and Symbolic Computation) PC member 2008-01 -- 2008-07 Ninth International Conference on Mathematical Knowledge Management 2008-01 -- 2008-07 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP2008) PC member さらに表示... - 学内管理運営業績
2010 -- 2010-09 筑波大学 ティミショアラ西大学との大学間協定 締結 における世話人
(最終更新日: 2024-07-30)