2010 -- (現在) | 文部科学省 | 科学技術政策研究所 科学技術専門家ネットワーク専門調査員 |
2010 -- 2010 | | PC Chair, SYNASC 2010 (12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing) |
2008-08 -- 2008-08 | 日本学術振興会 | ひらめき☆ときめきサイエンス~ようこそ大学の研究室へ~KAKENHI 研究成果の社会還元・普及事業 日本学術振興会 |
2008-01 -- 2008-07 | | 19th International Conference on Rewriting Techniques and Applications(RTA 2008) PC member |
2008-03 -- 2008-09 | | 0th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC2008) PC member |
2008-01 -- 2009-07 | | 18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009) PC member |
2008-05 -- 2009-03 | Association for Computing Machinery | 24th Annual ACM Symposium on Applied |
2008-11 -- 2009-04 | | 6th Asian Workshop on Foundations of Software (AWFS 2009) Workshop Chair |
2008-11 -- 2009-06 | | 4th Logical and Semantic Frameworks, with Applications (LSFA 2009) PC member |
-- (現在) | | Frontiers of Computer Science Editor |
さらに表示... |