IDA Tetsuo

Affiliation
University of Tsukuba
Official title
Professor Emeritus
URL
Research fields
Intelligent informatics
Research keywords
Software Science
Automated Reasoning
Research projects
Global computing with networked equational constraint solvers2000 -- (current)/International Joint Research Projects
Logic for knowledge discovery1998 -- 2001/国内共同研究
Foundations of distributed applications2000 -- 2000/
Distributed coordinated symbolic computation1999 -- 1999/
Theories for evolutionary software1997 -- 2000/国内共同研究
Verification and Optimization of Open Computation2003-04 -- 2005-12井田　哲雄北京航空航天大学/国際共同研究
記号計算理論によるプログラムとXMLドキュメントの検証2007-06 -- 2009-05井田哲雄/International Joint Research Projects
symbolic computation -- (current)/
global computing -- (current)/
computation model -- (current)/
more...
Career history
2004-04 -- 2012-03国立大学法人筑波大学大学院システム情報工学研究科教授
Academic background
1966-04 -- 1971-05The University of Tokyo Faculty of Liberal Arts 基礎科学
1971-07 -- 1973-03The University of Tokyo Graduate School of Science Department of Physics
-- 1973University of Essex School of Mathematical Studies
-- 1975The University of Tokyo Graduate School of Science Department Physics
Degree
1979-03Doctor of ScienceThe University of Tokyo
1973-03Master of ScienceThe University of Tokyo
1974-07Master of Scienceエセックス大学
Academic societies
-- (current)Association for Computing Machinery
-- (current)Information Processing Society of Japan
-- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
-- (current)International Federation for Information Processing
Honors & Awards
1979IPSJ Best Paper Award
1979情報処理学会論文賞
Articles
  • 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
  • Constraint Functional-Logic Programming Language System and Its Implementation
    佐々木重雄; 井田哲雄
    Transactions of Information Processing Society of Japan/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
  • Modularity of level-confluence for conditional term rewriting systems
    山田 俊之; Aart Middeldorp; 井田 哲雄
    Computer Software/12(5)/p.72-84, 1995
  • Design and Implementation of a Functional-Logic Language Based on Applicative Term Rewriting Systems
    浜名誠; 西岡知之; 中原鉱一; Aart Middeldorp; 井田哲雄
    Transactions of Information Processing Society of Japan/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
  • Distribution Elimination by Semantic Labelling : Methods for Proving Termination of Term Rewriting Systems
    大崎; Middeldorp; A; and 井田; ; +井田 哲雄
    Computer Software/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
  • more...
Books
  • 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
Conference, etc.
  • 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
    ____
  • Analysis of Automated Proof of Origami Morley’s Theorem
    Hidekazu Takahashi; Fadoua Ghourabi; Asem Kasem; and Tet...
    ____
  • グラフ書換による計算折り紙のモデル化と実現
    高橋 英和; 井田 哲雄
    ____
  • Experiences with Web Environment Origamium
    Asem Kasem; Tetsuo Ida
    ____
  • Computational Origami of Angle Quintisection
    Fadoua Ghourabi; Tetsuo Ida; and Hidekazu Takahashi
    ____
  • Algebraic Graph Rewriting for Computational Origami
    Tetsuo Ida
    ____
  • Reasoning Tool for Mathematical Origami Construction
    Fadoua Ghourabi; Tetsuo Ida; Hidekazu Takahashi; and Ase...
    ____
  • Theory of Handcrafted and Computational Fold
    井田 哲雄
    ____
Teaching
2018-10 -- 2018-12Models of ComputationUniversity of Tsukuba.
2017-10 -- 2017-12Models of ComputationUniversity of Tsukuba.
2015-10 -- 2015-12Models of ComputationUniversity of Tsukuba.
2014-10 -- 2014-12Models of ComputationUniversity of Tsukuba.
2013-10 -- 2013-12Models of ComputationUniversity of Tsukuba.
2012-04 -- 2013-03Seminar in Computer ScienceUniversity of Tsukuba.
2012-08 -- 2012-11Models of ComputationUniversity of Tsukuba.
2011-04 -- 2012-03Research in Computer Science ⅡUniversity of Tsukuba.
2011-04 -- 2012-03Research in Computer Science IUniversity of Tsukuba.
2011-04 -- 2012-03Research in Computer ScienceUniversity of Tsukuba.
more...
Other educational activities
2010-12 -- 2010-12カルタゴ11月7日大学における集中講義　lecture on formal methods and model cheking学外
2010-08 -- 2010-10JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」University of Tsukuba.
2009-11 -- 2009-12カルタゴ11月7日大学における集中講義　lecture on formal methods and model cheking学外
2009-09 -- 2009-10JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」学外
2009-03 -- 2009-03Seminar talk Heriot-Watt University学外
2008-12 -- 2008-12Supcom Lecture on Formal Methods and Symbolic Computation学外
2008-10 -- 2008-11JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」学外
2008-08 -- 2010-07厦門大学客員教授学外
2008-05 -- 2008-05公立はこだて未来大学におけるプログラミングモデルに関する講演学外
2008-05 -- 2008-05公立はこだて未来大学におけるプログラミングモデルに関する特別講義学外
Talks
  • 代数的折紙計算論からの話題
    井田哲雄
    第６回 論理と計算セミナー/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
Professional activities
2010 -- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY役員候補者選考委員
2011 -- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY役員候補者選考委員
1994 -- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY評議員
1994 -- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGYcouncilor
-- (current)Journal of Symbolic Computation Editor
2008-09 -- 2008-09WorkShop on Software Science and Technology in China and Japan
2008-01 -- 2008-07Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)General Chair
2008-01 -- 2008-079th International Conference AISC2008 (Artificial Intelligence and Symbolic Computation) PC member
2008-01 -- 2008-07Ninth International Conference on Mathematical Knowledge Management
2008-01 -- 2008-0717th International Workshop on Functional and (Constraint) Logic Programming (WFLP2008) PC member
more...
University Management
2010 -- 2010-09筑波大学　ティミショアラ西大学との大学間協定　締結　における世話人

(Last updated: 2024-07-30)