User-Agent: *
Disallow: /~kida/matha/
Disallow: /~kida/kyosuke/