|
|
|
該分冊介紹的是1973年獲得圖靈獎的查爾斯·巴赫曼和1974年獲得圖靈獎的唐納德·克努特。查爾斯·巴赫曼篇描繪了“網狀數據庫之父”查爾斯·巴赫曼，在人生的浩瀚星海中，勇敢追求心中夢想的故事。在追夢途中，他遭遇裁員、項目取消等挫折，最終排除萬難，成功開發出第一代網狀數據庫管理系統——IDS(Integrated Data Store，集成數據存儲)。獲得圖靈獎后，他發表了題為《導航者：程序員的未來》的演說，呼籲計算機界應當拋棄“以計算機為中心”的思維模型，實現向“以數據庫為中心”的轉變，對整個計算機行業產生了不可估量的深遠影響。
唐納德·克努特篇講述了“計算機算法鼻祖”唐納德·克努特創作計算機領域“封神之作”《計算機程序設計藝術》的傳奇故事。他凡事儘力做到最好，查閱資料時發現現有計算機科學文獻零散、重複、錯誤百出，便決心編寫一部集所有基礎算法之大成的系列巨著。他鼓勵讀者“捉蟲”，每發現一個錯誤，都能得到他支付的獎勵。書的排版不夠完美，他就自己動手，開發了至今仍是學術排版首選的TeX排版引擎。直到現在，已是80多歲高齡的他依舊筆耕不輟。
張立波，中國科學院軟件研究所副研究員、碩士生導師、軟件所優青、青促會會員。主要研究方向為人工智能，在相關領域頂級會議和期刊發表學術論文30多篇，曾獲得中科院朱李月華獎和中國人工智能學會MINdSpore學術獎勵。
武延軍，中國科學院軟件研究所總工程師、研究員、博士生導師。主要研究方向為操作系統，擔任開源歐拉操作系統社區副理事長，《智能計算》期刊編委，載人航天工程軟件專家組組專家。
趙琛，中國科學院軟件研究所所長、研究員、博士生導師。長期從事形式邏輯、程序語言和基礎軟件科研工作，曾獲國務院政府特殊津貼和國家科技進步獎二等獎。
