python学习笔记：字符串的格式化和用户输入