床関数と天井関数
床関数（ゆかかんすう、）と天井関数（てんじょうかんすう、）は、実数に対しそれぞれそれ以下の最大あるいはそれ以上の最小の整数を対応付ける関数である。
“”や“”といった名称や”formula_1”、”formula_2”などの記法は、1962年にケネス・アイバーソンによって導入された。