Gauss記号

実数の整数部分を表す、いわゆる「ガウスの記号」についてのノートをメンテ。