The contents have moved to http://www-kb.is.s.u-tokyo.ac.jp/~ryosuke/mochi/.