作者：懒猫
IT 之家 1 月 24 日消息中国科学院计算技术研究所 1 月 23 日在官网发布了《关于 木兰 语言问题的调查与处理意见》（以下简称《意见》）。
《意见》指出， 木兰 语言团队主要负责人刘雷在宣传活动中存在《中国科学院对科研不端行为的调查处理暂行办法》中第三条第二款所列举的虚假陈述行为，同时在对外宣传活动中存在对单位的欺瞒行为。
《意见》决定，对刘雷做出如下处理：取消五年内专业技术岗位晋升的申请资格；取消三年内科研项目的申请资格；全所范围内通报批评；岗位等级从工程师一级降低为助理工程师一级。
中国科学院计算技术研究所在《意见》中还公布了相关事实认定，主要包括：
（一）刘雷带领团队开发了面向青少年编程教育的 木兰 语言。 木兰 语言分为 MiniLua 和μ Lang 前后两个版本。
（二）MiniLua 是在 Lua 语言上进行了裁剪和扩展的一种编程语言，团队定义了语言规范，自主开发了编译器、字节码规范和虚拟机，基于开源的 Blockly 开发了可视化编程环境，针对中小学青少年编程教育开展了一些深入的工作，工作较为系统完整。但向媒体宣称 完全自主设计 有夸大成分。
（三）μ Lang 以 Python 为基础，在语法上做了一些 C++ 风格的修改。刘雷团队实现了编译器前端，将μ Lang 的 LR 文法翻译成 Python 的 AST，并在 AST 上进行了对象命名标准化和 lambda 表达式扩展。语言后端和运行环境直接使用 Python 系统。向媒体宣称 木兰 是 完全自主设计、开发和实现的编程语言 属虚假陈述。
（四）MiniLua 可支持低成本嵌入式系统，前期主要应用领域为中小学编程教育，具有一定的物联网应用前景，尚未在物联网真实场景中得到应用。向媒体声称 木兰 定位为下一代重要应用物联网应用的开发语言 缺乏应用案例的支撑。
（五）弹性 actor 执行模型、利用数据稀疏性提升效率这两项技术，是刘雷参与过的工作，但未在 木兰 语言的实现中使用。宣传活动中声称 木兰 语言采用了这两项技术属虚假陈述。
（六）刘雷在道歉信的表述中没有区分 MiniLua 和μ Lang，易引起误解，表述不严谨。
（七）刘雷交给媒体的宣传材料，与提交给我所宣传主管的审批材料存在严重的不一致，属欺瞒行为。
