課程資訊:瀏覽課程的詳細資訊
駕馭程式代理人審查:為 AI 寫的軟體把關
寫程式變便宜之後,確認它寫對變成最貴的那一段。

叫程式代理人寫程式,半小時就能做出一個會動的原型。麻煩的是後面:代理說「完成了」,你不知道怎麼確認;測試全綠,程式還是不能上線;同一個需求講第四次,代理每次都改壞別的地方。

這門課只處理一件事:代理說「完成了」,你怎麼確認它真的做對了,做錯的時候又怎麼擋住、救回來。第一步是把「做對」定義成驗得了的東西,把驗收條件寫成測試。測試管不到的面向交給審查,審查意見也要附證據。寫在文件裡的規則,要變成真的會擋的檢查。擋不住的時候,讓做錯可以復原,把爆炸半徑關小。

全課沿著一條「放手的六階」往上爬:看它怎麼錯、糾正變規則、交件附證據、做跟審分開、睡前交代、自動合併。每一階都有過關標準,過了才往上;你同時放得出幾個代理,取決於你多信任代理的產出。

全課拿同一個例子往下做:一間工作室的線上預約系統。每一章末都有一個動手做,題目接著前一章的產出往下長。接手既有專案那一章換成一個真的開源專案,練習替一份沒看過、也沒有測試的程式碼釘住現況。

投影片上的終端輸出都是實際跑出來的,也標了日期。代理會誤會、會做錯、會刪掉不該刪的東西,這些都照實呈現,因為怎麼防住它們正是這門課要學的事。課程用到的工具都標了版本與日期;換了工具,驗收條件、測試、檢查這些做法照樣用得上。
課程大綱
開場|這門課在講什麼:五個觀念,以及「放手的六階」這張地圖,每一章在爬哪一階

第 1 章|它為什麼會壞掉:看起來完成,不等於真的完成;全綠還不能上線、改 A 壞 B(第 1 階:看它怎麼錯)

第 2 章|先定義「做對」:規格由代理起草、你負責砍,寫得出測試的那一條就去寫測試;測試綠了,就回頭刪掉規格裡對應的那一條,所以規格應該愈用愈短(第 3 階:交件附證據)

第 3 章|驗證:完成要附證據,讓代理自己打開程式操作並留下證據;驗收條件寫成測試,先看到紅的才准實作;認出假測試;把驗證收成一個指令,你不在的時候也判得出它做完沒(第 3 階)

第 4 章|審查:測試管不到的面向靠審查;做的跟審的分開,對抗式審查只收跑得出失敗的意見;問清楚「這個改動安全是因為哪一個事實」(第 4 階:做跟審分開)

第 5 章|護欄:文件是建議,檢查才是規則;相依規則、資料庫護欄、錯誤訊息指名修法(第 2 階:糾正變規則)

第 6 章|不可逆的破壞:從公開事故看代理怎麼刪掉資料庫與備份;權限、可復原、確認關卡、花費上限;睡前交代寫清楚目標、完成條件、權限與逃生口(第 5 階:睡前交代)

第 7 章|接手沒有測試的專案:先讓代理帶你讀懂,它畫的架構圖要拿工具算出來的依賴圖對照;寫成規則檔,從外面用特徵測試與視覺驗證釘住現況,最後才動手改(第 3 階)

第 8 章|評估:寫評估程式、同一題跑五次、請代理當評審、把失敗分群,把代理的表現量出來(第 1、4 階)

第 9 章|持續進化:三次才寫成規則,再編譯成檢查;從最硬的那一層往下試,架構、型別、檢查、測試,規則檔最後(第 2 階)

收尾|誰有權說「做完了」:它可以說做完了,批准做完了的只能是你;讓代理定時巡收件匣與回報管道,自己重現、修好、驗過再交給你,每一段都能喊停;你現在在放手的第幾階(第 6 階:自動合併)

課後專案|拿你自己的專案,交一份驗證報告:證明程式真的做對了。驗收條件對得到測試、證據一個指令就能重現、審查意見附證據、至少一條反覆出現的錯被編譯成檢查
適合對象
● 寫得出程式,也已經在用 AI 寫程式的人;ChatGPT、Claude Code、Codex、Cursor,用過任何一個都算
● 遇過這幾件事的人:原型做得很快但後來不敢改、AI 說完成了卻不知道怎麼確認、同一個需求講第四次它每次都改壞別的地方
● 想讓團隊放心把更多工作交給代理,又不想每一行都自己看的工程師與技術主管

建議先上過《駕馭程式代理人原理:從零打造 AI 代理》(484 期以前叫《駕馭程式代理人:從原理到掌控自動化開發》),但不是必要條件。

這門課的前提是你已經會寫程式。不會寫程式的人看不出 AI 哪裡做錯了,也就沒有東西可以驗收。不需要事先具備特定框架、特定語言或特定訂閱方案。完全沒有程式基礎、想用程式代理人把構想做成作品的人,請改上同系列的《駕馭程式代理人實戰:用 AI 開發軟體》。
開發環境
● 一台能上網的電腦(Windows、macOS 或 Linux),能開終端機
● 程式代理人 Antigravity CLI:用 Google 帳號登入,免費方案目前只能用 Gemini 3.8 Flash,每週有額度上限
● 程式代理人 OpenCode:搭配它限時免費的模型使用;課堂上兩個代理都會用到
● Git:每個練習都從一個 git 管理的資料夾開始
● Node.js 20.19 以上:預約系統的範例用 Node 內建的測試工具(node --test)執行,型別檢查與靜態分析用 TypeScript 與 ESLint,裝範例時一起裝好
● Playwright:驗證那一章的視覺驗證、接手既有專案那一章的特徵測試都用它
● 評估那一章的三支程式在 Google Colab 上執行,有 Google 帳號即可;程式只用 Python 標準函式庫,也能在自己電腦上跑

課堂上不留時間裝環境:開課前請先裝好程式代理人並跑出第一次對話,取得課程範例並確認測試跑得動,再先裝好 Playwright 的瀏覽器(下載約 300 MB)。課程範例會在開課前寄送或放在課程頁下載。免費額度常有變動,開課前會再重查一次。已經付費訂閱 ChatGPT、Claude 或有 GitHub 教育方案的人,也可以用自己習慣的工具上課。
實體課程注意事項

●本班為實體課程,常見QA詳情連結

●校園防疫措施詳情連結

●公務員全程參與課程學習後可於課程結束後申請登錄公務人員學習時數

●課程影片觀看期限至課程結束後一週關閉

(一)退費期限:開課日後⅓時數內,詳情連結

(二)查詢結業狀況:結業名單連結

近期班次
第 486 期 駕馭程式代理人審查:為 AI 寫的軟體把關
招生中
課程類別:週二夜間專題
開課日期:2026.12.22 ~ 2027.01.19
上課時間:每週 (二) 7:00 PM ~ 9:00 PM
學費:新生新台幣 4500 元整
注意事項:
  1. 12/22、(二)、12/29(二)、1/5(二)、1/12(二)、1/19(二)
  2. 需自備筆電
講師介紹
李根逸

現任

國立臺灣大學資訊管理學系兼任助理教授

信革 (SIGONO) 數位有限公司技術總監

於本訓練班課程累積授課時數至114年5月已有5,401小時

 

曾任

雷亞 (RAYARK) 遊戲股份有限公司技術總監

 

學歷

國立臺灣大學資訊工程學博士

國立臺灣大學資訊工程學碩士

國立臺灣大學資訊工程學學士

 

相關榮譽

國立臺灣大學112學年度兼任教師教學優良獎

國立臺灣大學資訊工程系優良助教獎

國立臺灣大學書卷獎

 

相關資料與課程規劃可參考個人課程網站 : https://feis.studio