跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
近期變更
隨機頁面
MediaWiki說明
Taiwan Tongues 繁中維基
搜尋
搜尋
外觀
建立帳號
登入
個人工具
建立帳號
登入
檢視 卡雷爾·S·斯科爾滕 的原始碼
頁面
討論
臺灣正體
閱讀
檢視原始碼
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
檢視原始碼
檢視歷史
一般
連結至此的頁面
相關變更
特殊頁面
頁面資訊
外觀
移至側邊欄
隱藏
←
卡雷爾·S·斯科爾滕
由於以下原因,您無權編輯此頁面:
您請求的操作只有這些群組的使用者能使用:
使用者
、taigi-reviewer、apibot
您可以檢視並複製此頁面的原始碼。
Carel S. Scholten(1925年-2009年,生於阿姆斯特丹)是一位物理學家,也是電腦領域的先驅。 他曾就讀於阿姆斯特丹的沃西烏斯文理中學(Vossius Gymnasium),並於1945年至1952年間在阿姆斯特丹大學(University of Amsterdam)攻讀物理學。 1947年,他受荷蘭數學中心(Mathematisch Centrum,後來的荷蘭數學與計算機科學中心 Centrum Wiskunde & Informatica)之邀,與朋友兼同學 Bram Loopstra 合作建造一台自動計算機。他們的第一個系統 ARRA I 並不成功,但其後繼機型 ARRA II 則取得了成功,Gerrit Blaauw 也參與了後者的研發。 1954年,他們開始研製 ARMAC。他與 Loopstra 和 Edsger W. Dijkstra 共同打造了這台電腦。Dijkstra 負責軟體部分,並與 Scholten 合作長達三十餘年。 ARMAC 因其使用了電晶體而備受矚目。 1958年,Scholten 進入 Electrologica 公司(後來的飛利浦 Electrologica)工作,並與 Loopstra 一同開發了 Electrologica X1 電腦。截至1964年,共安裝了40台該型號電腦,主要用戶為各大學。他在飛利浦 Electrologica 工作至1979年,隨後轉至飛利浦物理實驗室(Philips Natuurkundig Laboratorium),並在此任職至1985年。 1991年,他獲恩荷芬理工大學(Technische Universiteit Eindhoven)頒授榮譽博士學位。 == 著作 == * Edsger W. Dijkstra 與 Carel S. Scholten(1990)。《謂詞演算與程式語意學》(Predicate Calculus and Program Semantics)。Springer-Verlag 出版。– 內容為對謂詞轉換語意學(Predicate transformer semantics)的抽象、形式化論述。 == 外部連結 == * Eredoctor Carel Scholten overleden - TU Eindhoven(荷蘭文) – 恩荷芬理工大學發布的訃聞。 * Unsung Heroes in Dutch Computing History – Carel S. Scholten and Bram Jan Loopstra – 關於他在恩荷芬理工大學工作的圖文報告。 * Computers ontwerpen, toen (Designing computers, back then)(荷蘭文,刊於 Electrologica 基金會網站) – Carel Scholten 於1979年11月23日發表的初回顧演說。 == 參考資料 == [[分類: 待校正]]
返回到「
卡雷爾·S·斯科爾滕
」。