爱华网他是一位勇于开拓的科技工作者，刻苦努力使他的数学人生在不失严谨下又多了一份厚重。他是一名爱岗敬业的好老师，著书立作，教书育人，甘为人梯。他就是青岛科技大学数理学院院长梁希泉。作为一名中共党员，他严于律已，人如其名。梁希泉的性格有如梁一样的正直；怀着一颗锐意进取，甘于奉献之心；用他的才智与关怀像泉水一样滋润与培育着学生。他用奋斗的一生告诉人们，刻苦努力才是成功的正解。 苦心人，天不负 1953年出生于吉林省农安县的梁希泉，不满20岁的他就开始参加工作，成为一名中学教师。然而，不满足于现状的他哪怕在那个动荡的年代，也始终没有放弃过学习，充实自已。通过努力，梁希泉考入了东北师范大学。本科毕业后，他留校任教，登上了大学的讲台。然而，眼前的风光并没能阻挡他前进的脚步，心存长远的他以更加坚定的信念开始了人生新的征途。 1986年，梁希泉考入东北师范大学数学系攻读硕士。他的努力赢得了学校的认可，被直接委托培养到北京大学数学系，师从陈维恒教授学习现代微分几何学。喜好数学的他在北大的校园里忘我地学习，像海绵一样吸取养分。1993年，梁希泉再一次走进课堂，考取了吉林大学数学系的博士研究生，在著名数学家孙以丰教授的指导下学习拓扑学，研究方向为微分拓扑。这段时间，踏实肯钻研的他在名师的指导下打下了后期教学科研的扎实基础。 宁静以致远
相对枯燥的数学领域永远属于那些能静下心，像一个钻头一样埋头苦钻的人。勤奋踏实让素有天赋的的梁希泉注定不会被埋没。 经过多年的辛勤耕耘，梁希泉教授在数学与数学问题计算机证明等研究方面取得了丰硕成果，数学俨然成为了其生命中不可或缺的一部分，近年来，他在圆满完成教学任务之余坚持不懈的进行科学研究，他带领研究生利用Mizar语言系统及其它相兼容的软件包，在计算机上实现了数学分析中若干基本定理与公式的证明，并在Mizar 语言系统下给出了规范的表达式；证明了在某几类高次代数方程的不可约分解，并给出了相应的分解表达式；实现了数论中模素数同余数、简化剩余系等相关定理的证明，定义了整系数多项式、平方剩余和Legendre符号，讨论了它们之间的相互关系，并证明了Gauss引理与二次互反律，给出了模素数同余方程组，几类高次同余方程的一般求解公式及原根的Mizar表达式；实现了BCK一代数，BCI一代数的性质定理的证明，同时证明了它们所对应的商代数的一致性；在Mizar系统下实现了四元数的各种表达、四元数代数运算及其代数结构中若干问题的证明，实现了矩阵的运算，并证明了循环矩阵与四元数矩阵中相关命题。 梁教授多次受日本名古屋大学、东京工业大学、信州大学邀请去讲学与合作研究。他撰写的《不完全市场经济的均衡配置，指标公式与非套利均衡问题》等论文观点鲜明，思想深刻，论据充分，思路清晰，被多种专刊转载。现在他与他的同事们与波兰华沙大学、日本信州大学的相关学者共同研究“Mizar语言的开发与数学问题的计算机证明”。1997年至1999年在日本东京工业大学留学期间梁希泉加入了国际Mizar-Group,目前仍是该学会的重要成员之一，多年来与Mizar学会创始人波兰华沙大学计算机学院院长Andrzej Trybulec 教授和信州大学Nakamura Yatsuka 教授等诸多国内外学者专家在该领域内进行了合作研究；组织举办了3次国际应用数学研讨会，力邀国内外学者深入研究探讨数学与数学的计算机证明问题。迄今为止，梁希泉教授在Formalized Mathematics等国际刊物上发表数学、数学问题的计算机证明等方面的学术论文78篇，出版专著2部，教材2部，取得了一系列创新性的研究成果。 教书育人诲人不倦 作为一名优秀的高校教师，梁希泉把教书育人，授业解惑视为人生的重大使命。在他的努力下，青岛科技大学数理学院的学科建设与人才培养取得了突出成效。 自2000年8月到青岛科技大学工作的近十年间，梁希泉见证了数理学院由小到大，逐步发展的过程。身为院长，他一直坚守在教学第一线，给本科与研究生讲授多门课程；每年的教学工作量均在550学时以上，并在授课过程中与同学们建立了深厚的友谊。 在他和全体教师的共同努力下，《大学物理》被评为省级精品课程，《高等数学》被评为校级精品课程，并于2007年均获得山东省高等学校基础学科建设专项资金。另外，《概率论与数理统计》、《线性代数》、《数学分析》、《高等代数》等被评为校级优秀课程，学科建设取得了长足发展。从2002年起，梁希泉先后组织应用数学、基础数学、计算机软件理论与应用、计量经济学的硕士点的申报工作，并在申报表中都是第一学科带头人。目前在这几个学科上已招收培养多名硕士研究生。 梁希泉教授教学之余还非常关心学生的能力的培养。他带队并参与指导的第四、五、六届全国研究生数学建模比赛上，取得了国家一等奖5项、二等奖13项、三等奖3项的好成绩。在近年来本科生数学建模比赛也取得了优异的成绩，通过参赛提高了学生的创新能力，并为学校获得了良好的社会声誉。 梁希泉的工作赢得了社会各界的肯定。他先后获得援藏教师荣誉证书、青岛科技大学先进工作者、山东省教育工作满三十年荣誉证书、青岛科技大学第三届“十佳育人标兵”、青岛市优秀共产党员，山东省教育系统优秀共产党员荣誉称号。2005年，梁希泉受聘中国亚太经济发展研究中心高级研究员，2007年，他又获得国务院专家评定办公室颁发的优秀专家证书。
