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

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

このエントリーをはてなブックマークに追加

5月

15

PFPL輪講会#12

募集内容

参加枠1

無料

先着順
5/10

申込者
lawtwai
fishii
Mizunashi_Mana
ymorii47
KanSAKAMOTO
申込者一覧を見る
開催日時
2020/05/15(金) 22:00 ~ 
2020/05/16(土) 00:00 
募集期間

2020/05/09(土) 00:00 〜
2020/05/15(金) 22:00まで

会場

Discord

基礎理論およびDM

マップで見る 会場のサイトを見る

イベントの説明

概要

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

目的

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

内容

第12回

範囲

定理6.4 から

担当

Mizunashi_Mana さん

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

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

フィード

lawtwai

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

2020/05/09 00:09

PFPL輪講会#12 を公開しました!

グループ

Haskell with Skype

イベント数 162回

メンバー数 59人

終了

2020/05/15(金)

22:00
2020/05/16(土) 00:00

募集期間
2020/05/09(土) 00:00 〜
2020/05/15(金) 22:00

会場

Discord

基礎理論およびDM

管理者

参加者(5人)

lawtwai

lawtwai

PFPL輪講会#12 に参加を申し込みました!

fishii

fishii

PFPL輪講会#12 に参加を申し込みました!

Mizunashi_Mana

Mizunashi_Mana

PFPL輪講会#12 に参加を申し込みました!

ymorii47

ymorii47

I joined PFPL輪講会#12!

KanSAKAMOTO

KanSAKAMOTO

PFPL輪講会#12 に参加を申し込みました!

参加者一覧(5人)