Skip to content

Instantly share code, notes, and snippets.

@caasi

caasi/flolac-2020.txt

Last active May 11, 2020 15:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save caasi/015a30f559d476e145f5a046005c6520 to your computer and use it in GitHub Desktop.
Save caasi/015a30f559d476e145f5a046005c6520 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
flolac-2020.txt
FLOL∀C 2020 邏輯、語言與計算暑期研習營
--
===================================================================
2020 Formosan Summer School on Logic, Language, and Computation
FLOL∀C '20
2020 「邏輯、語言與計算」暑期研習營
日期: 2020 年八月十日（週一）至八月廿一日（週五）。
時間: 每週一至週五早上九點至下午五點。
===================================================================
因應台大校方行事曆調整，今年 FLOLAC 將在 8/10 – 8/21 舉行。
與 FLOLAC'18 ㄧ樣，今年我們也要求學員具備一定的 Haskell 函式編程 (functional programming) 知識。
推薦讀物為《Learn You a Haskell for Great Good!》
* http://learnyouahaskell.com/chapters
課堂上需要用到的章節分別為 1-6, 8, 9.1 (Hello, world!), 11.2 (Applicative functors), 12
我們會設計一些習題讓大家練習，報名時也會要求大家通過一些評量！
今年的寒假特別漫長，如果閒得發慌就玩玩 Haskell 吧！
另開放《外地實習生》名額提供獎助金，惟需全程參加 FLOLAC 課程，結束後額外文獻討論報告，申請辦法將另行公佈。
因應武漢病毒疫情 🧟‍♀️🧟‍♂️ ，防疫遵循國家以及台大校方政策，另有以下對應措施 ：
* 若改網路授課，則期末考改為報告或專題。
* 如同往年將借用 80 人教室，但除實習生外不開放旁聽。
詳見網站： https://www.facebook.com/flolac.tw/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment