廖立君 梁爱南 张农霞 黄贤明 周健勇 李长云 文志华

完全性 工作流建模 生物计算机 软件体系结构 元数学 开放类理论 窗外 阳光 软件自动化 对象的演化 业务流程 概率 水库 日本东京大学 数学意义 几何学 程序 开放类逻辑 语句 科学家 DNA计算机 数学对象 清华 蝴蝶 数学研究 语义理论 否定 五子棋 透过 求精