马希文查看源代码讨论查看历史
马希文 马希文教授 1939 年 5 月 23 日生于河北省枣强县，是我国著名的数学家、计算机科学家、语言学家和教育家，也是杰出的科学普及工作者。他在教学与科研中有其极为独到的方法，在许多领域所做的开创性、先驱性及前瞻性的贡献，具有远远超出领域本身的重要理论涵义。他有超群的天赋，在哲学、音乐、文学等方面也很有造诣，熟悉多种语言。 马希文教授 1954 年进入北京大学数学力学系，时年15岁。毕业之年参加概率专门化，毕业时以他为主的研究小组所完成的优秀学术论文《最优分成问题（或量化问题）的渐近解》，发表在《数学学报》 1961 年第 3 期上。他被丁石孙教授誉为"最有才能的学生之一"。
他 1959 年毕业留校，在数学力学系概率教研室工作，主要研究信息论和编码理论。他开设了系里第一个数学信息论课程，与人合写了讲义，讲义中重新整理了经典信息论的理论体系，用更清晰更容易理解的方式证明了许多定理，该讲义为多届学生所使用。在此期间他还运用信息论的观点研究了中文的语言学问题，提出通过 4 级马尔可夫链处理中文可以得到很好的结果。这一方法八十年代后得到广泛运用。
六十年代后期，他从事试验设计方面的研究和推广，主要研究正交设计，并在北京橡胶总厂推广试验设计方法。1981 年出版专著《正交设计的数学理论》，把现代试验设计的很多方法，特别是日本田口学派的方法，从数学上进行了概括和整理，把一些方法的数学理论基础弄得很清楚，对发展正交设计的理论起了很大作用。
七十年代他曾在北京大学 6912 计算机上开发绘图和识谱奏乐软件。他从事计算机科学理论的研究，其论文《树计算机和树程序》发表在《计算机学报》创刊号上。他是我国计算机科学领域的第一批研究生导师之一。
1979 年至 1981 年,他作为首批派往美国的访问学者，在人工智能创始人 John McCarthy 教授领导的斯坦福大学人工智能实验室工作。其间从事诸多课题的研究，取得的重要成果之一是程序语义学论文《语义学中的关系方法》。
回国后，他在人工智能方面做了大量出色工作。他是中国人工智能领域奠基人之一，参与创建中国计算机学会人工智能学组和中国人工智能学会，并于 1982 年在北京计算机学院创办了人工智能研究室。他在 "知道逻辑" 的研究中取得重要成果，发表在 1983 年国际人工智能大会上的有关论文受到一致好评，因此他被推举为 1985 年国际人工智能大会程序委员会委员。1985 年主持国家自然科学基金项目"LISP 语言动态编译系统"。他对我国 863 计划智能计算机主题的立项起了重要作用。他以深刻的洞察力指出计算机在给人类社会带来巨大影响的同时，也有其不可避免的局限性。他为此撰写了多篇文章，始终以清醒的头脑推动人工智能学科的发展。
马希文教授曾任中国计算机学会理事，积极推动中国的理论计算机科学建设工作。1983 年他作为主要负责人之一在北京大学筹建成立了计算机研究所，举办了中国首次理论计算机研究班。1984 年参与组织中国计算机学会理论计算机科学分会，以及在广州召开的第一次理论计算机科学学术会议，并于同年在北大开办理论计算机科学研究生班，招收 10 名研究生。在此期间创立了北京大学理论计算机科学博士点。1987 年推动举办了第一届青年计算机工作者学术会议。在此期间他深入研究了计算机科学理论的许多问题，在课程讲义的基础上出版了著作《程序设计学》，发表了长篇论文《理论计算机科学引论》，后者修改后用英文在新加坡 World Scientific Publishing Co. Pte Ltd 出版。其论文《什么是理论计算机科学》提出了许多很深刻的认识。
马希文教授在语言学方面有很高的造诣，是首届国家语言文字工作委员会委员。七十年代后期他与朱德熙先生等著名语言学教授的学术讨论发展成一个持续多年语法讨论班，吸引和熏陶了一批新人，酝酿了一些重要成果，包括他自己的多篇论文，如《中国语言学报》创刊号首篇《关于动词"了"的弱化形式》。而后又先后在《中国语文》等刊物上发表数篇高质量的有关汉语语法和汉语虚词的学术论文，受到汉语学界的高度评价。他熟练掌握英语和俄语，并涉猎阿尔巴尼亚、蒙古、日、德、法、朝鲜、豪萨、斯瓦希利、世界语等多种语言。
马希文教授是中国计算语言学的奠基人之一，对于计算机科学同语言学的结合倾注了极大的热忱。1983 年他在北大开设了计算语言学课程，而后于 1986 年与朱德熙教授一起组建了北京大学计算语言学研究所，并主持了信息科学跨学科系列讨论班。他在北京语言文化大学参与创办语言信息处理研究所，并在中国科学院软件研究所、北京信息工程学院、黑龙江大学、中软公司等单位指导课题研究，涉及汉字输入、文本编辑、机器翻译、语言理解、自动文摘、汉语计算机辅助教学等方面，并亲自设计算法、调试程序。他曾撰写多篇文章论及两个学科的关系，并热情洋溢地为他的研究生的著作作序，鼓动用计算机科学的方法辅助语言学研究。
他以一个科学家的责任感，非常重视科学普及和基础教育工作。他曾担任国际数学奥林匹克竞赛中国队总教练，1989 年率队参加在德国举行的第 30 届国际数学奥林匹克竞赛，取得了团体总分第一、金牌总数第一的历史最好成绩。他撰写了一批科普精品，组织领导了获普利策奖的"奇书"《哥德尔、艾舍尔、巴赫-集异璧之大成》的汉译工作。该译著得到原作者的特别推崇，并于 2001 年 6 月获第四届全国科普优秀作品奖。
九十年代，马希文教授旅居海外，从事计算机软件应用开发，在 CEON CORPORATION 担任首席科学家，并拥有若干项专利。他曾任北加州北京大学校友会副会长，并积极为国内的科研与教育献策献力。他热心助人，在华人华侨同胞中富有影响力。
马希文教授19岁毕业后即从事教学工作，几十年中桃李无数。他开设了许多全新的课程，所用讲义都是他研究心得的结晶。他指导了一批批的研究生，他的学术思想和治学方法使他们终生受益。
马希文教授一生淡泊名利，从不追逐职位和奖项。他一味地开路，并不谋求获得。他不写鸿篇巨制，但每一篇文章都字字珠玑。他有求必应，乐于让别人分享自己的智慧。他的身上体现了一种真正的学者风范。
马希文教授于 2000 年 12 月 22 日不幸病逝于美国加州 Red Wood City，终年 61 岁。他给我们留下了永远享用不尽的精神财富。[1]
《逻辑-语言-计算，马希文文选》序
马希文 1954 年考入北京大学数学系，入学时才 15 岁，是班上年龄最小的一个。他非常聪明，在专业学习上花的时间很少，但成绩却很好，与他同班的同学开玩笑地称他为“小天才”。当时我教他们高等代数，又是他所在小班的班主任，所以从他进入北大开始我们就非常熟悉。马希文兴趣广泛，值得一提的是他颇有音乐才能，学生时代担任过学生乐团的指挥，自己还能作曲。另外，他的语言天赋也给我留下了很深的印象。我记得他不但学习了规定的俄文课程，还自学了蒙古文及东欧一些国家的语言和世界语。
马希文不仅是一个兴趣广泛的人，而且对涉猎的很多领域都有深入的研究，取得了一些很好的研究成果或者提出过一些新的见解。这本集子中收入的尽是他研究成果的一部分。这些论文除了数学方面的以外，还包括方言，计算机语言以及计算理论。他的研究工作在很多方面可能只是开始，但我认为他提出的许多问题是值得深入进行研究的。所以这本文集对从事有关研究的同志是有启发意义的。
马希文是极少见的聪明、多才多艺的人，可惜天不假年，对于他的过早去世我至今犹感悲痛。是为序。[2]
送别希文
长歌当哭 --送别希文
我知道你是不喜欢哀乐的,
你曾经对我说，
你要用欢快悦耳的乐声，
鼓起朋友们心海中的阵阵春风。
可是今天我们却要用哀乐来送别你：
“才高八斗兮旷世神童，
巍巍中华兮痛失良骥，
英年早逝兮断我肝肠！”
你走了，
人去楼空，
长歌当哭，
让我们用凄婉的哀乐，
来排遣心灵中那缠绵的惋惜忧伤。
我知道你是不喜欢流泪的，
你曾经对我说，
你要为欢乐而生活，为欢乐而工作，为欢乐而歌唱，
悲哀的天使同你的名字早已分道镳扬。
可是今天我们却要用泪水来送别你：
“文理兼能兮学贯中西，
巍巍中华兮痛失良骥，
英年早逝兮断我肝肠！”
你走了，
人去楼空，
长歌当哭，
让我们用滂沱的泪水，
来洗涤心灵中那刺人的深痛巨创。
我知道你是不喜欢叹息的，
你曾经对我说，
你要用永恒的微笑，
把生活中的烦恼和忧虑赶净扫光。
可是今天我们却要用叹息来送别你：
“闻一知十兮慧心巧思，
巍巍中华兮痛失良骥，
英年早逝兮断我肝肠！”
你走了，
人去楼空，
长歌当哭，
让我们用沉郁的叹息，
来弥合心灵中那难舍的离合悲欢。
（国家教育部语用所，研究员 冯志伟，2001年1月30日，于北京）[3]
马希文教授部分著作
著作
《程序设计学》，科学出版社，1985
《正交设计的数学理论》，人民教育出版社，1981
《LISP语言》，马希文 宋柔，高等教育出版社，1990
Introduction to Theoretical Computer Science, World Scientific Publishing co. pte.ltd,1990
数学花园漫游记 中国少年儿童出版社 1980 数学论文
双曲函数 数学通报，1956.7, P19-22 1956.7
有限传输设备系统的Feinstein引理 数学学报，V14, NO2, 1964, P291-303 1964
机器证明及其应用（I） 科技参考（计算机应用与应用数学）1978.4,p20-27 1978.4
机器证明及其应用（II,III） 科技参考（计算机应用与应用数学）1978.8, p17-23,24-28 1978.8
关于拟因子法 数学的实践与认识1979年第4期 1979
分布式计算与异步迭代法， 数学的实践与认识，1983.3, p33-35 1983.3
计算机科学论文
树计算机与树程序，《计算机学报》，1978.1，第1卷第1期，71-81
语义学中的关系方法，《计算机学报》1982.1，第5卷第1期，1-10
W-JS: A Modal Logic of Knowledge 1983 International Joint Conference on Artificial Intelligence (IJCAI 83), 398-401 Ma Xiwen, Guo Weide
W-JS：有关"知道"的模态逻辑，《计算机研究与发展》1982.1（马希文，郭维德）
理论计算机科学引论，《计算机研究与发展》1988.2, pp1-36
什么是可计算性，《计算机研究与发展》1988.11, pp14-17
自然语言理解，《计算机工程与应用》1987.4, pp18-21
计算机与思维 《人·自然·社会》孙小礼，楼格编，北京大学出版社 1987
计算机与社会 《人·自然·社会》孙小礼，楼格编，北京大学出版社 1987
计算机与思维科学 《关于思维科学》钱学森主编，上海人民出版社，1986.7 1986
人脑、计算机和"电脑" 《思维科学》1985年第1期 1985
基于互动的计算机汉字楷书识别，《自动化学报》1992.4, pp502-504。周昌乐，马希文
语言学论文
动词"了"的弱化形式/l u/，中国语言学报，1982年第1期，1-14页
计算机与文字改革，文字改革1984年第5期，23-26页
通字，汉字改革的一种途径，文字改革1985年第3期，18-20页
有关副词"再"的句式，中国语文1985年第3期，105-114页
语文工作与科学技术，语文建设1986年第1-2期（合刊）34-36页
北京方言里的"着"，方言，1987年第1期，17-22页
自然语言理解 计算机工程与应用pp18-21 1987.4 有关动结式动词的句式，中国语文1987年第6期，424-441页
从计算机中文系统看汉语拼音方案，语文建设1988年第1期，7-9页
语言学资料的计算机处理，语文建设1988年第6期，3-10页
以计算语言学为背景看语法问题，国外语言学，1989年第3期，139-145页
比较方言学中的计量方法，中国语文1989年第5期，348-360页
自然语言理解与自动文摘 《智能技术与系统基础》北京大学出版社，99-108 1990.2 马希文，李小滨，徐越[4]
参考文献
- ↑ 马希文教授生平简历北京大学数学科学学院，2016-09-23
- ↑ 《逻辑-语言-计算，马希文文选》序 丁石孙 北京大学数学科学学院，2016-09-23
- ↑ 长歌当哭 --送别希文北京大学数学科学学院，2016-09-23
- ↑ 马希文教授部分著作 北京大学数学科学学院，2016-09-23