• 投稿類型：必填、公開。請寫明所欲投稿為 Presentation 或 Espresso。

Presentation

• 題目 Title：必填、公開。20 字以下。

宣告式編程風味模型化指令式編程程式碼 (暫定，在正式刊出前我會想個好一點的標題，20字真的好難QQ)

• 摘要 Abstract：必填、公開。建議含標點符號 150 ~ 250 全形字，使用於宣傳以及網站。

在這場議程中，我會分享我於去年專研課所做的研究。研究中我用一些方式，在 Functional Programming 的框架下嚴格定義了日常我們看到的一些語法的行為，例如變數指定、if else、for loop 等。 我會盡量使用平易近人的方式講解，讓先備知識降到最低。

• 演講大綱 Outline：必填，請說明該議程的大綱以及時間長度規劃。

(3min) 開場

(5min) 介紹 Programming Paradigm

(19min) 介紹研究本體

(4min) 一些背景小知識

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

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

(3min) 結尾

(10min) QA