作者：懒猫

　　IT 之家 1 月 24 日消息 中国科学院计算技术研究所 1 月 23 日在官网发布了《关于“木兰”语言问题的调查与处理意见》（以下简称《意见》）。

　　《意见》指出，“木兰”语言团队主要负责人刘雷在宣传活动中存在《中国科学院对科研不端行为的调查处理暂行办法》中第三条第二款所列举的虚假陈述行为，同时在对外宣传活动中存在对单位的欺瞒行为。

　　《意见》决定，对刘雷做出如下处理：取消五年内专业技术岗位晋升的申请资格；取消三年内科研项目的申请资格；全所范围内通报批评；岗位等级从工程师一级降低为助理工程师一级。

　　中国科学院计算技术研究所在《意见》中还公布了相关事实认定，主要包括：

　　（一）刘雷带领团队开发了面向青少年编程教育的“木兰”语言。“木兰”语言分为 MiniLua 和μ Lang 前后两个版本。

　　（二）MiniLua 是在 Lua 语言上进行了裁剪和扩展的一种编程语言，团队定义了语言规范，自主开发了编译器、字节码规范和虚拟机，基于开源的 Blockly 开发了可视化编程环境，针对中小学青少年编程教育开展了一些深入的工作，工作较为系统完整。但向媒体宣称“完全自主设计”有夸大成分。

　　（三）μ Lang 以 Python 为基础，在语法上做了一些 C++ 风格的修改。刘雷团队实现了编译器前端，将μ Lang 的 LR 文法翻译成 Python 的 AST，并在 AST 上进行了对象命名标准化和 lambda 表达式扩展。语言后端和运行环境直接使用 Python 系统。向媒体宣称“木兰”是“完全自主设计、开发和实现的编程语言”属虚假陈述。

　　（四）MiniLua 可支持低成本嵌入式系统，前期主要应用领域为中小学编程教育，具有一定的物联网应用前景，尚未在物联网真实场景中得到应用。向媒体声称“‘木兰’定位为下一代重要应用物联网应用的开发语言”缺乏应用案例的支撑。

　　（五）弹性 actor 执行模型、利用数据稀疏性提升效率这两项技术，是刘雷参与过的工作，但未在“木兰”语言的实现中使用。宣传活动中声称“木兰”语言采用了这两项技术属虚假陈述。

　　（六）刘雷在道歉信的表述中没有区分 MiniLua 和μ Lang，易引起误解，表述不严谨。

　　（七）刘雷交给媒体的宣传材料，与提交给我所宣传主管的审批材料存在严重的不一致，属欺瞒行为。