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

11月

20
PFPL輪講会#36
Chapter 19 の Exercises ~

募集内容	参加枠1 無料先着順 2/8人
申込者	申込者一覧を見る
開催日時	2020/11/20(金) 22:00 ～ 2020/11/21(土) 00:00 Googleカレンダー icsファイル
募集期間	2020/11/14(土) 06:00 〜 2020/11/20(金) 22:00まで
会場	Discord 基礎理論およびDM マップで見る会場のサイトを見る

イベントの説明

概要

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

目的

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

内容

第01回の内容を参照してください

第36回

範囲

Chapter 19 の Exercises ~

担当

lawtwai

今後の予定

日程と担当

第 N 回	日付	担当
第37回	2020-11-27	fishii さん
第38回	2020-12-04	Mizunashi_Mana さん
第39回	年末年始の確認後

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

章の進行順 (2020-10-23 暫定版)

Chapter 18. Higher Kinds ~ Chapter 23. Hybrid Typing: 基本項目であるため，書籍の掲載順
Chapter 46. Equality for System T ~ Chapter 48. Parametricity: Parametricity の理解
Chapter.24 ~ : 未定（Chapter 48 に入るくらいの時期に決める）