2008年1月 - 2009年12月 Technical Committee on Multiple-Valued Logic, Chair IEEE Computer Society 団体区分 学協会