Charles Babbage 如何設計可程式機械？差分機、分析機與儲存程式思想的前史

增量補充：把計算步驟從機器裡拆出來

Charles Babbage 的關鍵轉折，不只是把齒輪做得更大，而是把「算什麼」與「怎麼算」逐步拆成不同層次。Science Museum 的資料指出，差分機以有限差分連續產生數值並自動輸出；這是一種針對表格錯誤與重複工作的專用自動化。

分析機則把視野推向更通用的結構：記憶數值的 Store、執行運算的 Mill、以打孔卡輸入指令，以及輸出結果的機制。這些構想可以和現代電腦的記憶體、處理器、程式輸入與輸出相互對照，但必須保留「設計藍圖而非完整落成機器」的限制。

對今日軟體工程，Babbage 留下的可驗證問題是：哪些步驟應該固化在硬體？哪些規則應該交給程式？輸入、狀態與輸出如何被記錄？把這些介面先定義清楚，才能讓同一個計算流程被重跑、測試與替換，而不是只依賴一台難以維護的專用設備。

Charles Babbage 的機械計算觀

Charles Babbage 的技術問題從一個非常實際的痛點開始：數學表格由人手計算、抄寫、排版和印刷，任何一個環節的錯誤都可能讓航海、測量或金融決策偏離。Babbage 想把重複的算術變成可機械執行、可檢查並能直接產生輸出的流程。這個目標比「他是不是第一台電腦的發明者」更值得研究，因為它牽涉需求、成本、機械容錯和可重複生產。 這條從機械結構走向符號操作的路徑，也可和 Ada Lovelace 與分析機的程式概念 的文字工作互相對照。

Science Museum 的歷史資料把 Difference Engine 與 Analytical Engine 分成不同階段。前者針對有限差分和表格生成，後者則試圖處理更廣泛的公式，加入程式卡、儲存數值的 store、負責算術的 mill，以及控制操作順序的機械。若把兩者畫成同一台蒸汽電腦，會掩蓋設計逐步變化，也會誤把後來電子架構的語言直接投射回十九世紀。

本文的讀者問題是：一台以齒輪、凸輪和打孔卡片構成的機器，如何表達重複、分支、暫存和輸出？答案必須同時讀設計圖、機械記號和倖存的試製零件。Babbage 的構想很有普遍性，但只有部分零件在他生前完成；「可程式」在這裡代表紙卡和機械控制的設計能力，不代表有一台完整產品能任意執行現代程式。

還要把 Babbage 放回合作網絡。工匠製造精密零件、政府決定經費、天文學家提供表格需求，Ada Lovelace 等協作者則說明分析機可能如何使用。理解分工不會削弱 Babbage 的創新，反而能回答真正的工程問題：誰提出抽象、誰把抽象落成機械、誰驗證輸出，以及哪些瓶頸讓設計停留在模型和圖紙階段。

差分機、分析機與 store–mill 分工

Difference Engine 的核心是有限差分。若一個多項式函數以等距輸入取值，反覆加上差分即可得到下一個結果，不必每次重新做乘法。機械輪組可把每一列數字保存為位值，進位機構再在輪子轉滿時傳遞到高位。這種專用結構能穩定產生表格，卻不等於一台能理解任意演算法的通用機器；它的優勢正是把問題限制在可機械化的運算族。

Analytical Engine 的抽象更接近可程式計算。打孔卡片攜帶操作與資料的序列，store 保存中間數值，mill 進行加減乘除等算術，控制機構決定何時讀卡、何時把結果送回指定位置。這個分工讓「資料在哪裡」和「如何運算」分開，與今日處理器的記憶體、算術單元和控制流有結構上的相似性；相似不是同一實作，機械速度和容量完全不同。

卡片不只是一串固定指令，也能配合循環與條件控制。當某個操作結果決定下一步要重複或跳轉時，機械凸輪、軸和卡片讀取順序必須維持一致狀態。這讓 Babbage 的程式設計成為硬體時序問題：一個錯誤的齒位可能讓後續所有卡片錯位。現代工程師可以把它類比成控制器的有限狀態機，但不能忽略機械磨損、卡片物理排列和人工設定帶來的額外故障模式。

Store 和 mill 的分離也帶出可重用性。若中間值保存在不同欄位，下一個運算可以讀取、更新或再送回，而不必為每個公式打造一套新齒輪。這種設計讓同一組機械能處理更廣的程序，但同時要求位址、進位、負數表示和溢位行為都被說清楚。沒有型錄化的操作與狀態規則，通用性只是圖紙上的宣稱，無法由試製片段驗證。

輸出機構把數字直接印在紙上，縮短人手抄寫的錯誤鏈。對今天的系統來說，這相當於把計算核心接到可稽核的輸出介面：每個結果有順序、有格式、有可重現來源。可是印表不會自動證明輸入或公式正確；如果卡片、初值或差分設定錯了，機器只會可靠地印出錯誤答案。Babbage 的路線因此同時包含自動化與驗證責任，而非單純追求更快。

從差分表到分析機文件

Science Museum 的「Charles Babbage’s Difference Engines and the Science Museum」說明 Babbage 在 1822 年向 Royal Astronomical Society 提出 Difference Engine，並記錄 1834 年轉向更雄心勃勃的 Analytical Engine。資料也明確區分未完成的原始機器、保存的模型和博物館後來完成的 Difference Engine No. 2。這些限定語是重要證據，能避免把二十世紀或二十一世紀的重建物誤當成 Babbage 生前完成的產品。

Oxford History of Science Museum 的 Babbage Archive 頁面列出 Buxton 4、Buxton 7 和 Buxton 9 等手稿系列，包含引擎設計、機械記號、操作清單和「computing by steam」相關筆記。檔案本身不等於一份可直接編譯的原始碼，但它讓研究者追蹤同一設計在不同年份如何改寫。要重現某個主張，應記下 shelfmark、日期、圖紙或筆記的具體範圍，而不是只引用「Babbage archive」五個字。

都柏林 Trinity College 保存 Henry Prevost Babbage 1888 年介紹 Analytical Engine 的文件，提供後代對父親設計和試作經驗的第一手整理。這份材料很適合檢查 store、mill、卡片與運算流程的說明，但它寫於 Babbage 去世後，也帶有家族與英國學術社群的回顧視角。閱讀時要把當時的回憶與 1830、1840 年代的原始圖紙分層，避免把後來更清楚的術語倒推成早期已固定的規格。

原始資料還能解開「第一個程式」的爭論。卡片序列、機械記號和 Lovelace 的筆記各自展示不同層次：Babbage 設計運算與控制架構，協作者描述如何安排操作，後來的研究者再把它們轉成現代程式語言可讀的形式。把其中一份材料單獨封成唯一作者或唯一發明，會忽略從機械實作到可理解程序之間的編輯與翻譯工作。

可程式機械對現代系統的啟發

Store 與 mill 的分離可以轉成今日硬體軟體介面的檢查表。資料路徑、算術單元、控制器和輸出介面各自有契約，設計者要說明輸入格式、位寬、狀態更新與錯誤回復。用硬體描述語言或模擬器重建一個小型差分機時，可對每一步保留暫存器狀態，並與手算結果比對；這比展示一張漂亮架構圖更能證明相似性。 若要比較後來把程式控制落在另一種硬體上的案例，可延伸閱讀 Konrad Zuse 與早期可程式計算。

卡片式程式也提醒我們把程式和資料的版本綁在一起。現代資料管線、基礎設施設定和批次作業都可能以宣告檔或工作流描述操作順序；若輸入資料、執行器版本和配置沒有一起封存，事後即使知道每個步驟也無法重現。Babbage 的紙卡是物理版本控制的早期例子，工程團隊可以借用這個觀念建立不可變 artifact、hash 和清楚的回滾路徑。

有限差分的專用化則對硬體加速和演算法選擇很有啟發。把問題限制成固定運算族，能用更少資源換取可預測延遲；GPU kernel、向量化資料流和 FPGA pipeline 都在做類似取捨。實作前應先量化輸入範圍、精度、吞吐量和錯誤容忍度，再判斷專用資料路徑是否值得。不能因為某個演算法在歷史上很早就自動化，就忽略現代硬體的功耗與維護成本。

機械時序的脆弱性對今日分散式系統也有比喻價值。卡片錯位、齒輪未回到預期位置，就像佇列重試、部分提交或網路延遲把狀態機帶到未定義分支。可靠流程要為每個狀態畫轉移圖，列出超時、重播、重啟與人工介入行為，再以故障注入測試驗證。抽象類比只有在能產生具體測試案例時才有工程價值。

輸出列印的可稽核性也延伸到資料與模型管線。報表、模型預測和自動決策應保存輸入快照、程式版本、參數、時間戳與產出 hash，讓讀者能知道結果由哪一套「卡片」產生。這不是要求每個系統退回紙帶，而是把 Babbage 的可追蹤輸出原則轉成現代記錄與驗證規格，並為敏感操作保留撤銷與人工複核。

機械計算前史的能力邊界

第一個誤讀是把 Babbage 的設計稱成已完成的第一台現代電腦。Analytical Engine 的架構具有可程式、儲存和算術分工等重要想法，但完整機器沒有在他生前建成，速度、容量、可靠性和用途也不同於電子電腦。嚴謹說法應是「機械計算設計的先驅」或「提出具有通用性特徵的架構」，並附上博物館與檔案對未完成狀態的限定。

第二個誤讀是把 Difference Engine 和 Analytical Engine 當成同一台機器。Difference Engine 以有限差分高效產生特定類型的表格，Analytical Engine 則加入 store、mill、卡片和更廣的操作控制。兩者都使用機械數字，但需求和通用程度不同。文章若混用名稱，讀者便無法判斷某個零件、演算法或資助爭議屬於哪個計畫。

第三個誤讀是把 Ada Lovelace 的角色縮成「替 Babbage 打字」，或反過來把全部程序思想歸給她一人。Babbage 提出機械架構和運算控制，Lovelace 翻譯、解釋並示範一個程序，兩者的工作相互依賴；Henry Babbage 和後來的檔案也提供不同階段的補充。技術史應逐項說明圖紙、卡片、筆記和實作各自證明什麼，而不是用單一英雄敘事取代合作。

第四個限制是資金、製造和管理不是旁枝。精密齒輪的公差、零件數量、政府審查和 Babbage 對設計修改的堅持，都影響機器能否從圖紙走到可運轉模型。現代工程也面對同樣的轉換成本：一個理論上漂亮的架構，若沒有可製造的元件、測試工具和維護預算，仍無法成為可靠產品。把失敗只歸咎於「時代不夠先進」會遺漏可重複的專案教訓。

最後，博物館後來完成的 Difference Engine No. 2 是研究與展示成果，不是 Babbage 生前的產品交付。它讓觀眾能看到設計如何運動，也依賴倖存圖紙、零件和現代製造技術。使用這個重建物做教育示範很有價值，但引用時要標出完成年代、重建者和與原始機器的差異；只有保留這條證據邊界，Babbage 的真正貢獻才不會被現代重建的成功覆蓋。

若要在今天重建一個小型示範，最安全的做法是先建立數位模型，再逐步加入齒輪、卡片或馬達等物理限制。數位模型可以保存每一個狀態轉移，硬體原型則量測卡片讀取、進位和輸出延遲；兩者的差異會形成可追查的故障清單。這種先模擬、後實作的順序，既尊重 Babbage 的機械條件，也避免把展覽用途誤當成生產系統。

這個案例還提醒架構師保留「未完成」欄位。圖紙中的能力、試製零件已證明的能力，以及後來重建物新增的能力，應在文件中分開標記，並為每一項附上來源、版本和測試狀態。當團隊把夢想中的介面直接寫成已交付功能，就會失去風險估算和回滾選項；承認設計仍在驗證，反而讓下一步工程更可控。

官方資料與延伸閱讀

• https://www.sciencemuseum.org.uk/objects-and-stories/charles-babbages-difference-engines-and-science-museum
• https://www.hsm.ox.ac.uk/the-babbage-archive
• https://treasures.scss.tcd.ie/miscellany/TCD-SCSS-X.20121208.002/HenryBabbage-TheAnalyticalEngine-ProcBritishAssociation-1888.pdf

增量分析：Babbage 的分析機，不只是更大的計算器，而是把程序和機器結構分開

Charles Babbage 的分析機構想，重要之處在於它把運算、儲存、控制和輸入輸出放進一個可安排的機械系統。打孔卡與程序概念讓機器不必只重複固定算式，開始接近「同一套設備依不同指令處理不同問題」的通用計算想像。

差分機與分析機的歷史也需要保留實作條件。材料精度、資金、製造、組織和當時的工程能力，都會影響設計能否完成；後世用現代電腦回建模型，不等於原機已在當時完整運作。讀 Babbage 時，最好把設計文件、實體機器、Lovelace 的筆記與後來的歷史標籤分開核對。