このエントリーをはてなブックマークに追加

Jan

8

PFPL輪講会#39

Chapter 46. Equality for System T ~

Registration info

参加枠1

Free

FCFS
3/8

Description

当日の予定の変更が発生しうる事態と対応 (2021-01-04: 内容の詳細を追加)

昨年末に話した内容を反映したつもりです:

誰に発生した事態か 何が発生したか 条件 対応
担当者または参加者 体調不良 休み
担当者または参加者 参加できない 休み
参加者 途中参加になってしまう 途中参加であってもよい意向 通常通り
同上 同上 それ以外 休み

以上のように 当日を含む 日程の変更がある場合は,connpass (Twitter連携) と Discord で告知します。

概要

"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。

目的

プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。

内容

第39回

範囲

Chapter 46. Equality for System T の進めるところまで

担当

ymorii47 さん

日程と担当

第 N 回 日付 担当
第40回 2021-01-15 lawtwai
第41回 2021-01-22 fishii さん
第42回 2021-01-29 Mizunashi_Mana さん

章の進行順 (2020-12-11 暫定版)

  1. Chapter 46. Equality for System T ~ Chapter 48. Parametricity: Parametricity の理解

  2. Chapter.24 ~ : 未定(Chapter 48 に入るくらいの時期に決める)

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lawtwai

lawtwai published PFPL輪講会#39.

01/04/2021 22:02

PFPL輪講会#39 を公開しました!

Group

Haskell with Skype

Number of events 153

Members 64

Ended

2021/01/08(Fri)

22:00
2021/01/09(Sat) 00:00

Registration Period
2021/01/04(Mon) 21:30 〜
2021/01/08(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(3)

lawtwai

lawtwai

PFPL輪講会#39 に参加を申し込みました!

Mizunashi_Mana

Mizunashi_Mana

PFPL輪講会#39 に参加を申し込みました!

fishii

fishii

PFPL輪講会#39 に参加を申し込みました!

Attendees (3)