電腦（共 64 本）#

• Agent技術

  一本追蹤「Agent」概念七十年演化的繁體中文教科書：從 1950 年代的 Sense-Plan-Act 與符號 AI，途經知識表示、強化學習與深度學習的積累，…

• AlphaFold蛋白質折疊

  Decoding the Shape of Life: Protein Folding, AlphaFold, and the AI Biology Revol…

• 世界模型

  World Models: Understanding Space, Physics, and Architectures for General Intell…

• 強化學習

  本書以「技術與理論的前因後果」為主軸，講述強化學習（Reinforcement Learning）從 1950 年代的試誤學習、1988 年 Sutton 的時…

• 影像模型

  《像素到靈魂：從傳統影像處理、深度學習到生成式 AI 的視覺革命》

• 控制模型

  本書全面探討「控制模型（Control Models）」從經典理論一路推進至現代神經網路控制、端到端自動駕駛、人形與四足機器人全身控制，以及基於遊戲引擎與世界模…

• 智慧模型

  本書是「人工智慧系列」四本書中的第二本（另三本為《神經網路與深度學習》、《強化學習》、《Agent 技術》）。

• 神經網路

  本書是「人工智慧系列」四本書中的第一本（另三本為《智慧模型》、《強化學習》、《Agent 技術》）。

• 聲音模型

  Echoes of Sound: The Voice Revolution from Classical DSP and ASR to Generative S…

• 語言模型

  The Evolution of Language Models: From Generative Grammar to LLMs, Alignment, Wo…

• 電腦下棋

  Neurons on the Board: From Classical Search to the Game-Playing AI Revolution of…

• 數學
• 用Lean學AI數學證明

  本書講述一條橫跨近百年的故事線：數學如何被「形式化」、證明如何被「機器檢查」、AI 如何最終學會寫出人類級別的數學證明。

• 用Lean學數學

  本書不是「Lean 使用手冊」，也不是「證明論教科書」，而是一本 用 Lean 4 親手做證明來學數學 的書。

• 用Python學機率統計

  本書是一本 用 Python 親手運算與畫圖來學機率統計 的書。

• code

  每一個小節的 Python 程式都在這裡，全部都實際執行過。

• 用numpy學線性代數

  本書是一本 用 NumPy 親手運算與畫圖來學線性代數 的書。

• 用sympy學代數學

  本書以 SymPy 為工具，帶領讀者從多項式與群的定義出發，一路走到 Galois 理論、表示論與同調代數的入門。每一節都包含：數學理論、歷史脈絡（驅動理論發展…

• 用sympy學分析學

  從牛頓與萊布尼茲的微積分，到勒貝格積分與傅立葉分析：

• 用sympy學幾何學

  一本以 SymPy 為工具、從古希臘幾何講到計算幾何的教科書。

• 用sympy學微分幾何

  本書是一本 用 SymPy 親手計算來學微分幾何 的書。

• 用sympy學數學

  本書是一本 用 SymPy（Python 的符號計算函式庫）親手運算來學數學 的書。

• EDA演算法書

  第1章-EDA概論

• NP問題書

  第1章-計算複雜度基礎

• 函數式程式語言

  第1章 數學基礎與起源

• 密碼學書

  本書是一本面向程式設計初學者與資訊科系學生的密碼學入門教科書，以繁體中文撰寫，內容涵蓋古典密碼、對稱式加密、雜湊函數、訊息驗證、公開金鑰密碼、數學基礎、實務應用…

• 影像演算法書

  一本以「可執行的直覺」為核心的繁體中文影像處理教科書：每一節都有概念說明、演算法步驟、可用 numpy 與 PIL 執行的 Python 範例、複雜度分析與練習…

• 數學演算法書

  一本以 Python 實作為導向的繁體中文數學演算法教科書，涵蓋從電腦如何做數學，到數論、求根、線性代數、數值微積分、插值、組合、機率統計，最後到數學優化的完整…

• 文字演算法書

  以繁體中文撰寫的文字演算法教科書，涵蓋字串比對、索引結構、壓縮、分詞、搜尋引擎與自然語言處理演算法，每節附可執行的 Python 範例與練習題。

• 磁碟資料結構演算法書

  第1章-儲存基礎

• 聲音演算法書

  本書以繁體中文系統性地介紹聲音（音訊）處理的核心演算法，從數位訊號基礎、時域與頻域分析、濾波器設計，一路走到特徵提取、音訊壓縮、語音處理、音樂資訊檢索、音效處理…

• 計算理論

  第1章 可計算性的起源

• 資料結構書

  一本以繁體中文撰寫、以 Python 實作為導向的資料結構教科書。每一節包含：概念說明、演算法步驟、可執行的 Python 範例（自行以 class 實作）、複…

• 迭代法書

  一本以「迭代」為主軸的演算法教科書，涵蓋數值方法、最佳化、離散結構與動態系統。每節皆附可執行的 Python 範例、收斂性分析與練習題。

• 量子電腦演算法書

  第1章-量子計算導論

• rust程式語言

  Rust Programming: From Core Principles to Production Practice

• 作業系統

  第1章 導論與歷史

• 用rust學Linux系統程式

  一本以 Rust 為工具、以 Linux 系統程式為主軸的實作型教科書。全書貫穿兩條主線：一是 Rust 的所有權與型別系統如何在語言層面防止系統程式五十年來的…

• 用rust學系統軟體設計

  一本以 Rust 為工具，從編譯器、直譯器、JIT、虛擬機，一路做到作業系統與 Docker 容器的實作型教科書。

• 編譯器

  第1章-導論

• 虛擬機

  第1章-導論與歷史

• 用Cloudflare架設網站

  本書以「邊做邊學」的方式，帶領讀者使用 Cloudflare 的全套服務（Pages、Workers、D1、R2、KV、Durable Objects、Tunn…

• 用Rust+React設計網站

  本書以「理論驅動實務」的方式，講解如何使用 Rust (axum) 作為後端、React (Expo) 作為前端，建構現代化的全端網站與行動應用。書中特別著重技…

• 網站安全與防駭

  本書從攻擊者的視角與防禦者的工程兩個方向，系統性講解網站安全。閱讀主線沿用本系列的精神：每一種攻擊的誕生都有其技術前因，每一種防禦都是對攻擊的結構性回答。理解因…

• 網站設計基礎知識

  本書涵蓋網站設計的完整基礎知識鏈：從網路的物理層（TCP/IP、Socket）到傳輸層（HTTP、TLS、CDN、WebSocket），再到三大前端基石（HTM…

• EDA演算法

  一本寫給軟體工程師、EDA 研發工程師與計算機工程研究生的書——深入晶片設計自動化的引擎蓋之下，系統化拆解從邏輯表示、綜合、切割擺放到繞線簽核的核心數學模型與演…

• IC製程

  一本把「晶圓廠裡的物理世界」與「工程師螢幕前的軟體世界」接在一起的書。製程每往前一步——從微影解析度、電晶體結構到金屬連線——EDA 就被迫長出一套新的演算法；…

• openRoad

  一本寫給晶片設計工程師、學生與開源硬體愛好者的 OpenROAD 深度導覽。本書不只講工具怎麼用，更講這一切是怎麼來的：從 1980 年代 EDA 產業的成形、…

• rueda電子設計工具

  用 Rust 寫的一整套 IC 設計 EDA：硬體語言（Veryl、Fluxa）→ 模擬 → 合成 → FPGA 位元流或 ASIC 佈局，

• veryl2chip-book

  一本講解 EDA（電子設計自動化）核心原理的書，並以本專案 veryl2chip 的 Rust 原始碼作為貫穿全書的實作案例。

• veryl2chip-manual

  veryl2chip 是給 Veryl 硬體描述語言用的一整套 EDA 工具：

• verylHDL

  本書講解 Veryl HDL——一個以 Rust 撰寫、可轉譯（transpile）為 SystemVerilog 的現代硬體描述語言。除了語法本身，本書也花了…

• veryl硬體描述語言

  《Veryl 硬體描述語言：從 SystemVerilog 的複雜度困境到可預測的現代硬體設計》

• 用Verilog學計算機結構

  一本「動手做」的計算機結構教科書：從邏輯閘開始，用 Verilog 逐步打造出自己的 RISC-V 處理器，歷經單週期、多週期、五級流水線、快取與 I/O 子系…

• 計算機結構入門

  一本強調「技術與理論前因後果、互相驅動關係」的計算機結構教科書。全書以歷史脈絡串起軟硬體介面的核心概念：從圖靈機的可計算性，到馮紐曼架構、指令集設計之爭、流水線…

• 高等計算機結構

  延續《計算機結構入門》的進階教科書，聚焦最新實務（Pipeline、SIMD、GPU、CUDA、TPU、挖礦機 ASIC）與先進研究議題（Chiplet、CXL…

• 軟體工程

  向淘寶學習網站架構演進

• docker極簡書

  第1章-Docker 起步

• git-github-極簡講義

  本書專為想要在最短時間內上手 Git 版本控制與 GitHub 團隊協作的開發者設計。剔除複雜的底層理論，專注於日常開發中最常用的 20% 核心指令與工作流程。

• node.js極簡書

  本書專為想要在最短時間內上手 Node.js 開發的工程師設計。剔除底層理論，專注於日常開發中最常用的核心概念、工具鏈與測試實務。

• playwright極簡書

  本書專為想要在最短時間內上手 Playwright 進行端對端（E2E）測試的開發者設計。剔除底層理論，專注於日常測試中最常用的核心概念、指令與實務技巧。

• rust極簡書

  第1章-Rust 起步

• 向淘寶學習網站架構演進

  • 一、單體架構的起點與極限

• 現代軟體工程

  • 一、軟體工程的本質