计算机科学家、《浪潮之巅》《数学之美》作者