>>311
これくらい推測できるだろ...と思ったが一応書いとく。
sqrt(x) = √x
ceil(x) = ⌈ x ⌉  ( ceiling function, 天井関数 )
min(x, y) = if (x ≦ y) then x else y
(x<y) = if (x < y) then 1 else 0