Ida Tetsuo

Researcher's full information

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