ai english lanuage life math network program programing science society thoughts tinking tools vpp windows writing 天文 常识 数学 科学 算法 读书笔记 输入