新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Aug

7

PFPL輪講会#24

(続)Chapter 13. Classical Logic

Registration info

参加枠1

Free

FCFS
5/8

Description

概要

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

目的

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

内容

第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 で告知します。

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lawtwai

lawtwai published PFPL輪講会#24.

08/01/2020 07:32

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

Group

Haskell with Skype

Number of events 114

Members 64

Ended

2020/08/07(Fri)

22:00
2020/08/08(Sat) 00:00

Registration Period
2020/08/01(Sat) 07:30 〜
2020/08/07(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(5)

lawtwai

lawtwai

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

Mizunashi_Mana

Mizunashi_Mana

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

fishii

fishii

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

shinichi__

shinichi__

I joined PFPL輪講会#24!

KanSAKAMOTO

KanSAKAMOTO

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

Attendees (5)