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

董韞美

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

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

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

澎湃新聞?dòng)浾?鐘煜豪