ゆか関数 かんすうであれば
yukakansūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 床関数

1. If the floor function; When the floor function

Ba Conditional
Mathematics