可逆 算 子