油石、磨石、砥石、研磨石