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

Oct

23

PFPL輪講会#32

17.3 Definability of Existential Types ~

Registration info

参加枠1

Free

FCFS
4/8

Description

連絡事項: 2020-10-09 追記

2020-10-09 に予定していました分は,2020-10-23 に行う ことにしました

概要

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

目的

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

内容

第31回

範囲

17.3 Definability of Existential Types ~ Exercises 17 の予定

担当

lawtwai

今後の担当予定表 (2020-10-09 暫定版)

2020-10-09 と 2020-10-16 は,休みです。

第 N 回 日付 担当
第33回 2020-10-30 fishii さん
第34回 2020-11-06 Mizunashi_Mana さん
第35回 2020-11-13 ymorii47 さん
第36回 2020-11-20 lawtwai

担当者の都合や体調により担当できない場合は,別の方に代わっていただいたり,その週はお休みにすることもあります。そのような場合は,connpass (Twitter連携) と Discord で告知します。

Media View all Media

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

Feed

lawtwai

lawtwai wrote a comment.

2020/10/22 19:24

明日は予定通り行います。

lawtwai

lawtwai wrote a comment.

2020/10/09 09:32

2020-10-09 に予定していました分は,2020-10-23 に行うことにしました

lawtwai

lawtwai published PFPL輪講会#32.

10/03/2020 00:43

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

Group

Haskell with Skype

Number of events 153

Members 64

Ended

2020/10/23(Fri)

22:00
2020/10/24(Sat) 00:00

Registration Period
2020/10/03(Sat) 00:30 〜
2020/10/23(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(4)

lawtwai

lawtwai

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

fishii

fishii

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

Mizunashi_Mana

Mizunashi_Mana

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

KanSAKAMOTO

KanSAKAMOTO

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

Attendees (4)