現在地

井田 哲雄(イダ テツオ; Ida, Tetsuo)

所属
システム情報系
職名
名誉教授
URL
研究分野
知能情報学
研究キーワード
ソフトウェア科学
自動推論
研究課題
等式制約解消系のネットワークによるグローバルコンピューティング2000 -- (現在)/国際共同研究
知識発見の論理に関する研究1998 -- 2001/国内共同研究
分散アプリケーション基盤の研究2000 -- 2000/
分散・協調記号計算1999 -- 1999/
発展的ソフトウェアの理論に関する研究1997 -- 2000/国内共同研究
オープン計算の検証と最適化2003-04 -- 2005-12井田 哲雄北京航空航天大学/国際共同研究
記号計算理論によるプログラムとXMLドキュメントの検証2007-06 -- 2009-05井田哲雄/国際共同研究
記号計算 -- (現在)/
グローバルコンピューティング -- (現在)/
計算モデル -- (現在)/
職歴
2004-04 -- (現在)国立大学法人筑波大学 大学院システム情報工学研究科 教授
学歴
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
受賞
1979IPSJ 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 Su...
    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 Yuas...
    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
著書
  • 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. Z...
    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. Z...
    IEEE Computer Society, Conference Publishing Services, 2011-01
会議発表等
  • 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 Tets...
    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 Asem...
    ISSAC09 Software Presentation. ACM____
  • Theory of Handcrafted and Computational Fold
    井田 哲雄
    Logic and Computer Science, KGRC, University of Vienna____
担当授業科目
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コンピュータサイエンス特別研究筑波大学
2011-04 -- 2012-03コンピュータサイエンス特別演習B筑波大学
授業以外の教育活動
2010-12 -- 2010-12カルタゴ11月7日大学における集中講義 lecture on formal methods and model cheking学外
2010-08 -- 2010-10JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」筑波大学
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公立はこだて未来大学におけるプログラミングモデルに関する特別講義学外
一般講演
  • 代数的折紙計算論からの話題
    井田哲雄
    第6回 論理と計算セミナー/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
2008-01 -- 2008-07Ninth International Conference on Mathematical Knowledge Management
2008-01 -- 2008-079th International Conference AISC2008 (Artificial Intelligence and Symbolic Computation) PC member
2008-01 -- 2008-0717th International Workshop on Functional and (Constraint) Logic Programming (WFLP2008) PC member
2008-01 -- 2009-07Institute of Electrical and Electronics Engineers (IEEE)3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009) PC member
2008-01 -- 2008-07Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)General Chair
2007-06 -- 2008-058th Asian Symposium on Computer Mathematics PC member
学内管理運営業績
2010 -- 2010-09筑波大学 ティミショアラ西大学との大学間協定 締結 における世話人

(最終更新日: 2018-04-24)