TECHNICAL CURRICULUM
哲學視角下的系統分析與軟體設計
本系列依難度與架構脈絡由淺入深編排，建議依章節序號循序閱讀。
系統邊界不是地圖外框：模型會先決定誰看得見
從康德的批判哲學到 Werner Ulrich 的批判系統啟發法，說明系統分析中的邊界判斷如何選定受益者、決策權、知識來源與被排除的受影響者，並提供可帶進需求工作坊的檢查問題。
故障會讓系統關係浮現：從海德格的器具分析到可驗證的復原路徑
從《存在與時間》的器具關係與使用中斷出發，拆解檔案掃描流程的隱藏依賴，並將發現轉成狀態契約、復原責任與回歸測試。
事故調查別讓警報替你下定義：用杜威探究法更新故障假設
從杜威《Logic: The Theory of Inquiry》的問題情境與探究模式出發，示範如何在事故調查中重寫問題、建立可區分的假設，並用低風險操作確認修正結果。
例外處理要先決定誰負責：用亞里斯多德實踐智慧設計自動化停點
從《尼各馬科倫理學》VI 的實踐智慧出發，把例外拆成資料尚未確定、規則已明確與真正需要判斷的情況，設計自動停點、責任人與可稽核的決策紀錄。
共享 CI 不只需要配額：用奧斯特羅姆追問誰能改規則
以共享 CI runner 的尖峰壅塞為例，借用奧斯特羅姆對共同資源治理的研究，設計可參與、可監測、可申訴的容量規則與驗收條件。
Benchmark 結果要帶著成立條件：用 Cartwright 限定效能測試能證明什麼
從南希・Cartwright 的 nomological machine 與因果外推問題出發，檢查 workload、執行環境和作用機制如何限制 benchmark 的適用範圍，並建立連到 production-shape 驗證的決策步驟。
部署控制器不該猜服務狀態：用 Hayek 的知識問題劃分中央與在地權限
從 Friedrich Hayek 對分散知識與即時情境的分析出發，拆解多服務部署中哪些規則應集中、哪些停啟決定應留在服務現場，並給出可驗收的權限與回復邊界。
能用 CI 與 Hook 鎖死的規則，絕不留在 Prompt 裡：從第一性原理談 AI 工程邊界
從亞里斯多德形式因到 Nancy Leveson 系統控制論，剖析為什麼「在 Prompt 裡千叮嚀萬囑咐」是軟體工程的幻覺，並示範如何以靜態防線、沙盒與動態控制迴圈重塑 AI Agent 工作區。