友人から教えてもらったのだが、
猫は Mathoverflow を利用してるか?