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回大会実行委員長 |
2013-11 -- 2014-07 | 神戸大学 | 国際会議 ISSAC 2014 (International Symposium on Symbolic and Algebraic Computation) 会計責任者, 現地組織委員 |
2013-03 -- 2013-08 | 九州大学 | 九州大学マス・フォア・インダストリ研究所共同利用研究集会 "数式処理研究と産学連携の新たな発展" / 研究代表者 |
さらに表示... |