中科院计算所发布“木兰”调查结果:涉虚假和欺瞒,取消五年晋升资格

  作者:懒猫

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

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

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

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

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

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

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

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

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

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

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

image.png

Published by

风君子

独自遨游何稽首 揭天掀地慰生平

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注