User-agent: *
Disallow: /~shimura/
Disallow: /inner/
Disallow: /tosyo/