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

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

Apr

16

PFPL輪講会#49

28.3の途中 ~ Exercise 28

Registration info

参加枠1

Free

FCFS
3/8

Description

概要

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

目的

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

内容

第49回

  • 28.3 の残りと Exercise 28

  • Chapter 28 の後に読むものを決定

担当

fishii さん

日程と担当の予定

次回は 2021-05-14 まで休み です。

第 N 回 日付 担当
第50回 2021-05-14 Mizunashi_Mana さん
第51回 2021-05-21 ymorii47 さん
第52回 2021-05-28 lawtwai

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

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

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

今後の扱う内容の予定 (2020-04-05 更新)

  1. Chapter 20: Control Stacks (現在進行中)

  2. 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.

Feed

lawtwai

lawtwai published PFPL輪講会#49.

04/12/2021 20:07

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

Group

Haskell with Skype

Number of events 148

Members 65

Ended

2021/04/16(Fri)

22:00
2021/04/17(Sat) 00:00

Registration Period
2021/04/12(Mon) 20:00 〜
2021/04/16(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(3)

lawtwai

lawtwai

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

fishii

fishii

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

KanSAKAMOTO

KanSAKAMOTO

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

Attendees (3)