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

11月

13
PFPL輪講会#35
Theorem 19.3 の手前の partial recursive functions 辺り~

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

イベントの説明

概要

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

目的

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

内容

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

第35回

範囲

Theorem 19.3 の手前の partial recursive functions 辺りから

担当

ymorii47 さん

今後の予定

日程と担当

第 N 回	日付	担当
第36回	2020-11-20	lawtwai
第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 に入るくらいの時期に決める）