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

[stopcrying (恰似飛鴻踏薯泥)]

                                                                             
  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
推 CoNsTaR: 首推！
※ 編輯: stopcrying (180.214.189.102 臺灣), 05/11/2020 23:53:47
推 alan23273850: 弱弱 RA 幫推唷！
推 ilway25: 希望能和之前一樣有錄影開放觀看！
推 CoNsTaR: 同求錄影
推 suhorng: 來了!!