2014年6月 - 2016年3月 Steering Committee Chair International Symposium on Functional and Logic Programming (FLOPS) 団体区分 学協会