梁希泉院長(zhǎng)

        2000年8月，梁希泉甫到青島科技大學(xué)，就擔(dān)當(dāng)起剛剛建立起來的數(shù)理學(xué)院院長(zhǎng)的職務(wù)。十年間他親身經(jīng)歷了數(shù)理學(xué)院由小到大、逐步發(fā)展的過程，期間他和同事們一起付出了很多，但是他說“能為學(xué)校的發(fā)展出一份力，作出自己的貢獻(xiàn)，就感到很欣慰了。”
        作為一名教師，他一直在教學(xué)工作第一線擔(dān)任本科生基礎(chǔ)課與研究生基礎(chǔ)課的教學(xué)，講授“高等數(shù)學(xué)”、“高等代數(shù)”等多門課程。學(xué)院剛剛建立時(shí)，面對(duì)師資的匱乏，即便是作為院長(zhǎng)，他在處理冗繁的公務(wù)之余，有時(shí)每天也要承擔(dān)4～8節(jié)課的教學(xué)任務(wù)，每年的教學(xué)工作量均在550學(xué)時(shí)以上。在他和全體教師的共同努力下，數(shù)理學(xué)院的“大學(xué)物理”被評(píng)為省級(jí)精品課程，“高等數(shù)學(xué)”、“概率論與數(shù)理統(tǒng)計(jì)”等被評(píng)為校級(jí)優(yōu)秀課程，學(xué)科建設(shè)取得了長(zhǎng)足發(fā)展。
        自2002年起，梁希泉以第一學(xué)科帶頭人的身份先后組織應(yīng)用數(shù)學(xué)、基礎(chǔ)數(shù)學(xué)、計(jì)算機(jī)軟件理論與應(yīng)用、數(shù)量經(jīng)濟(jì)學(xué)的碩士點(diǎn)的申報(bào)工作。目前在這幾個(gè)學(xué)科上已招收培養(yǎng)多名碩士研究生。他悉心指導(dǎo)和培養(yǎng)多名研究生；帶隊(duì)并參與指導(dǎo)的第四屆、第五屆全國(guó)研究生數(shù)學(xué)建模比賽上，取得了國(guó)家一等獎(jiǎng)6項(xiàng)、二等獎(jiǎng)3項(xiàng)的好成績(jī)；2008年本科生數(shù)學(xué)建模比賽又都取得了優(yōu)異的成績(jī)。通過參賽提高了研究生的科研能力和本科生的教學(xué)水平，為學(xué)校獲得了極好的社會(huì)聲譽(yù)。
        在日常管理中，作為一院之長(zhǎng)的梁希泉積極倡導(dǎo)民主管理、群策群力，使全院形成了和諧上進(jìn)的院風(fēng)。數(shù)理學(xué)院成立之初，經(jīng)費(fèi)很緊張，為保證學(xué)院各項(xiàng)工作的順利開展，梁希泉把自己的科研經(jīng)費(fèi)都用于學(xué)術(shù)交流和學(xué)院教學(xué)設(shè)備的更新和維護(hù)上。梁希泉教授是我國(guó)數(shù)學(xué)、數(shù)學(xué)問題計(jì)算機(jī)證明等方面的專家，他與其研究生利用Mizar語言系統(tǒng)及其他相兼容的軟件包，在計(jì)算機(jī)上實(shí)現(xiàn)了數(shù)論中模素?cái)?shù)同余類、簡(jiǎn)化剩余系等相關(guān)定理的證明，定義了整系數(shù)多項(xiàng)式、平方剩余和Legendre符號(hào)，證明了中國(guó)剩余定理、Legendre公式等；討論了它們之間的相互關(guān)系，并證明了Gauss引理和二次互反律，給出了模素?cái)?shù)同余方程組、幾類高次同余方程的一般求解公式及原根的Mizar表達(dá)式；實(shí)現(xiàn)了BCK-代數(shù)、BCI-代數(shù)的性質(zhì)定理的證明，同時(shí)證明了它們所對(duì)應(yīng)的商代數(shù)的一致性；在Mizar系統(tǒng)下實(shí)現(xiàn)了四元數(shù)的各種表示、四元數(shù)代數(shù)運(yùn)算及其代數(shù)結(jié)構(gòu)中若干問題的證明，實(shí)現(xiàn)了矩陣的運(yùn)算，并證明了循環(huán)矩陣與四元數(shù)矩陣中相關(guān)命題；實(shí)現(xiàn)了數(shù)學(xué)分析中若干基本定理與公式的證明，并在Mizar語言系統(tǒng)下給出了規(guī)范的表達(dá)式；證明了在某幾類高次代數(shù)方程的不可約分解，并給出了相應(yīng)的分解表達(dá)式。以上研究成果都被Mizar數(shù)據(jù)庫和MetaPress數(shù)據(jù)庫收錄，多次被同行學(xué)者所引用，這些成果多次以論文形式發(fā)表在計(jì)算機(jī)輔助證明雜志Formalized Mathematics上。迄今為止，梁希泉教授在Formalized Mathematics等國(guó)際刊物上發(fā)表數(shù)學(xué)、數(shù)學(xué)問題計(jì)算機(jī)證明等方面的學(xué)術(shù)論文78篇，出版專著2部、教材2部，取得了顯著的基礎(chǔ)性研究成果。
        1997年至1999年在日本東京工業(yè)大學(xué)留學(xué)期間，梁希泉教授加入了國(guó)際Mizar-Group，目前是該學(xué)會(huì)的重要成員之一。多年來他與Mizar學(xué)會(huì)創(chuàng)始人波蘭華沙大學(xué)計(jì)算機(jī)學(xué)院院長(zhǎng)Andrzej Trybulec教授和信州大學(xué)Nakamura Yatsuka教授等諸多國(guó)內(nèi)外學(xué)者專家在該領(lǐng)域內(nèi)進(jìn)行合作研究并組織舉辦了3次國(guó)際應(yīng)用數(shù)學(xué)研討會(huì)。
        他的勤奮工作，多次受到表彰和獎(jiǎng)勵(lì)。他先后榮獲吉林省高等教育教學(xué)成果一等獎(jiǎng)、吉林省政府援藏榮譽(yù)證書，曾先后被評(píng)為青島市優(yōu)秀共產(chǎn)黨員、山東省高等學(xué)校優(yōu)秀共產(chǎn)黨員、青島科技大學(xué)優(yōu)秀教師、教學(xué)名師，榮獲青島科技大學(xué)第三屆“十佳育人標(biāo)兵”等稱號(hào)。

    梁希泉教授，1953年生，中共黨員。1978年本科畢業(yè)于東北師范大學(xué)后留校任教。1986年考入東北師范大學(xué)數(shù)學(xué)系讀碩士，師從陳維桓教授學(xué)習(xí)現(xiàn)代微分幾何，畢業(yè)后仍在東北師范大學(xué)任教。1993年考入吉林大學(xué)數(shù)學(xué)系讀博士，師從孫以豐教授學(xué)習(xí)拓?fù)鋵W(xué)，研究方向是微分拓?fù)鋵W(xué)，1996年7月吉林大學(xué)數(shù)學(xué)系畢業(yè)并獲理學(xué)博士學(xué)位。1996年擔(dān)任東北師范大學(xué)數(shù)學(xué)系副主任，現(xiàn)任青島科技大學(xué)數(shù)理學(xué)院院長(zhǎng)。