python好用的函数、工具等