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

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

7月

24
PFPL輪講会#22
Chapter 12. Constructive Logic

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

概要

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

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

Chapter 12. Constructive Logic

Mizunashi_Mana さん

第 N 回	日付	担当	備考
第23回	2020-07-31	shinichi さん
第24回	2020-08-07	lawtwai (?)	お盆休暇(8/8 ~ 8/16) 直前
第25回	2020-08-21	fishii さん (?)
第26回	2020-08-28	Mizunashi_Manaさん (?)