愛華網(wǎng)他是一位勇于開拓的科技工作者，刻苦努力使他的數(shù)學(xué)人生在不失嚴(yán)謹(jǐn)下又多了一份厚重。他是一名愛崗敬業(yè)的好老師，著書立作，教書育人，甘為人梯。他就是青島科技大學(xué)數(shù)理學(xué)院院長梁希泉。作為一名中共黨員，他嚴(yán)于律已，人如其名。梁希泉的性格有如梁一樣的正直；懷著一顆銳意進(jìn)取，甘于奉獻(xiàn)之心；用他的才智與關(guān)懷像泉水一樣滋潤與培育著學(xué)生。他用奮斗的一生告訴人們，刻苦努力才是成功的正解。 苦心人，天不負(fù) 1953年出生于吉林省農(nóng)安縣的梁希泉，不滿20歲的他就開始參加工作，成為一名中學(xué)教師。然而，不滿足于現(xiàn)狀的他哪怕在那個動蕩的年代，也始終沒有放棄過學(xué)習(xí)，充實自已。通過努力，梁希泉考入了東北師范大學(xué)。本科畢業(yè)后，他留校任教，登上了大學(xué)的講臺。然而，眼前的風(fēng)光并沒能阻擋他前進(jìn)的腳步，心存長遠(yuǎn)的他以更加堅定的信念開始了人生新的征途。 1986年，梁希泉考入東北師范大學(xué)數(shù)學(xué)系攻讀碩士。他的努力贏得了學(xué)校的認(rèn)可，被直接委托培養(yǎng)到北京大學(xué)數(shù)學(xué)系，師從陳維恒教授學(xué)習(xí)現(xiàn)代微分幾何學(xué)。喜好數(shù)學(xué)的他在北大的校園里忘我地學(xué)習(xí)，像海綿一樣吸取養(yǎng)分。1993年，梁希泉再一次走進(jìn)課堂，考取了吉林大學(xué)數(shù)學(xué)系的博士研究生，在著名數(shù)學(xué)家孫以豐教授的指導(dǎo)下學(xué)習(xí)拓?fù)鋵W(xué)，研究方向為微分拓?fù)?。這段時間，踏實肯鉆研的他在名師的指導(dǎo)下打下了后期教學(xué)科研的扎實基礎(chǔ)。 寧靜以致遠(yuǎn)
相對枯燥的數(shù)學(xué)領(lǐng)域永遠(yuǎn)屬于那些能靜下心，像一個鉆頭一樣埋頭苦鉆的人。勤奮踏實讓素有天賦的的梁希泉注定不會被埋沒。 經(jīng)過多年的辛勤耕耘，梁希泉教授在數(shù)學(xué)與數(shù)學(xué)問題計算機證明等研究方面取得了豐碩成果，數(shù)學(xué)儼然成為了其生命中不可或缺的一部分，近年來，他在圓滿完成教學(xué)任務(wù)之余堅持不懈的進(jìn)行科學(xué)研究，他帶領(lǐng)研究生利用Mizar語言系統(tǒng)及其它相兼容的軟件包，在計算機上實現(xiàn)了數(shù)學(xué)分析中若干基本定理與公式的證明，并在Mizar?語言系統(tǒng)下給出了規(guī)范的表達(dá)式；證明了在某幾類高次代數(shù)方程的不可約分解，并給出了相應(yīng)的分解表達(dá)式；實現(xiàn)了數(shù)論中模素數(shù)同余數(shù)、簡化剩余系等相關(guān)定理的證明，定義了整系數(shù)多項式、平方剩余和Legendre符號，討論了它們之間的相互關(guān)系，并證明了Gauss引理與二次互反律，給出了模素數(shù)同余方程組，幾類高次同余方程的一般求解公式及原根的Mizar表達(dá)式；實現(xiàn)了BCK一代數(shù)，BCI一代數(shù)的性質(zhì)定理的證明，同時證明了它們所對應(yīng)的商代數(shù)的一致性；在Mizar系統(tǒng)下實現(xiàn)了四元數(shù)的各種表達(dá)、四元數(shù)代數(shù)運算及其代數(shù)結(jié)構(gòu)中若干問題的證明，實現(xiàn)了矩陣的運算，并證明了循環(huán)矩陣與四元數(shù)矩陣中相關(guān)命題。 梁教授多次受日本名古屋大學(xué)、東京工業(yè)大學(xué)、信州大學(xué)邀請去講學(xué)與合作研究。他撰寫的《不完全市場經(jīng)濟的均衡配置，指標(biāo)公式與非套利均衡問題》等論文觀點鮮明，思想深刻，論據(jù)充分，思路清晰，被多種專刊轉(zhuǎn)載。現(xiàn)在他與他的同事們與波蘭華沙大學(xué)、日本信州大學(xué)的相關(guān)學(xué)者共同研究“Mizar語言的開發(fā)與數(shù)學(xué)問題的計算機證明”。1997年至1999年在日本東京工業(yè)大學(xué)留學(xué)期間梁希泉加入了國際Mizar-Group,目前仍是該學(xué)會的重要成員之一，多年來與Mizar學(xué)會創(chuàng)始人波蘭華沙大學(xué)計算機學(xué)院院長Andrzej?Trybulec?教授和信州大學(xué)Nakamura?Yatsuka?教授等諸多國內(nèi)外學(xué)者專家在該領(lǐng)域內(nèi)進(jìn)行了合作研究；組織舉辦了3次國際應(yīng)用數(shù)學(xué)研討會，力邀國內(nèi)外學(xué)者深入研究探討數(shù)學(xué)與數(shù)學(xué)的計算機證明問題。迄今為止，梁希泉教授在Formalized?Mathematics等國際刊物上發(fā)表數(shù)學(xué)、數(shù)學(xué)問題的計算機證明等方面的學(xué)術(shù)論文78篇，出版專著2部，教材2部，取得了一系列創(chuàng)新性的研究成果。 教書育人誨人不倦 作為一名優(yōu)秀的高校教師，梁希泉把教書育人，授業(yè)解惑視為人生的重大使命。在他的努力下，青島科技大學(xué)數(shù)理學(xué)院的學(xué)科建設(shè)與人才培養(yǎng)取得了突出成效。 自2000年8月到青島科技大學(xué)工作的近十年間，梁希泉見證了數(shù)理學(xué)院由小到大，逐步發(fā)展的過程。身為院長，他一直堅守在教學(xué)第一線，給本科與研究生講授多門課程；每年的教學(xué)工作量均在550學(xué)時以上，并在授課過程中與同學(xué)們建立了深厚的友誼。 在他和全體教師的共同努力下，《大學(xué)物理》被評為省級精品課程，《高等數(shù)學(xué)》被評為校級精品課程，并于2007年均獲得山東省高等學(xué)?；A(chǔ)學(xué)科建設(shè)專項資金。另外，《概率論與數(shù)理統(tǒng)計》、《線性代數(shù)》、《數(shù)學(xué)分析》、《高等代數(shù)》等被評為校級優(yōu)秀課程，學(xué)科建設(shè)取得了長足發(fā)展。從2002年起，梁希泉先后組織應(yīng)用數(shù)學(xué)、基礎(chǔ)數(shù)學(xué)、計算機軟件理論與應(yīng)用、計量經(jīng)濟學(xué)的碩士點的申報工作，并在申報表中都是第一學(xué)科帶頭人。目前在這幾個學(xué)科上已招收培養(yǎng)多名碩士研究生。 梁希泉教授教學(xué)之余還非常關(guān)心學(xué)生的能力的培養(yǎng)。他帶隊并參與指導(dǎo)的第四、五、六屆全國研究生數(shù)學(xué)建模比賽上，取得了國家一等獎5項、二等獎13項、三等獎3項的好成績。在近年來本科生數(shù)學(xué)建模比賽也取得了優(yōu)異的成績，通過參賽提高了學(xué)生的創(chuàng)新能力，并為學(xué)校獲得了良好的社會聲譽。 梁希泉的工作贏得了社會各界的肯定。他先后獲得援藏教師榮譽證書、青島科技大學(xué)先進(jìn)工作者、山東省教育工作滿三十年榮譽證書、青島科技大學(xué)第三屆“十佳育人標(biāo)兵”、青島市優(yōu)秀共產(chǎn)黨員，山東省教育系統(tǒng)優(yōu)秀共產(chǎn)黨員榮譽稱號。2005年，梁希泉受聘中國亞太經(jīng)濟發(fā)展研究中心高級研究員，2007年，他又獲得國務(wù)院專家評定辦公室頒發(fā)的優(yōu)秀專家證書。
愛華網(wǎng)本文地址 » http://www.klfzs.com/a/9101032201/104670.html
