2024年11月8日16：40-18：40，湖南大學(xué)岳麓學(xué)者博士生導(dǎo)師賈曉東副教授蒞臨學(xué)校在思學(xué)樓A110展開(kāi)了關(guān)于《概率程序語(yǔ)言的domain理論基礎(chǔ)》的學(xué)術(shù)講座，理學(xué)院金檢華教授主持了會(huì)議，相關(guān)方向的教師及研究生們參加了此次學(xué)術(shù)交流活動(dòng)。

賈曉東老師首先介紹了函數(shù)程序語(yǔ)言及其指稱(chēng)語(yǔ)義，圖靈獎(jiǎng)得主Dana Scott提出的domain理論利用序與拓?fù)浣Y(jié)構(gòu)給出程序的含義，借助數(shù)學(xué)理論來(lái)理解和預(yù)測(cè)程序的運(yùn)行行為，指導(dǎo)程序語(yǔ)言的設(shè)計(jì)與驗(yàn)證。接著，他介紹了在人工智能研究中發(fā)揮重要作用的概率程序語(yǔ)言，詳細(xì)闡述了高階概率程序語(yǔ)言的domain理論基礎(chǔ)及著名的Jung-Tix問(wèn)題，深入淺出地引導(dǎo)師生探索與發(fā)現(xiàn)真問(wèn)題，激發(fā)學(xué)生的求知欲和創(chuàng)新思維。

與會(huì)師生全神貫注地聆聽(tīng)，積極交流討論，針對(duì)概率程序語(yǔ)言的變量類(lèi)型、指代方式、概率冪domain賦值等問(wèn)題向賈老師提問(wèn)請(qǐng)教，賈老師都詳細(xì)地作了解答?，F(xiàn)場(chǎng)氣氛活躍，與會(huì)師生表示受益匪淺，不僅對(duì)概率程序語(yǔ)言及其Domain理論基礎(chǔ)有了更深層次的認(rèn)識(shí)，而且拓展了科學(xué)研究方法。

此次活動(dòng)為我校青年教師搭建了學(xué)習(xí)與交流的平臺(tái)，助力我校教師在科學(xué)研究道路上不斷成長(zhǎng)與進(jìn)步，為培養(yǎng)更多優(yōu)秀教師奠定堅(jiān)實(shí)的基礎(chǔ)。