刘凤玉 陈有刚 潘云鹤 高洪奎 叶澄清 胡运发 吴中海 张宏 卢肇川 胡子昂 秦小麟 钟勇

datalog语言 数字版权管理 形式生成 硬件合一 计算机科学 控制规则 权利描述语言 加速器 子句 发式 使用控制 形式化 智能回溯