[活動] FLOL∀C 2020 邏輯、語言與計算暑期研習營

看板PLT (程式語言與理論)作者stopcrying (恰似飛鴻踏薯泥)時間4年前 (2020/05/11 23:44)推噓5(5推 0噓 0→)

留言5則, 4人參與討論串1/1

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 課程，結束後額外文獻討論報告，申請辦法將另行公佈。因應武漢病毒疫情 [┐o_o]┐，防疫遵循國家以及台大校方政策，另有以下對應措施： * 若改網路授課，則期末考改為報告或專題。 * 如同往年將借用 80 人教室，但除實習生外不開放旁聽。詳見網站： https://flolac-tw.github.io/main_site/zh/ facebook： https://www.facebook.com/flolac.tw/ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.214.189.102 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1589211882.A.A45.html ※ 編輯: stopcrying (180.214.189.102 臺灣), 05/11/2020 23:45:45 ※ 編輯: stopcrying (180.214.189.102 臺灣), 05/11/2020 23:47:23