【新智元導讀】中國電腦軟體學科奠基人， 南京大學電腦系教授、博士生導師 徐家福先生， 16日清晨於家中辭世， 享年94歲。 新智元在此整理了徐家福先生生前眾多研究成果資料，
中國電腦軟體學科奠基人， 南京大學電腦系教授、博士生導師徐家福先生， 今晨于家中辭世， 享年94歲。
徐家福先生是江蘇南京人， 1924年12月出生， 1948年畢業于中央大學（今南京大學）。
曾任南京大學電腦軟體研究所所長、電腦軟體新技術國家重點實驗室主任， 國務院學位委員會電腦學科評議組召集人， 國務院電子振興領導小組顧問， 中國電腦學會副理事長， 清華大學、吉林大學兼職教授等。 也是南京大學電腦軟體新技術國家重點實驗室名譽主任。 主要研究高階語言、新型程式設計與軟體自動化。
中國電腦學會沉痛悼念
16日， 電腦學會發佈關於徐家福先生仙逝的唁電， 我們搜集和整理了一些資料， 以紀念徐家福先生為我國的電腦軟體事業做出的巨大貢獻！
徐家福先生少年時求學天賦異稟
徐家福先生， 字筱棠， 江蘇南京人， 我國電腦軟體奠基人之一。
1924年11月18日出生
1931年上學， 就讀于南京船板巷小學
1937年畢業， 考入南京一中， 時值抗日戰爭爆發， 輟學在家
1938年又考入國立東北中學
1941年初中畢業， 學校解散， 轉入國立十八中
1944年高中畢業， 考入國立中央大學理學院數學系
1948年畢業， 留校任助教， 1953年任南京大學講師
注：徐家福先生小學獎狀
注：徐家福先生中學獎狀
注：徐家福先生高中獎狀
注：徐家福先生小學、中學畢業證書
注：徐家福先生大學畢業證書
徐家福先生遠赴莫斯科大學修習程式設計，師從舒拉布拉教授
1957年赴莫斯科大學修習程式設計，師從舒拉布拉教授
1959年回國
1981年任南京大學教授，成為當時全國兩名電腦軟體專業博士生導師之一
注：右四為徐家福，有三為舒拉布拉，右二為楊芙清院士
徐家福先生歸國後學術碩果累累
徐家福先生20世紀50年代後期起致力於電腦軟體研究
曾主持並參與研製14個軟體系統
發表學術論文158篇
出版著作8本，獲獎20多次
主要的研究成果有J-501機上的Algol語言編譯系統
103機上的Algol語言編譯系統
Cobol國標的制定
系統程式設計語言XCY的設計與實現
軟體設計規約語言GSPEC
軟體功能規約語言FGSPEC
軟體需求定義語言NDRDL
軟體需求定義語言NDORL
其中，J-501機上的Algol語言編譯系統是國內第一個可用的Algol編譯系統
使程式人員解脫了低階語言程式設計的繁瑣細節
1978年與中科院計算所仲萃豪、北京大學楊芙清教授
合作設計並實現了系統程式設計語言XCY
XCY兼顧程式設計與併發程式設計
使和機器有關的部分盡可能局部化
以便於移植和擴充
徐先生代表研究組
在1980年10月在日本東京舉行的“第八屆電腦大會”上做了報告
題目是《On the Design ,Implementation and Use of the Systems ProgrammingLanguage XCY》
這是我國第一次在Information Processing上發表文章
蘇聯科學院院士葉爾紹夫說：
“這項工作不僅在理論上還是實踐上都很有意義，其中的模組定義與處理很有特色”
在新型程式設計方面
開發了“資料驅動式並行規約機模型FPMND與並行推理系統NDPIS”
FPMND是基於函數式語言FP的規約機模型
當時的博士生、曾經的教育部副部長、現在的院士趙沁平教授也參了這個項目
在20世紀80年代
徐先生參加了大量國際電腦會議
為推動我國電腦軟體的發展做出了很大貢獻
看每次會議中的熟悉面孔
很多是是國內的著名院士
南京大學電腦系在20世紀80年代實力雄厚
在徐家福和孫仲秀等的帶領下
電腦軟體新技術國家重點實驗室在1986年就成立了
徐先生從1948年秋起
任教時間達55年
主講過微積分、微分方程、數學分析、計算方法
以及程式設計、演算語言、編譯技術、軟體自動化等課程
所授各課無不精選內容、精心備課，注重交代來龍去脈
講解能深入淺出、引人入勝
並能身教、言教、曉以為人之道，堪稱良師
自1981年起
先後招收博士研究生24名
而畢業獲博士學位者僅僅16人
淘汰率之高，國內實屬罕見
其門弟子真可謂嚴師出高徒
大都道德文章聞於世
至今已有兩名院士
10年前榮獲國家傑出青年基金者2人
長江學者2人
霍英東基金或者獎金者4人
中創軟體人才獎者3人
比較知名的如原教育部副部長、現在的院士趙沁平教授
南京大學常務副校長、院士呂建教授
等等
徐家福先生與愛人相濡以沫，為人剛正不阿
注：徐家福先生與愛人
注：徐家福先生與愛人
注：徐家福先生與愛人
徐先生為人重氣節，愛恨分明，剛正不阿
對人誠信忠厚，好與人爭
1985年
日本一家機構邀請徐先生去日本合作
在福剛遊覽時
日本人將車停在一標有“破元寇處”之石碑下
妄圖讓徐先生等在石碑下合影
徐先生火從中來
揮手命朝石碑往者止步返回
對方悟其詭計已被識破
立即登車而往他處
此類事件不一而足
謹以此文懷念徐家福先生。
新智元編輯：法蘭西斯
點擊閱讀原文瞭解更多
加入社群
新智元AI技術+產業社群招募中，歡迎對AI技術+產業落地感興趣的同學，加小助手微信號: aiera2015_1 入群；通過審核後我們將邀請進群，加入社群後務必修改群備註（姓名-公司-職位；專業群審核較嚴，敬請諒解）。
此外，新智元AI技術+產業領域社群(智慧汽車、機器學習、深度學習、神經網路等)正在面向正在從事相關領域的工程師及研究人員進行招募。
注：徐家福先生高中獎狀
注：徐家福先生小學、中學畢業證書
注：徐家福先生大學畢業證書
徐家福先生遠赴莫斯科大學修習程式設計，師從舒拉布拉教授
1957年赴莫斯科大學修習程式設計，師從舒拉布拉教授
1959年回國
1981年任南京大學教授，成為當時全國兩名電腦軟體專業博士生導師之一
注：右四為徐家福，有三為舒拉布拉，右二為楊芙清院士
徐家福先生歸國後學術碩果累累
徐家福先生20世紀50年代後期起致力於電腦軟體研究
曾主持並參與研製14個軟體系統
發表學術論文158篇
出版著作8本，獲獎20多次
主要的研究成果有J-501機上的Algol語言編譯系統
103機上的Algol語言編譯系統
Cobol國標的制定
系統程式設計語言XCY的設計與實現
軟體設計規約語言GSPEC
軟體功能規約語言FGSPEC
軟體需求定義語言NDRDL
軟體需求定義語言NDORL
其中，J-501機上的Algol語言編譯系統是國內第一個可用的Algol編譯系統
使程式人員解脫了低階語言程式設計的繁瑣細節
1978年與中科院計算所仲萃豪、北京大學楊芙清教授
合作設計並實現了系統程式設計語言XCY
XCY兼顧程式設計與併發程式設計
使和機器有關的部分盡可能局部化
以便於移植和擴充
徐先生代表研究組
在1980年10月在日本東京舉行的“第八屆電腦大會”上做了報告
題目是《On the Design ,Implementation and Use of the Systems ProgrammingLanguage XCY》
這是我國第一次在Information Processing上發表文章
蘇聯科學院院士葉爾紹夫說：
“這項工作不僅在理論上還是實踐上都很有意義，其中的模組定義與處理很有特色”
在新型程式設計方面
開發了“資料驅動式並行規約機模型FPMND與並行推理系統NDPIS”
FPMND是基於函數式語言FP的規約機模型
當時的博士生、曾經的教育部副部長、現在的院士趙沁平教授也參了這個項目
在20世紀80年代
徐先生參加了大量國際電腦會議
為推動我國電腦軟體的發展做出了很大貢獻
看每次會議中的熟悉面孔
很多是是國內的著名院士
南京大學電腦系在20世紀80年代實力雄厚
在徐家福和孫仲秀等的帶領下
電腦軟體新技術國家重點實驗室在1986年就成立了
徐先生從1948年秋起
任教時間達55年
主講過微積分、微分方程、數學分析、計算方法
以及程式設計、演算語言、編譯技術、軟體自動化等課程
所授各課無不精選內容、精心備課，注重交代來龍去脈
講解能深入淺出、引人入勝
並能身教、言教、曉以為人之道，堪稱良師
自1981年起
先後招收博士研究生24名
而畢業獲博士學位者僅僅16人
淘汰率之高，國內實屬罕見
其門弟子真可謂嚴師出高徒
大都道德文章聞於世
至今已有兩名院士
10年前榮獲國家傑出青年基金者2人
長江學者2人
霍英東基金或者獎金者4人
中創軟體人才獎者3人
比較知名的如原教育部副部長、現在的院士趙沁平教授
南京大學常務副校長、院士呂建教授
等等
徐家福先生與愛人相濡以沫，為人剛正不阿
注：徐家福先生與愛人
注：徐家福先生與愛人
注：徐家福先生與愛人
徐先生為人重氣節，愛恨分明，剛正不阿
對人誠信忠厚，好與人爭
1985年
日本一家機構邀請徐先生去日本合作
在福剛遊覽時
日本人將車停在一標有“破元寇處”之石碑下
妄圖讓徐先生等在石碑下合影
徐先生火從中來
揮手命朝石碑往者止步返回
對方悟其詭計已被識破
立即登車而往他處
此類事件不一而足
謹以此文懷念徐家福先生。
新智元編輯：法蘭西斯
點擊閱讀原文瞭解更多
加入社群
新智元AI技術+產業社群招募中，歡迎對AI技術+產業落地感興趣的同學，加小助手微信號: aiera2015_1 入群；通過審核後我們將邀請進群，加入社群後務必修改群備註（姓名-公司-職位；專業群審核較嚴，敬請諒解）。
此外，新智元AI技術+產業領域社群(智慧汽車、機器學習、深度學習、神經網路等)正在面向正在從事相關領域的工程師及研究人員進行招募。