User-agent: *
Disallow: /~moriwaka/automata/
Disallow: /~nakamuta/
Disallow: /~tun/keitai/
Disallow: /~mino/tmp/
Disallow: /~kitasuka/tmp/