[活动] FLOL∀C 2020 逻辑、语言与计算暑期研习营

楼主: stopcrying (卖考)   2020-05-11 23:44:36
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/
作者: CoNsTaR ((const *))   2020-05-11 23:48:00
首推!
作者: alan23273850   2020-05-12 20:28:00
弱弱 RA 帮推唷!
作者: ilway25 (有一天我会回来)   2020-05-19 23:15:00
希望能和之前一样有录影开放观看!
作者: CoNsTaR ((const *))   2020-05-20 10:08:00
同求录影
作者: suhorng ( )   2020-05-28 11:42:00
来了!!

Links booklink

Contact Us: admin [ a t ] ucptt.com