User-agent: *
Disallow: /
Disallow: /~shimura/
Disallow: /tosyo/
Disallow: /manual/
Disallow: /sotsuken/