→ zhenghua:已經報名了~請問一下上課前需要準備一些甚麼嗎? 05/04 11:14
→ noctem:可參考去年講義。有些課今年也有。 05/08 17:15
借這個板回覆一下大家的問題，並謝謝對這門課表示興趣的朋友們。
許多朋友問到是否可以旁聽。經籌辦人員討論過後，雖然我們辦這
個研習營的初衷是為了推廣和訓練下一代的人才，照理來說應該是
越多人來上課越高興。後來研習營成為提供學分的課程，則是希望
對學生提供多一項利多。但如此一來就得要遵守發給學分單位的規
定了。很可惜，按照規定，原則上這種課程是不能旁聽的。
另一方面，由於我們必須要有一定的學生數量（四十人）才能開課，
但授課場地能容納的也差不多是這樣的人數。如果再有多數的旁聽
學生，恐無法容納，所以只能對想旁聽的朋友們說聲抱歉了。
我們還是希望有興趣的朋友們盡量報名（要快唷～）。另外一方面，
本著以推廣為目的的初衷，不希望學費造成門檻，所以另外還有提
供獎學金。去年是大部分成績及格的同學都有拿到，剛好可以抵掉
學費。今年也是盡量。請大家踴躍報名。
有朋友問到要什麼樣的程度才能來上課。demintree 有稍微介紹一
下去年的狀況（謝謝！）。另外補充一下：我們從今年開始將在兩
個主題（程式語言、與 model checking）之間輪流切換。去年兩
個主題都講，今年則以前者為主。去年普遍覺得進度太快了，今
年應該會放慢一點。另外今年的六門課中，兩門國外講者的課是
不列入考試的，希望這樣會讓大家的負擔變少一點。
去年有來過的同學也可以再來唷，今年新增的課都不錯，Neil
Jones, Oleg Kiselyov 等人都是這個領域內大家熟知的學者。
應該會很精彩的！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.109.20.217
※ noctem:轉錄至看板 PLT 05/01 14:52