python 列表综合的一个事例