以下のページに引っ越しました。
https://sites.google.com/g.ecc.u-tokyo.ac.jp/bolt/