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

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

3月

26
PFPL輪講会#46
Theorem 48.20 の直後 ~

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

概要

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

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

Mizunashi_Mana さん

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

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

Chapter 48: Parametricity (現在進行中)
Chapter 20: Control Stacks
Chapter 20 を終える前に話し合いにより決定
- 現在提案されている案:
  - PFPL の Chapter 47: Equality for System PCF
  - ATaPL の一部の章