Intelligent informatics |
Software Science |
Automated Reasoning |
Global computing with networked equational constraint solvers | 2000 -- (current) | /International Joint Research Projects | ||
Logic for knowledge discovery | 1998 -- 2001 | /国内共同研究 | ||
Foundations of distributed applications | 2000 -- 2000 | / | ||
Distributed coordinated symbolic computation | 1999 -- 1999 | / | ||
Theories for evolutionary software | 1997 -- 2000 | /国内共同研究 | ||
Verification and Optimization of Open Computation | 2003-04 -- 2005-12 | 井田 哲雄 | 北京航空航天大学/国際共同研究 | |
記号計算理論によるプログラムとXMLドキュメントの検証 | 2007-06 -- 2009-05 | 井田哲雄 | /International Joint Research Projects | |
symbolic computation | -- (current) | / | ||
global computing | -- (current) | / | ||
computation model | -- (current) | / |
2004-04 -- 2012-03 | 国立大学法人筑波大学 大学院システム情報工学研究科 教授 |
1966-04 -- 1971-05 | The University of Tokyo Faculty of Liberal Arts 基礎科学 | Graduated |
1971-07 -- 1973-03 | The University of Tokyo Graduate School of Science Department of Physics | Completed |
-- 1973 | University of Essex School of Mathematical Studies | Completed |
-- 1975 | The University of Tokyo Graduate School of Science Department Physics | Accomplished credits for doctoral program |
1979-03 | Doctor of Science | The University of Tokyo |
1973-03 | Master of Science | The University of Tokyo |
1974-07 | Master of Science | エセックス大学 |
-- (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 |
1979 | IPSJ Best Paper Award | |
1979 | 情報処理学会論文賞 |
2018-10 -- 2018-12 | Models of Computation | University of Tsukuba. |
2017-10 -- 2017-12 | Models of Computation | University of Tsukuba. |
2015-10 -- 2015-12 | Models of Computation | University of Tsukuba. |
2014-10 -- 2014-12 | Models of Computation | University of Tsukuba. |
2013-10 -- 2013-12 | Models of Computation | University of Tsukuba. |
2012-04 -- 2013-03 | Seminar in Computer Science | University of Tsukuba. |
2012-08 -- 2012-11 | Models of Computation | University of Tsukuba. |
2011-04 -- 2012-03 | Research in Computer Science Ⅱ | University of Tsukuba. |
2011-04 -- 2012-03 | Research in Computer Science I | University of Tsukuba. |
2011-04 -- 2012-03 | Research in Computer Science | University of Tsukuba. |
2010-12 -- 2010-12 | カルタゴ11月7日大学における集中講義 lecture on formal methods and model cheking | 学外 |
2010-08 -- 2010-10 | JICA研修員受入れ事業「ウェブベースの情報発信・管理システム運用技術」 | University of Tsukuba. |
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 -- (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 TECHNOLOGY | councilor |
2008-01 -- 2008-07 | Ninth International Conference on Mathematical Knowledge Management | |
2008-01 -- 2008-07 | 9th International Conference AISC2008 (Artificial Intelligence and Symbolic Computation) PC member | |
2008-01 -- 2008-07 | 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP2008) PC member | |
2008-01 -- 2009-07 | Institute of Electrical and Electronics Engineers (IEEE) | 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009) PC member |
2008-01 -- 2008-07 | Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)General Chair | |
2007-06 -- 2008-05 | 8th Asian Symposium on Computer Mathematics PC member |
2010 -- 2010-09 | 筑波大学 ティミショアラ西大学との大学間協定 締結 における世話人 |
(Last updated: 2018-04-24)