Apr
9
PFPL輪講会#48
28.3
Registration info |
参加枠1 Free
FCFS
|
---|
Description
概要
"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。
目的
プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。
内容
- 第01回の内容 を参照してください
第48回
28.3 Correctness of the K Machine
担当
lawtwai
日程と担当の予定
第 N 回 | 日付 | 担当 |
---|---|---|
第49回 | 2021-04-09 | fishii さん |
第50回 | 2021-04-16 | Mizunashi_Mana さん |
第51回 | 2021-05-14 | ymorii47 さん |
注意
Chapter 28 を終了後,2021-05-14 までお休みにすることを検討中です。
当日の予定の変更が発生しうる事態と対応 (2021-01-04: 内容の詳細を追加)
誰に発生した事態か | 何が発生したか | 条件 | 対応 |
---|---|---|---|
担当者または参加者 | 体調不良 | 休み | |
担当者または参加者 | 参加できない | 休み | |
参加者 | 途中参加になってしまう | 途中参加であってもよい意向 | 通常通り |
同上 | 同上 | それ以外 | 休み |
以上のように 当日を含む 日程の変更がある場合は,connpass (Twitter連携) と Discord で告知します。
今後の扱う内容の予定 (2020-04-05 更新)
-
Chapter 20: Control Stacks (現在進行中)
-
Chapter 20 を終える前に話し合いにより決定
- 現在提案されている案:
- PFPL の Chapter 47: Equality for System PCF
- ATaPL の一部の章
- 現在提案されている案:
Media View all Media
If you add event media, up to 3 items will be shown here.