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/