2019年1月 - 2021年12月 Members-at-Large Technical Committee on Multiple-Valued Logic, IEEE Computer Society 団体区分 学協会