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

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

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

Feb

28

PFPL輪講会#05

Theorem 2.4 の一意性 ~

Registration info

参加枠1

Free

FCFS
4/10

Description

今回限定の注意事項と今後の予定

  • 年度をまたぐため 3/20 頃を目処にしばらくお休みにします。その後,各自の状況が落ち着けば開始します。

  • 今のところ,3/20 頃に 'PartI: Judgments and Rules' を終えたいと思っています

  • トラブル予防のため,通話は lawtwai が開始します

概要

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

目的

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

内容

第五回

範囲

'2.6 Defining Functions by Rules' の一意性から

担当

fishii さん

今後の予定

日程 内容 担当予定
2020-02-28 第五回 fishii さん
2020-03-06 第六回 Mizunashi_Mana さん
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輪講会#05.

02/22/2020 01:00

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

Group

Haskell with Skype

Number of events 110

Members 64

Ended

2020/02/28(Fri)

22:00
2020/02/29(Sat) 00:00

Registration Period
2020/02/22(Sat) 01:00 〜
2020/02/28(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(4)

lawtwai

lawtwai

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

fishii

fishii

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

Mizunashi_Mana

Mizunashi_Mana

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

KanSAKAMOTO

KanSAKAMOTO

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

Attendees (4)