以下のページに引っ越しました。

https://sites.google.com/g.ecc.u-tokyo.ac.jp/bolt/