王垠是一个很有趣的人，很不错的计算机专家