| 2016-11 -- 2018-12 | 京都大学 | RIMS共同研究（グループ型） "Computer Algebra – Theory and its Applications"/研究代表者 |
| 2016-11 -- 2017-09 | | 国際会議 CASC 2017 (Computer Algebra in Scientific Computing) プログラム委員会/委員 |
| 2016-06 -- (現在) | 日本数式処理学会 | 常任委員会/委員 |
| 2016-06 -- 2018-06 | 日本数式処理学会 | 論文誌 “Communications of the Japan Society for Symbolic and Algebraic Computation” 編集委員会/編集委員長 |
| 2016-06 -- 2018-06 | 日本数式処理学会 | 理事 |
| 2016-04 -- (現在) | 日本数式処理学会 | 代表会員 |
| 2014-11 -- 2016-12 | 京都大学 | RIMS研究集会 "数式処理とその周辺分野の研究" 研究提案者, 副代表者 |
| 2014-07 -- 2016-06 | 日本数式処理学会 | 大会プログラム委員会 / 委員 |
| 2012-06 -- 2016-06 | 日本数式処理学会 | 論文誌 “Communications of the Japan Society for Symbolic and Algebraic Computation” 編集委員会 / 編集委員 |
| 2014-12 -- 2015-06 | 日本数式処理学会 | 日本数式処理学会第24回大会実行委員長 |
| さらに表示... |