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

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

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

May

8

PFPL輪講会#11

5.4 Equational Dynamics ~

Registration info

参加枠1

Free

FCFS
5/10

Description

今回の範囲について,書籍の内容について一部修正事項 があります。

下部の「内容」>「補足事項」に記載した内容 を確認してください。

概要

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

目的

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

内容

第11回

範囲

5.4 Equational Dynamics ~

補足事項

  • 書籍に関する追加内容:

    • 演習5.4:

    Prove that if Γ ⊢ e ≡ e ' : τ according to Rules (5.10), then Γ ⊢ e : τ and Γ ⊢ e ' : τ according to Rules (4.1).

    この演習を解くにあたり,規則 (5.10 a) および規則 (5.10 i) を修正 する必要があります。

  • 書籍に関する修正内容 (追記: 2020-05-04 17:00)

    The statement and proof of the canonical forms lemma could be improved as follows:

    Lemma 6.3 (Canonical Forms).

    1. If e : num and e val, then e = n for some number n
    2. If e : str and e val, then e = ”s” for some string s.

    Proof. Each case is proved by induction on typing, making use of the definition of e val.

    なお,この補題については "Abbreviated online edition" に記載されている内容は,出版された書籍の内容のままです。

担当

fishii さん

Media View all Media

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

Feed

lawtwai

lawtwai published PFPL輪講会#11.

05/02/2020 00:39

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

Group

Ended

2020/05/08(Fri)

22:00
2020/05/09(Sat) 00:00

Registration Period
2020/05/02(Sat) 00:30 〜
2020/05/08(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(5)

lawtwai

lawtwai

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

Mizunashi_Mana

Mizunashi_Mana

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

fishii

fishii

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

ymorii47

ymorii47

I joined PFPL輪講会#11!

KanSAKAMOTO

KanSAKAMOTO

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

Attendees (5)