>>972
実数ってなんでしたっけ?