(3min) 開場

(5min) 介紹 Programming Paradigm

(19min) 介紹研究本體

(4min) 一些背景知識

(5min) 介紹我的研究模型 (把每個 statement 都想像成是從狀態到狀態的函數)

(10min) 列舉一些語法的定義，順便證明 (variable assignment, if else, for loop)

(3min) 結尾

(10min) QA