二进制小数点转八进制公式是什么时候学的