×
×

五年內不得晉升,涉虛假和欺瞞!換皮“木蘭”處罰結果出來了

2020-01-24 14:34:18 來源:互聯網

1月24日消息 中國科學院計算技術研究所1月23日在官網發布了《關于“木蘭”語言問題的調查與處理意見》(以下簡稱《意見》)。

《意見》指出,“木蘭”語言團隊主要負責人劉雷在宣傳活動中存在《中國科學院對科研不端行為的調查處理暫行辦法》中第三條第二款所列舉的虛假陳述行為,同時在對外宣傳活動中存在對單位的欺瞞行為。

《意見》決定,對劉雷做出如下處理:取消五年內專業技術崗位晉升的申請資格;取消三年內科研項目的申請資格;全所范圍內通報批評;崗位等級從工程師一級降低為助理工程師一級。

中國科學院計算技術研究所在《意見》中還公布了相關事實認定,主要包括:

(一)劉雷帶領團隊開發了面向青少年編程教育的“木蘭”語言。“木蘭”語言分為MiniLua和μ Lang前后兩個版本。

(二)MiniLua是在Lua語言上進行了裁剪和擴展的一種編程語言,團隊定義了語言規范,自主開發了編譯器、字節碼規范和虛擬機,基于開源的Blockly開發了可視化編程環境,針對中小學青少年編程教育開展了一些深入的工作,工作較為系統完整。但向媒體宣稱“完全自主設計”有夸大成分。

(三)μ Lang以Python為基礎,在語法上做了一些C++風格的修改。劉雷團隊實現了編譯器前端,將μ Lang的LR文法翻譯成Python的AST,并在AST上進行了對象命名標準化和lambda表達式擴展。語言后端和運行環境直接使用Python系統。向媒體宣稱“木蘭”是“完全自主設計、開發和實現的編程語言”屬虛假陳述。

(四)MiniLua可支持低成本嵌入式系統,前期主要應用領域為中小學編程教育,具有一定的物聯網應用前景,尚未在物聯網真實場景中得到應用。向媒體聲稱“‘木蘭’定位為下一代重要應用物聯網應用的開發語言”缺乏應用案例的支撐。

(五)彈性actor執行模型、利用數據稀疏性提升效率這兩項技術,是劉雷參與過的工作,但未在“木蘭”語言的實現中使用。宣傳活動中聲稱“木蘭”語言采用了這兩項技術屬虛假陳述。

(六)劉雷在道歉信的表述中沒有區分MiniLua和μ Lang,易引起誤解,表述不嚴謹。

(七)劉雷交給媒體的宣傳材料,與提交給我所宣傳主管的審批材料存在嚴重的不一致,屬欺瞞行為。

下附調查與處理意見原文:



 

 

 

 

全部評論

重庆时时彩走势软件