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

新機能 オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするには こちら をご確認ください

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

Mar

13

PFPL輪講会#07

(3.2 || 3.3) から

Registration info

参加枠1

Free

FCFS
4/10

Description

概要

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

目的

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

内容

第七回

範囲

'3.2 Hypothetical Inductive Definitions' の復習または '3.3 General Judgments' から

担当

lawtwai

今後の予定

日程 内容 担当予定
2020-03-13 第七回 lawtwai
2020-03-20 第八回 fishii さん
その後 各自の予定次第

日程の都合が悪くなれば,お手数ですが Discord に書き込んでいただけると助かります。

Media View all Media

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

Feed

lawtwai

lawtwai published PFPL輪講会#07.

03/07/2020 00:49

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

Group

Haskell with Skype

Number of events 110

Members 64

Ended

2020/03/13(Fri)

22:00
2020/03/14(Sat) 00:00

Registration Period
2020/03/07(Sat) 00:30 〜
2020/03/13(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(4)

lawtwai

lawtwai

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

KanSAKAMOTO

KanSAKAMOTO

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

Mizunashi_Mana

Mizunashi_Mana

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

fishii

fishii

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

Attendees (4)