用代码书写文化:理工科人文教育的新探索