Konrad Zuse 如何把繼電器變成可程式計算？Z3、Plankalkül 與早期高階程式設計

增量補充：硬體、語言與控制一起演化

Deutsches Museum 將 1941 年的 Z3 放在「可程式二進位電腦」與通用計算開端的脈絡中。這個定義很重要：Z3 的歷史意義在於把繼電器、記憶體、二進位運算與程式控制組成能運作的系統，但不等於它具備現代電子電腦的速度、作業系統或完整工具鏈。

Plankalkül 應和 Z3 分開評估。Z3 證明一種機電可程式計算路線可以工作；Plankalkül 則把資料結構、控制與演算法表示往更高階推進。設計上的先進不等同於當時已有普及編譯器，文章要把「語言構想」「可執行機器」與「社群採用」三件事分開。

對今天的系統設計，Zuse 留下的問題仍然清楚：抽象如何映射到有限硬體？資料格式、精度、溢位和控制流如何被規格化？一個好模型不只要寫得漂亮，還要能被翻譯、測試、重建，並在資源失敗時留下可觀察的證據。

Konrad Zuse 的計算觀與工程脈絡

Konrad Zuse 的價值，不只在於「早期電腦」這個歷史標籤，而在於他同時面對了三個仍然困難的工程問題：怎樣用有限的機電元件表示數字，怎樣讓記憶體中的資料依序通過運算單元，還有怎樣把一組解題步驟交給機器反覆執行。讀者若只記得 Z3 的年代，仍然不會知道可程式計算為何改變了軟體的可能邊界。 這種把機器限制寫進程式表示的做法，也可和 Allen Newell 與可追蹤的解題程序 的研究方法相互參照。

Deutsches Museum 的電腦史展覽把 1941 年的 Z3 放在「第一部可程式二進位電腦」與通用計算時代的脈絡中，同時展示繼電器、儲存方式和基本邏輯電路。這個敘述可以作為穩健起點，但不能被簡化成單一人突然從零發明所有電腦。機械計算、二進位表示、穿孔帶與自動控制都有更長的共同歷史，Zuse 的特殊位置是把多個層次組成能工作的系統。

他的工作環境也不適合被寫成浪漫的天才故事。Z1、Z2、Z3 和後來的 Z4 先後受到零件可靠度、資金、戰時供應、場地與測試條件限制；機器可以在一次展示中運轉，不代表每種輸入都已被充分驗證。把限制寫進技術史，反而能讓讀者理解為什麼現代電腦必須把硬體、軟體、測試和維護分成可追蹤的契約。

本文採三條線閱讀 Zuse：第一條是繼電器和記憶體如何搬運二進位狀態，第二條是程式控制如何讓計算步驟可重用，第三條是 Plankalkül 如何嘗試在機器指令之上描述資料和演算法。這三條線相互影響，卻不是同一項發明；Z3 的可運轉性、Plankalkül 的設計完整度，以及後來社群是否採用，應分開評估。

Z3 的繼電器計算與程式控制

Z3 的基本元件是繼電器。繼電器以開或關的電氣狀態表示二進位位元，連接成加法、比較、移位與控制路徑。當一個狀態被送到下一組線圈時，上一階段的結果就成為下一個階段的條件。這種設計比純手動齒輪更容易複製邏輯，但也帶來接點磨損、切換延遲、噪聲和大量配線等成本。

用二進位表示數值，並不等於只用一排開關。浮點數需要符號、有效數字與指數等欄位，運算單元要先對齊指數，再處理有效數字的加減，最後正規化結果。早期系統的位元寬度、溢位和捨入規則都會影響答案。讀者在看 Z3 時應追問它實際保證哪些數值範圍，而不是把「數位」誤解成今天的無限精確。

程式控制的核心，是讓輸入不只是一個待計算的數字，而是一串能選擇運算路徑的指令。穿孔帶或等價的外部媒介提供指令序列，控制單元依序取出下一步，將操作碼、位址和資料送往相應模組。這樣同一組硬體便能被不同問題重用；但輸入格式、帶紙讀取、跳轉能力與錯誤恢復仍然是實作的一部分，不能只在概念圖上省略。

Z3 的歷史分析也要注意分支能力的細節。它能按照固定序列執行算術和記憶體操作，並可透過循環式的控制方式處理反覆計算，但不應把它直接等同於今日具備完整條件分支、例外處理和作業系統的機器。若某種控制需要外部重新編排程式或利用特定輸入技巧，文章就應明確說明，避免把後來的通用語言能力倒灌到 1941 年的硬體。

Plankalkül 的企圖更接近高階程式設計：讓設計者描述變數、資料欄位、運算關係與控制結構，而不是逐一指定繼電器如何切換。它的表格與欄位記法，試著把資料型態、索引和中間結果放進同一個可分析的表示法。這種抽象可讓演算法先被檢查，再思考如何映射到機器；不過抽象符號要真的產生可執行程式，仍需要編譯器、執行期和足夠的工具鏈。

把 Plankalkül 想成早期的型別系統會比較有幫助。若一個欄位被定義為數字、布林值或序列，使用者就能在運算前指出資料是否相容；若索引超出範圍，也可在規格層先提出疑問。這並不表示 Zuse 已經解決今日所有型別推導，而是展示一個重要方向：資料的形狀和意義應該在程式文字中留下痕跡，讓人與工具都能推理。

從硬體到語言之間還有一層翻譯問題。編譯器必須把高階描述拆成可排程的運算，配置記憶體位置，處理迴圈與暫存值，再生成目標機器能接受的序列。若語言規格沒有說明求值順序、數值精度或副作用，兩個翻譯器可能得到不同結果。Zuse 的嘗試因此不只是符號創新，也是在問「抽象如何保持可執行」這個至今仍未消失的問題。

Plankalkül 與 Zuse 的文件脈絡

Deutsches Museum 的官方展覽頁提供一條可重做的時間線：1941 年的 Z3、早期繼電器計算機、儲存與輸出方法，以及後來的電子、電晶體和積體電路。它的價值不在於替所有爭議下最後結論，而在於把 Z3 放回展品與技術演化之中。研究者可以依展覽列出的機器名稱，再回到檔案或物件編號查找更細的電路和重建資料。

Zuse Institut Berlin 的 Konrad Zuse Internet Archive 收錄原始檔案索引，其中可以找到 1945 年的「Urschrift des Plankalküls」、Z3 電路圖，以及不同年份的計算計畫。檔案索引不是一篇替讀者整理好的現代教科書，使用時要記錄文件標題、年份、語言和檔案識別碼，並把手稿中的構想與實際完成的硬體分開。這種逐項核對能避免把草稿、重建和實機混成同一證據。

Plankalkül 的材料尤其需要來源分層。1940 年代的筆記可證明 Zuse 在那時思考哪些資料和控制概念，後來的發表或轉錄則說明社群何時看見它；二十世紀末的重建程式又是另一種現代實作。只有當三者被清楚標示，讀者才能知道某個例子是原始記法、研究者的轉寫，還是今天為教學方便改寫的語法。

德國專利與商標局的 Zuse 史料頁把 Z3、Z4、Z11 和 Z22 放在企業與專利歷程中，也提到 Zuse 後來的公司在 1950 年代推出系列機器。這補足了「一部原型機」之外的產業脈絡：計算機要進入組織，還要有生產、維修、銷售、標準和客戶問題。商業化成功不會自動證明某一設計在所有工作負載都更好，因此技術指標和市場史應各自查證。

原始來源也能修正「誰先」的問法。博物館以 Z3 的可程式二進位能力描述 1941 年的重要節點，檔案則顯示 Zuse 在更早的 Z1、Z2 階段已反覆調整機械記憶體與控制方式。把「第一」限定在清楚定義的條件，例如是否可程式、是否二進位、是否自動執行、是否實際運轉，就比用一句絕對宣稱更容易被重現。

閱讀這些材料時，應把 Zuse 的自述、博物館物件說明、專利文件和後來的學術重建並列。自述有助於理解設計動機，物件頁可確認保存與展出狀態，專利提供制度化的技術主張，重建則可能揭露原機已遺失後如何推論。任何一種來源都不該單獨承擔完整因果鏈，這是研究早期軟體史時最實用的查證習慣。

從早期程式控制到現代系統

Zuse 的第一個現代啟示，是把硬體限制寫成軟體契約。今天的程式仍然受限於位元寬度、記憶體階層、延遲、能耗和錯誤率；差別只是限制被包在處理器、作業系統或雲端服務後面。團隊若在 API 和資料模型中記錄範圍、溢位、排序、逾時與重試規則，便能像分析繼電器路徑一樣追蹤一次請求到底經過哪些狀態。 若要比較更早的通用程式想像，可延伸閱讀 Ada Lovelace 與分析機的程式概念。

第二個啟示是抽象必須能回到實作。Plankalkül 對資料欄位與演算法結構的重視，與今日型別、schema、DSL、編譯器中間表示和 WebAssembly 等方法有相似精神。驗證抽象的方式不是看符號是否漂亮，而是選擇幾個案例，確認解析器能拒絕不合法資料、翻譯器能保留語意、執行期能對資源失敗給出可觀察結果。

第三個啟示關於可重建性。Z3 原機已不存在，許多細節要靠圖紙、檔案和重建機交叉比對；現代專案若沒有版本化規格、可重現建置和測試資料，也會很快陷入同樣的記憶斷裂。工程團隊可以保存最小可執行案例、硬體假設、輸入格式和預期輸出，讓未參與原始決策的人仍能重做關鍵推理。

早期機電系統還提醒我們不要把軟體品質和速度分開。繼電器切換慢，卻迫使設計者精確安排資料路徑；現代處理器很快，反而容易讓不必要的同步、記憶體配置和網路往返被平均值掩蓋。效能剖析應與正確性、能源和故障恢復一起看，並把最壞延遲與資源上限列入驗收，而不是只展示理想輸入的基準分數。

對編譯器作者而言，Zuse 的路線可轉成一個分層測試清單：先驗證語法樹和資料型別，再驗證中間表示的控制流，接著比對目標碼的數值結果，最後在不同硬體上測試溢位與錯誤。每一層都應保留小型反例，讓修正某個最佳化時不會悄悄改變另一層的語意。這種證據鏈比把所有責任交給最終整合測試更接近可維護的工程。

在教育上，可以讓學生從一個簡化的繼電器模型開始，實作二進位加法、可尋址記憶體和程式計數器，再設計一個含型別欄位的微型語言。學生會看到抽象不是逃避硬體，而是為了讓同一個意圖能被不同機器重做；也會看到每增加一層便利，就要補上規格、錯誤訊息、測試和除錯工具。這是一條比背誦「第一部電腦」更有長期價值的學習路線。

生成式工具的使用也可以借鏡這段歷史。模型能快速產生看似高階的程式，卻可能忽略位元範圍、記憶體生命週期或輸入編碼。開發者應要求工具同時給出資料假設、可重現測試和失敗案例，再以實際執行與人工審查核對。Zuse 的問題意識告訴我們，真正重要的不是程式看起來像高階語言，而是它是否仍能在明確的機器與資料條件下被驗證。

早期可程式計算的能力邊界

最常見的誤讀是把 Z3 稱作毫無限定的「世界第一部電腦」。較精確的說法應保留定語：Deutsches Museum 以 1941 年的可程式二進位計算機描述它，並把它放在通用計算的開端。不同研究者對「電腦」採用的條件可能包含電子性、儲存程式、通用性或實際服務，因此文章不能把一個定義的勝出延伸成所有定義都已結束爭論。

第二個誤讀是把 Plankalkül 寫成已廣泛部署的現代高階語言。它的表示法在資料、索引和控制上相當超前，卻沒有形成當時可普遍取得的編譯器與社群。檔案中的程式設計構想、後來的轉錄、以及真正能在機器上執行的工具，應分別標示。設計先進不等於生態成熟，這個差別對評估今日的新語言同樣重要。

第三個限制是把 Zuse 的成就完全歸於單人。機械加工、繼電器供應、測試、文件保存和後來的重建都涉及其他人的工作；博物館展品與檔案會留下部分線索，但不一定能還原每個協作者的名字。尊重技術史的做法，是在證據足夠時列出團隊和制度，證據不足時明說未知，而不是用「孤獨天才」填補空白。

戰爭脈絡也不能被省略或浪漫化。戰時需求可能提供問題和資源，同時也造成材料短缺、研究中斷與倫理風險；機器是否被軍事使用、誰能取得成果，和它的電路是否新穎是不同問題。把技術效能、商業史與政治背景分層，能避免用一個成功原型替整段歷史作價值判斷。

把早期繼電器設計直接等同今天的 CPU，也會造成錯誤期待。Z3 的記憶體、輸入、數值表示和控制方式，與現代快取、多核心、作業系統和網路服務相差很遠；能抽取的是分層、可程式化和可驗證的設計方法，不是把舊機器的每個零件當成現代元件的直譯。歷史類比若沒有邊界，就會把啟示變成誤導。

本文的原創技術圖只畫出繼電器、記憶體、程式控制和抽象資料結構之間的閱讀路徑，不是 Zuse 肖像、Z3 原件或 Deutsches Museum 的複製品。圖像由 YOLO LAB 以幾何和抽象材質生成，無第三方像素；讀者仍應依官方檔案確認年份、物件狀態和 Plankalkül 文本。可視化是理解輔助，不是史料本身。

一個適合讀者重做的練習，是用現代語言寫一個只支援二進位浮點加法與循環控制的小型直譯器，限制記憶體大小並記錄每次狀態轉移。先用測試驗證輸出，再把同一輸入轉成表格，最後對照 Zuse 檔案中可查的機械與程式概念。若結果不同，應先檢查定義、精度和輸入格式，而不是急著宣稱早期設計「等同」現代實作。

讀者也可以把「高階」改成一組可檢查的問題：程式是否能描述資料關係？是否能重用控制結構？是否有翻譯到目標機器的規則？錯誤和資源上限是否可觀察？這些問題比語言名稱或年代更能比較 Plankalkül、後來的編譯器和今日的 DSL。Zuse 的長期影響，正在於把這些問題提早放到同一張設計桌上。

官方資料與延伸閱讀

• https://www.deutsches-museum.de/en/museumsinsel/ausstellung/computers
• https://zuse.zib.de/pdfs
• https://www.dpma.de/dpma/veroeffentlichungen/meilensteine/computer-pioniere/zuse/index.html
• https://digital.deutsches-museum.de/de/digital-catalogue/archive-item/NL%2520207%252F0316/

增量分析：Zuse 的歷史位置，在於同時想像可程式機器與高階表示

Konrad Zuse 的 Z3 與 Plankalkül 脈絡，讓早期計算史出現兩條互相連接的線：機器如何依序執行可重設的程序，以及人如何用較接近問題的符號表達程序。這兩條線後來分別進入硬體架構、程式語言與編譯器，但當時仍受材料、可靠性、戰時環境和文件傳播限制。

對早期發明的排名要保持證據界線。不同「第一台」「第一個高階語言」說法，可能取決於可運作性、是否保存、概念定義和後來重建；把 Zuse 放回同時代其他團隊與技術條件，比給出單一桂冠更能解釋這些想法如何出現、哪些路線中斷，以及後來如何被重新發現。