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 |
-- (現在) | | Science in China: Series F: Information Sciences Editor |
-- (現在) | | HIgh-order and Symbolic Computation Advisory Board member |
2008-04 -- 2009-03 | 文部科学省 | 科学技術政策研究所 科学技術動向研究センター 専門調査委員 |
-- (現在) | | 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 -- (現在) | | インドにおける筑波大学留学説明会 |
さらに表示... |