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

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

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

Jun

19

PFPL輪講会#17

Chapter 9

Registration info

参加枠1

Free

FCFS
4/8

Description

概要

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

目的

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

内容

第17回

範囲

Chapter 9

注意

書籍版の 正誤情報 (List of known mistakes, and their corrections.(PDF, 2020-03-11) より)

  1. Lemma 9.2:

    • 誤:
      1. If τ = nat, then e = s(e') for some e'.
    • 正:
      1. If τ = nat, then either e = z or e = s( e') for some e'.
  2. Rule (9.5b), (9.5c): (補足: 今回のイベント画像)

    • 誤:

      ... Γ, x : τ ⊢ e1 : τ | ... (9.5b)

      ... Γ, x : τ ⊢ e1: τ | ... (9.5c)

    • 正:

      ... Γ, x : nat, y : τ ⊢ e1 : τ | ... (9.5b)

      ... Γ, x : nat, y : τ ⊢ e1: τ | ... (9.5c)

担当

shinichi さん

今後の担当予定表

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

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

06/13/2020 00:38

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

Group

Haskell with Skype

Number of events 110

Members 64

Ended

2020/06/19(Fri)

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

Registration Period
2020/06/13(Sat) 00:30 〜
2020/06/19(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(4)

lawtwai

lawtwai

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

fishii

fishii

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

Mizunashi_Mana

Mizunashi_Mana

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

KanSAKAMOTO

KanSAKAMOTO

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

Attendees (4)