Mar
12
PFPL輪講会#44
Lemma 48.11 ~
Registration info |
参加枠1 Free
FCFS
|
---|
Description
概要
"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。
目的
プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。
内容
- 第01回の内容 を参照してください
第44回
範囲
Lemma 48.11 ~
担当
lawtwai
日程と担当の予定
第 N 回 | 日付 | 担当 |
---|---|---|
第45回 | 2021-03-19 | fishii さん |
第46回 | 2021-03-26 | Mizunashi_Mana さん |
第47回 | 2021-04-02 | ymorii47 さん |
当日の予定の変更が発生しうる事態と対応 (2021-01-04: 内容の詳細を追加)
誰に発生した事態か | 何が発生したか | 条件 | 対応 |
---|---|---|---|
担当者または参加者 | 体調不良 | 休み | |
担当者または参加者 | 参加できない | 休み | |
参加者 | 途中参加になってしまう | 途中参加であってもよい意向 | 通常通り |
同上 | 同上 | それ以外 | 休み |
以上のように 当日を含む 日程の変更がある場合は,connpass (Twitter連携) と Discord で告知します。
章の進行順 (2020-01-17 更新)
-
Chapter 46. Equality for System T
-
Chapter 48. Parametricity: Parametricity (注: Chapter 47 は飛ばします)
-
Chapter.24 ~ : 未定(Chapter 48 を終える前に決める)
Media View all Media
If you add event media, up to 3 items will be shown here.