日本東京大學情報理工學博士,現中央大學資工系副教授。主要研究領域為程式語言、程式教育、軟體工程。研究成果包含了程式語言結構擴充、函式庫與型別系統的除錯支援、結合紙本桌遊與電腦系統的程式設計學習等。在大學裡講授程式語言設計、程式語言原理、編譯器、Python程式設計等課程。
以ChatGPT進行Python程式開發為例,協助學生學習運用生成式AI來輔助程式的生成、修改、以及測試。課程裡說明如何判斷生成式AI產出程式的對與錯,思考從問題場景到程式需求,透過逐步提示來達成以程式解決問題的目標。
生成式AI像是一位程式設計專家等待我們指示工作,但仍有賴於明確的需求與描述,才能產出有效的解答。這是因為寫程式是要解決應用問題,需要思考並撰寫出合用的程式作為解法,而既然現實生活中都是各種不同的變化題型,便需要我們自己思考並描述所需的解法,以要求生成式AI產出真正滿足需求的程式。
對程式設計,軟體開發具興趣的同學(不分領域)。
從程式設計是在解決問題這一點切入,解釋無論自己寫程式或是運用生成式AI,都需要自己從當下問題的場景來思考程式需求。如此一來,在面對生活裡形形色色的應用、而非課堂裡的練習題時,才能有效地要求AI生成所需程式,能觀察並進而修改,藉由逐步的提示與測試來達成目標。
- 用生成式AI寫程式
- 一個簡單的例子
- 逐步提示以滿足需求
- 訂定TODO逐步提示完成
- 觀察程式執行的正確性
- 程式執行的錯誤訊息
- 反覆觀察程式執行結果
- 總結與重點整理
對於程式邏輯概念有基礎的了解。