Ida Tetsuo

Researcher's full information

Professional activities
2008-01 -- 2008-0717th International Workshop on Functional and (Constraint) Logic Programming (WFLP2008) PC member
2007-06 -- 2008-058th Asian Symposium on Computer Mathematics PC member
2009-01 -- 2009-07Seventh 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-1011th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
2008-12 -- 2009-073rd IEEE International Symposium on Theoretical Aspects of Software Engineering
2010-01 -- (current)インドにおける筑波大学留学説明会