The contents have moved to http://www.kb.ecei.tohoku.ac.jp/~ryosuke/mochi/.