院士 虚拟现实 ontology 超级计算机 数学与系统科学研究院 因特网 蛋白质分子 生物信息学 美国计算机协会 数据库 数字化 生物学家 计算机系统 电话交换机 评奖程序 黑洞 模拟装置 定理机器证明 数学实验室 本体论 测序基因组 信息时代 人类基因 被提名者 教育数学 万维网 图灵 模拟图书馆 计算能力