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