中科院计算所发布“木兰”调查结果:涉虚假和欺瞒,取消五年晋升资格
作者:懶貓
IT 之家 1 月 24 日消息中國科學院計算技術研究所 1 月 23 日在官網發布了《關于“木蘭”語言問題的調查與處理意見》(以下簡稱《意見》)。
《意見》指出,“木蘭”語言團隊主要負責人劉雷在宣傳活動中存在《中國科學院對科研不端行為的調查處理暫行辦法》中第三條第二款所列舉的虛假陳述行為,同時在對外宣傳活動中存在對單位的欺瞞行為。
《意見》決定,對劉雷做出如下處理:取消五年內專業技術崗位晉升的申請資格;取消三年內科研項目的申請資格;全所范圍內通報批評;崗位等級從工程師一級降低為助理工程師一級。
中國科學院計算技術研究所在《意見》中還公布了相關事實認定,主要包括:
(一)劉雷帶領團隊開發了面向青少年編程教育的“木蘭”語言。“木蘭”語言分為 MiniLua 和μ Lang 前后兩個版本。
(二)MiniLua 是在 Lua 語言上進行了裁剪和擴展的一種編程語言,團隊定義了語言規范,自主開發了編譯器、字節碼規范和虛擬機,基于開源的 Blockly 開發了可視化編程環境,針對中小學青少年編程教育開展了一些深入的工作,工作較為系統完整。但向媒體宣稱“完全自主設計”有夸大成分。
(三)μ Lang 以 Python 為基礎,在語法上做了一些 C++ 風格的修改。劉雷團隊實現了編譯器前端,將μ Lang 的 LR 文法翻譯成 Python 的 AST,并在 AST 上進行了對象命名標準化和 lambda 表達式擴展。語言后端和運行環境直接使用 Python 系統。向媒體宣稱“木蘭”是“完全自主設計、開發和實現的編程語言”屬虛假陳述。
(四)MiniLua 可支持低成本嵌入式系統,前期主要應用領域為中小學編程教育,具有一定的物聯網應用前景,尚未在物聯網真實場景中得到應用。向媒體聲稱“‘木蘭’定位為下一代重要應用物聯網應用的開發語言”缺乏應用案例的支撐。
(五)彈性 actor 執行模型、利用數據稀疏性提升效率這兩項技術,是劉雷參與過的工作,但未在“木蘭”語言的實現中使用。宣傳活動中聲稱“木蘭”語言采用了這兩項技術屬虛假陳述。
(六)劉雷在道歉信的表述中沒有區分 MiniLua 和μ Lang,易引起誤解,表述不嚴謹。
(七)劉雷交給媒體的宣傳材料,與提交給我所宣傳主管的審批材料存在嚴重的不一致,屬欺瞞行為。
總結
以上是生活随笔為你收集整理的中科院计算所发布“木兰”调查结果:涉虚假和欺瞒,取消五年晋升资格的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Eclipse 推出支持 Java 14
- 下一篇: 滴滴:24日12时起暂停武汉网约车运营