新機能イベント予約公開機能を追加しました！詳しくはこちらをご覧ください

Mar

12
PFPL輪講会#44
Lemma 48.11 ~

Registration info	参加枠1 Free FCFS 3/8

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.

Feed

lawtwai published PFPL輪講会#44.

03/08/2021 22:16

PFPL輪講会#44 を公開しました！

Group

Haskell with Skype

Number of events 148

Members 65

Ended

2021/03/12(Fri)

22:00 〜 2021/03/13(Sat) 00:00

Google Calendar iCal

Registration Period
2021/03/08(Mon) 22:00 〜
2021/03/12(Fri) 22:00

Event Organizer Contact

Location

基礎理論およびDM

Organizer

lawtwai

Attendees（3）

PFPL輪講会#44 に参加を申し込みました！

PFPL輪講会#44 に参加を申し込みました！

PFPL輪講会#44 に参加を申し込みました！