ネコがどれだけネズミを殺してるか計算したのって
江戸時代の数学者が記した塵劫記だっけ?