This site has been moved to https://hpc.media.kyoto-u.ac.jp/~yasudo/.