https://wiki.zh-tw.ima.org.tw/w/index.php?action=history&feed=atom&title=%E5%8D%A1%E9%9B%B7%E7%88%BE%C2%B7S%C2%B7%E6%96%AF%E7%A7%91%E7%88%BE%E6%BB%95 2026-07-04T04:30:10Z 本 wiki 上此頁面的修訂紀錄 MediaWiki 1.43.1 https://wiki.zh-tw.ima.org.tw/w/index.php?title=%E5%8D%A1%E9%9B%B7%E7%88%BE%C2%B7S%C2%B7%E6%96%AF%E7%A7%91%E7%88%BE%E6%BB%95&diff=1346&oldid=prev 2025-09-23T09:41:16Z

<p>從 JSON 檔案批量匯入</p> <p><b>新頁面</b></p><div>Carel S. Scholten（1925年－2009年，生於阿姆斯特丹）是一位物理學家，也是電腦領域的先驅。<br /> <br /> 他曾就讀於阿姆斯特丹的沃西烏斯文理中學（Vossius Gymnasium），並於1945年至1952年間在阿姆斯特丹大學（University of Amsterdam）攻讀物理學。<br /> <br /> 1947年，他受荷蘭數學中心（Mathematisch Centrum，後來的荷蘭數學與計算機科學中心 Centrum Wiskunde &amp; Informatica）之邀，與朋友兼同學 Bram Loopstra 合作建造一台自動計算機。他們的第一個系統 ARRA I 並不成功，但其後繼機型 ARRA II 則取得了成功，Gerrit Blaauw 也參與了後者的研發。<br /> <br /> 1954年，他們開始研製 ARMAC。他與 Loopstra 和 Edsger W. Dijkstra 共同打造了這台電腦。Dijkstra 負責軟體部分，並與 Scholten 合作長達三十餘年。<br /> ARMAC 因其使用了電晶體而備受矚目。<br /> <br /> 1958年，Scholten 進入 Electrologica 公司（後來的飛利浦 Electrologica）工作，並與 Loopstra 一同開發了 Electrologica X1 電腦。截至1964年，共安裝了40台該型號電腦，主要用戶為各大學。他在飛利浦 Electrologica 工作至1979年，隨後轉至飛利浦物理實驗室（Philips Natuurkundig Laboratorium），並在此任職至1985年。<br /> <br /> 1991年，他獲恩荷芬理工大學（Technische Universiteit Eindhoven）頒授榮譽博士學位。<br /> <br /> == 著作 ==<br /> * Edsger W. Dijkstra 與 Carel S. Scholten（1990）。《謂詞演算與程式語意學》（Predicate Calculus and Program Semantics）。Springer-Verlag 出版。– 內容為對謂詞轉換語意學（Predicate transformer semantics）的抽象、形式化論述。<br /> <br /> == 外部連結 ==<br /> * Eredoctor Carel Scholten overleden - TU Eindhoven（荷蘭文） – 恩荷芬理工大學發布的訃聞。<br /> * Unsung Heroes in Dutch Computing History – Carel S. Scholten and Bram Jan Loopstra – 關於他在恩荷芬理工大學工作的圖文報告。<br /> * Computers ontwerpen, toen (Designing computers, back then)（荷蘭文，刊於 Electrologica 基金會網站） – Carel Scholten 於1979年11月23日發表的初回顧演說。<br /> <br /> == 參考資料 ==<br /> <br /> [[分類: 待校正]]</div>

TaiwanTonguesApiRobot