formula_2は、床関数である。