计算机科学 追踪 编码（集合论） 编码（社会科学） 人工智能 基线（sea） 机器学习 源代码 质量（理念） 代表（政治） 程序设计语言 程序设计范式 归纳程序设计 钥匙（锁） 计算机程序设计 知识表示与推理 软件质量 静态程序分析 代码评审 代码生成 符号编程 软件工程 程序设计域 程序性编程 数据挖掘