二引数の天井関数です。