お知らせ【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

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

8月

7
PFPL輪講会#24
(続)Chapter 13. Classical Logic

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

イベントの説明

概要

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

目的

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

内容

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

第24回

範囲

Chapter 13. Classical Logic の続き

担当

lawtwai

今後の担当予定表

第 N 回	日付	担当	備考
第25回	2020-08-21	fishii さん
第26回	2020-08-28	Mizunashi_Manaさん
第27回	2020-09-04	shinichi さん
第28回	2020-09-11	lawtwai

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

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

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

フィード

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

2020/08/01 07:32

PFPL輪講会#24 を公開しました！

グループ

Haskell with Skype

イベント数 162回

メンバー数 59人

終了

2020/08/07(金)

22:00 〜 2020/08/08(土) 00:00

Googleカレンダー icsファイル

募集期間
2020/08/01(土) 07:30 〜
2020/08/07(金) 22:00

イベントへのお問い合わせ

会場

基礎理論およびDM

管理者

lawtwai

参加者（5人）

PFPL輪講会#24 に参加を申し込みました！

PFPL輪講会#24 に参加を申し込みました！

PFPL輪講会#24 に参加を申し込みました！

I joined PFPL輪講会#24!

PFPL輪講会#24 に参加を申し込みました！

参加者一覧（5人）