“國(guó)產(chǎn)編程語(yǔ)言木蘭”換皮:中科院計(jì)算所重罰當(dāng)事人
1月15日,打著中科院計(jì)算所出品、完全自主開(kāi)發(fā)旗號(hào)的國(guó)產(chǎn)編程語(yǔ)言“木蘭”引發(fā)廣泛關(guān)注,但很快被發(fā)現(xiàn)是基于Python語(yǔ)言套殼、換皮而來(lái)的產(chǎn)物。
面對(duì)質(zhì)疑,中科院計(jì)算所編譯實(shí)驗(yàn)室員工、“木蘭”語(yǔ)言研發(fā)團(tuán)隊(duì)負(fù)責(zé)人劉雷很快承認(rèn)夸大其詞,在宣傳中犯了錯(cuò)誤,一是將“木蘭”語(yǔ)言的應(yīng)用范圍擴(kuò)大到智能物聯(lián)網(wǎng)領(lǐng)域,二是32位單片機(jī)上基于Python開(kāi)源編譯器進(jìn)行二次開(kāi)發(fā)卻說(shuō)成完全自主開(kāi)發(fā)。
不過(guò)劉雷強(qiáng)調(diào),“木蘭”項(xiàng)目并未使用任何科研經(jīng)費(fèi)。
中科院計(jì)算所很快做出回應(yīng),已對(duì)當(dāng)事人劉雷做出停職檢查的決定,就管理責(zé)任責(zé)令編譯實(shí)驗(yàn)室負(fù)責(zé)人作深刻檢討。
現(xiàn)在,中科院計(jì)算所又公布了關(guān)于“木蘭”語(yǔ)言問(wèn)題的調(diào)查與處理意見(jiàn),認(rèn)定了事件相關(guān)的諸多事實(shí),并對(duì)當(dāng)事人劉雷做出重罰。
中科院計(jì)算所認(rèn)定,劉雷是該所在職員工,工程師崗位,碩士學(xué)位,博士研究生學(xué)歷,宣傳中出現(xiàn)“劉雷副研究員”的說(shuō)法與其崗位不符,同時(shí)他還是中科智芯公司的負(fù)責(zé)人,帶領(lǐng)團(tuán)隊(duì)開(kāi)發(fā)了面向青少年編程教育的“木蘭”語(yǔ)言。
通報(bào)還詳細(xì)解釋了“木蘭”語(yǔ)言的MiniLua、μ Lang前后兩個(gè)版本:
MiniLua是在Lua語(yǔ)言上進(jìn)行了裁剪和擴(kuò)展的一種編程語(yǔ)言,劉雷團(tuán)隊(duì)定義了語(yǔ)言規(guī)范,自主開(kāi)發(fā)了編譯器、字節(jié)碼規(guī)范和虛擬機(jī),基于開(kāi)源的B1ockly開(kāi)發(fā)了可視化編程環(huán)境,針對(duì)中小學(xué)青少年編程教育開(kāi)展了些深入的工作,工作較為系統(tǒng)完整,但向媒體宣稱“完全自主設(shè)計(jì)”有夸大成分。
μLang以Python為基礎(chǔ),在語(yǔ)法上做了一些C++風(fēng)格的修改。劉雷團(tuán)隊(duì)實(shí)現(xiàn)了編譯器前端,將μLang的LR文法翻譯成Python的AST,并在AST上進(jìn)行了對(duì)象命名標(biāo)準(zhǔn)化和lambda表達(dá)式擴(kuò)展,語(yǔ)言后端和運(yùn)行環(huán)境直接使用Python系統(tǒng),向媒體宣稱“木蘭”是“完全自主設(shè)計(jì)、開(kāi)發(fā)和實(shí)現(xiàn)的編程語(yǔ)言”屬虛假陳述。
MiniLua可支持低成本嵌入式系統(tǒng),前期主要應(yīng)用領(lǐng)域?yàn)橹行W(xué)編程教育,具有一定的物聯(lián)網(wǎng)應(yīng)用前景,尚未在物聯(lián)網(wǎng)真實(shí)場(chǎng)景中得到應(yīng)用,向媒體聲稱““木蘭’定位為下一代重要應(yīng)用物聯(lián)網(wǎng)應(yīng)用的開(kāi)發(fā)語(yǔ)言”缺乏應(yīng)用案例的支撐。
彈性actor執(zhí)行模型、利用數(shù)據(jù)稀疏性提升效率這兩項(xiàng)技術(shù),是劉雷參與過(guò)的工作,但未在“木蘭”語(yǔ)言的實(shí)現(xiàn)中使用,宣傳活動(dòng)中聲稱“木蘭”語(yǔ)言采用了這兩項(xiàng)技術(shù)屬虛假陳述。
同時(shí),劉雷在道歉信的表述中沒(méi)有區(qū)分MiniLua和μ Lang,易引起誤解,表述不嚴(yán)謹(jǐn);劉雷交給媒體的宣傳材料,與提交給計(jì)算所所宣傳主管的審批材料存在嚴(yán)重的不一致,屬欺瞞行為。
計(jì)算所還強(qiáng)調(diào),劉雷的“木蘭”語(yǔ)言項(xiàng)目未獲得過(guò)國(guó)家科研項(xiàng)目資助。
中科院計(jì)算所認(rèn)定,劉雷在“木蘭”語(yǔ)言的宣傳活動(dòng)中存在欺瞞、虛假陳述和夸大宣傳的行為,違背了科學(xué)共同體公認(rèn)的道德,也違反了計(jì)算所的管理制度,產(chǎn)生了十分巨大的社會(huì)負(fù)面影響,做出如下處理:
1、取消五年內(nèi)專業(yè)技術(shù)崗位晉升的申請(qǐng)資格;
2、取消三年內(nèi)科研項(xiàng)目的申請(qǐng)資格;
3、全所范圍內(nèi)通報(bào)批評(píng);
4、崗位等級(jí)從工程師一級(jí)降低為助理工程師一級(jí)。
PS:當(dāng)年漢芯造假事件的影響可謂流毒甚遠(yuǎn)、遺臭萬(wàn)年,以至于現(xiàn)在很多認(rèn)真做國(guó)產(chǎn)芯片的還在被誤解,“木蘭”又搞這么一出,實(shí)在是讓人無(wú)法評(píng)價(jià),對(duì)那些認(rèn)真投入的和研究人員和項(xiàng)目也是極大的不公平。