| 情報学基礎理論 |
| 数式処理 |
| 数式処理のアルゴリズム | -- (現在) | / | ||
| グレブナー基底を応用した幾何定理証明アルゴリズムの新たな展開 | 2010 -- 2012 | 日本学術振興会/基盤研究(C) | 2,600,000円 | |
| 和算で扱われた計算幾何学問題に対する現代的解法の研究 | 2013 -- 2015 | 森継 修一 | 日本学術振興会/基盤研究(C) | 2,730,000円 |
| 1989-04 -- 1994-02 | 図書館情報大学 助手 |
| 1994-02 -- 2002-09 | 図書館情報大学 助教授 |
| 2002-10 -- 2004-03 | 筑波大学 図書館情報学系 助教授 |
| 2004-04 -- 2007-03 | 筑波大学 大学院図書館情報メディア研究科 助教授 |
| 2007-04 -- 2009-03 | 筑波大学 大学院図書館情報メディア研究科 准教授 |
| 2009-04 -- (現在) | 筑波大学 大学院図書館情報メディア研究科 教授 |
| 1980-04 -- 1984-03 | 東京大学 理学部 情報科学科 | 卒業 |
| 1984-04 -- 1989-03 | 東京大学大学院 理学系研究科 情報科学専門課程 | 修了 |
| 理学修士 | 東京大学 | |
| 理学博士 | 東京大学 |
| 1997 -- (現在) | Association for Computing Machinery |
| 1990 -- (現在) | 日本応用数理学会 |
| 1991 -- (現在) | 日本数式処理学会 |
| 1989 -- (現在) | 情報処理学会 |
| 2020-10 -- 2021-02 | 情報メディア特別演習IIb | 筑波大学 |
| 2020-10 -- 2021-02 | 文献講読II | 筑波大学 |
| 2020-10 -- 2021-02 | 情報メディア特別演習(情報学)a | 筑波大学 |
| 2020-10 -- 2020-12 | 数式処理システム研究 | 筑波大学 |
| 2020-10 -- 2021-02 | 情報メディア特別演習IIa | 筑波大学 |
| 2020-04 -- 2020-08 | 特別演習b | 筑波大学 |
| 2020-10 -- 2021-02 | 情報メディア特別演習(図書館情報学)a | 筑波大学 |
| 2020-10 -- 2021-02 | 情報メディアシステム総合特別実験I | 筑波大学 |
| 2020-04 -- 2020-08 | 情報メディアシステム総合特別実験I | 筑波大学 |
| 2020-10 -- 2021-02 | 情報メディアシステム特別実験A | 筑波大学 |
| 2017-08 -- 2017-08 | 茨城県高校生科学体験教室 | 茨城県 |
| 2002-04 -- 2004-03 | 日本数式処理学会 | 理事・学会誌編集委員長 |
| 2000-06 -- 2004-05 | 情報処理学会 | 論文誌編集委員 |
| 2012-04 -- 2013-09 | ADG2012 Program Committee | |
| 2013-10 -- 2015-09 | ADG2014 Program Committee |
| 2004-04 -- 2006-03 | 入学室 | 室員 |
| 2007-04 -- 2009-03 | 入試実施委員会 | 委員 |
| 2007-04 -- 2009-03 | 知識情報・図書館学類入試グループ | 委員(2008年度主査) |
| 2008-04 -- 2011-03 | 図書館情報メディア研究科外部評価調査グループ | 委員 |
| 2008-04 -- 2011-03 | 図書館情報メディア研究科専攻学生グループ | 委員 |
| 2009-04 -- 2011-03 | 筑波大学FD委員会 | 委員 |
| 2009-04 -- 2011-03 | 情報学群FD委員会 | 委員長 |
| 2009-04 -- 2010-03 | 知識情報・図書館学類FDグループ | 主査 |
| 2009-04 -- 2011-03 | 学生生活支援室 | 室員 |
| 2010-04 -- 2012-03 | 図書館情報メディア研究科運営委員会 | 委員 |
(最終更新日: 2020-12-22)