This site has been moved to http://www.algo.cce.i.kyoto-u.ac.jp/yasudo/.