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

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

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

Jun

5

PFPL輪講会#15

Lemma 8.1 ~

Registration info

参加枠1

Free

FCFS
3/8

Description

概要

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

目的

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

内容

今回までの事項

  • 意見募集:

    • 書籍のサポートページ に列挙されている Supplementary Materials の扱い: 第15回の後 (2020-06-06 頃) を目処に題材として加えるべきかを決めたい と考えています。扱いについて何か意見や要望があれば,Discord のテキストチャット に書いていただけると助かります。

第15回

範囲

Lemma 8.1 ~

担当

fishii さん

今後の担当予定表

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

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

05/31/2020 19:51

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

Group

Haskell with Skype

Number of events 110

Members 64

Ended

2020/06/05(Fri)

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

Registration Period
2020/05/31(Sun) 19:30 〜
2020/06/05(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(3)

lawtwai

lawtwai

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

KanSAKAMOTO

KanSAKAMOTO

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

fishii

fishii

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

Attendees (3)