IDA Tetsuo

Researcher's full information

Professional activities

2008-01 -- 2008-07		17th International Workshop on Functional and (Constraint) Logic Programming (WFLP2008) PC member
2007-06 -- 2008-05		8th Asian Symposium on Computer Mathematics PC member
2009-01 -- 2009-07		Seventh International Workshop on Computer Algebra Systems and Their Applications, CASA'2009 PC member
-- (current)		Science in China: Series F: Information Sciences Editor
-- (current)		HIgh-order and Symbolic Computation　Advisory Board member
2008-04 -- 2009-03	文部科学省	科学技術政策研究所　科学技術動向研究センター　専門調査委員
-- (current)		HIgh-order and Symbolic Computation　Advisory Board member
2009-01 -- 2009-10		11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
2008-12 -- 2009-07		3rd IEEE International Symposium on Theoretical Aspects of Software Engineering
2010-01 -- (current)		インドにおける筑波大学留学説明会
more...