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

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

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

Jun

12

PFPL輪講会#16

Theorem 8.6 ~

Registration info

参加枠1

Free

FCFS
4/8

Description

概要

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

目的

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

内容

第16回

範囲

Lemma 8.1 ~

担当

Mizunashi_Mana さん

今後の担当予定表

第 N 回 日付 担当
第17回 2020-06-19 shinichi さん
第18回 2020-06-26 ymorii47 さん
第19回 2020-07-03 lawtwai
第20回 2020-07-10 fishii さん
第21回 2020-07-17 Mizunashi_Mana さん

担当者の都合や体調により担当できない場合は,別の方に代わっていただいたり,その週はお休みにすることもあります。そのような場合は,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輪講会#16.

06/06/2020 00:24

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

Group

Haskell with Skype

Number of events 110

Members 64

Ended

2020/06/12(Fri)

22:00
2020/06/13(Sat) 00:00

Registration Period
2020/06/06(Sat) 00:00 〜
2020/06/12(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(4)

lawtwai

lawtwai

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

fishii

fishii

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

KanSAKAMOTO

KanSAKAMOTO

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

Mizunashi_Mana

Mizunashi_Mana

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

Attendees (4)