day02 python流程控制 while循环 格式化输出 运算符 编码