2009年1月 - 2010年1月 Program Committee Member The 37th ACM Symposium on Principles of Programming Languages (POPL 2010) 団体区分 学協会