お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

3月

19

PFPL輪講会#45

Theorem 48.12 ~

募集内容

参加枠1

無料

先着順
2/8

申込者
lawtwai
KanSAKAMOTO
申込者一覧を見る
開催日時
2021/03/19(金) 22:00 ~ 
2021/03/20(土) 00:00 
募集期間

2021/03/15(月) 20:00 〜
2021/03/19(金) 22:00まで

会場

Discord

基礎理論およびDM

マップで見る 会場のサイトを見る

イベントの説明

概要

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

目的

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

内容

第45回

  • Theorem 48.12 ~

  • 48章を終えた後について

担当

fishii さん

日程と担当の予定

第 N 回 日付 担当
第46回 2021-03-26 Mizunashi_Mana さん
第47回 2021-04-02 ymorii47 さん
第48回 2021-04-09 lawtwai

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

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

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

章の進行順 (2020-01-17 更新)

  1. Chapter 46. Equality for System T

  2. Chapter 48. Parametricity: Parametricity (注: Chapter 47 は飛ばします)

  3. Chapter.24 ~ : 未定(Chapter 48 を終える前に決める)

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

lawtwai

lawtwai さんが PFPL輪講会#45 を公開しました。

2021/03/15 20:07

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

グループ

Haskell with Skype

イベント数 162回

メンバー数 59人

終了

2021/03/19(金)

22:00
2021/03/20(土) 00:00

募集期間
2021/03/15(月) 20:00 〜
2021/03/19(金) 22:00

会場

Discord

基礎理論およびDM

管理者

参加者(2人)

lawtwai

lawtwai

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

KanSAKAMOTO

KanSAKAMOTO

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

参加者一覧(2人)