実数の整数部分、ガウス記号

実数の整数部分を表す、いわゆる「ガウスの記号」についてのノートを作成してみたので、とりあえず、アップロード。