中科院院士、我國計算機軟件事業(yè)先驅(qū)者之一董韞美逝世

據(jù)中國科學(xué)院軟件研究所發(fā)布的訃告，中國科學(xué)院院士，我國計算機軟件事業(yè)先驅(qū)者之一，中國人民政治協(xié)商會議第八、第九、第十屆全國委員會委員，中國科學(xué)院軟件研究所研究員董韞美先生，于2026年1月28日0時38分因病醫(yī)治無效，在北京逝世，享年90歲。

董韞美

董韞美于1936年3月4日出生于云南昆明，1956年7月畢業(yè)于東北人民大學(xué)（今吉林大學(xué)）數(shù)學(xué)系，1956年留校任助教，同年進入中國科學(xué)院新成立的計算技術(shù)研究所工作，1978年11月至1980年11月在美國斯坦福大學(xué)任訪問學(xué)者，1983年5月被聘為研究員，1984年任博士生導(dǎo)師。1985年3月中國科學(xué)院軟件研究所成立，董韞美轉(zhuǎn)入軟件所工作。1993年當(dāng)選為中國科學(xué)院學(xué)部委員（院士）。

中國科學(xué)院軟件研究所回顧道，董韞美在軟件理論、技術(shù)、工具和漢字信息處理等多個領(lǐng)域做出了系統(tǒng)性、創(chuàng)造性工作。20世紀(jì)60年代初至中期，主持研制出國內(nèi)最早的實用高級程序語言BCY，并先后在119機、109機、015機等機器上實現(xiàn)了相應(yīng)的編譯程序及其它系統(tǒng)軟件，在國家重大科研事業(yè)中長期應(yīng)用并發(fā)揮了重大作用。他在形式文法、語法檢查、程序測試等方面解決了系列重要問題。60年代初，為刻畫 Algol 及類似語言的語法，與合作者提出新語法模型—P語法。在BCY研制期間，找到了后來被國際上稱為“LL文法”的條件和自動生成語法矩陣的方法。70年代初，對于程序測試，獨立提出了通路覆蓋法。70年代末期，提出了用計算機設(shè)計高質(zhì)量漢字字形的參量圖形學(xué)方法及實現(xiàn)技術(shù)，并研制出漢字字形設(shè)計系統(tǒng) CCDS。80年代中期，率先在國內(nèi)開展軟件復(fù)用技術(shù)研究，實現(xiàn)國內(nèi)第一個可復(fù)用軟件設(shè)計系統(tǒng)。90年代以來，在基于復(fù)用的文法推斷方面，提出了一種新的上下文無關(guān)語言遞歸函數(shù)理論CFRF，設(shè)計了上下文無關(guān)文法句子的線性時間枚舉算法，解決了國際上關(guān)于是否存在線性時間算法的未決問題（Open problem）。

他先后獲得1991年中國科學(xué)院科技進步一等獎、1992年國家科技進步二等獎、2013年中國計算機學(xué)會終身成就獎等。發(fā)表論文40余篇，編輯學(xué)術(shù)會議論文選集一本。培養(yǎng)碩士生18人，博士生6人。曾任中國科學(xué)院軟件研究所學(xué)術(shù)委員會主任、學(xué)位評定委員會主任、軟件研究所計算機科學(xué)開放實驗室（后為計算機科學(xué)國家重點實驗室）首屆主任、學(xué)術(shù)委員會主任。曾長期擔(dān)任國務(wù)院學(xué)位委員會學(xué)科評議組成員，《計算機學(xué)報》主編，曾任全國科技發(fā)展長遠(yuǎn)規(guī)劃辦公室軟件組組長，第三、第四屆中國計算機學(xué)會理事等職。

澎湃新聞記者 鐘煜豪