逆に
連続値を離散値に変える演算子は何?
まあ知り得ないから置いといて