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

Oct

8

SoPL輪読会#10

2.2 Rules の Exercises (P.46) ~

Registration info

参加枠1

Free

FCFS
0/6

Description

注意

以前に参加した方は参加登録する必要はありません

概要

Carl A. Gunter. Semantics of Programming Language. MIT Press, 1992. を読みます。

URL: MIT Press, Amazon.co.jp

注意

  • 書籍はご自身で必ず用意 してください

輪読会の内容

全体的な内容

第1回の内容を参照してください

第10回

  • 2.2 Rules の Exercises (P.46) ~

備考: 'Type frame' (P.52 ~) の内容に関して,必要になりそうな段階になるまで先延ばしにするかを協議します。

個人情報と注意事項(再掲)

  • 参加者個人に関する情報への対応:
    • 輪読会を休みにして欲しい場合:
      • 理由を伝えていただく必要はない です
    • 災害発生の場合:
      • 各種の公共情報を元に適切な対応をお願いします。安全を確保した上で中止の要望 を出していただければ,即座に進行を中止します。
    • テキストチャット:
      • Discord の #基礎理論#連絡 に個人的な事柄を記述する際は,不特定の人の目に触れることを踏まえて内容を検討された上で書くことを推奨します
  • 営利を目的とする方は,参加を控えていただくようにお願い申し上げます

Media View all Media

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

Feed

lawtwai

lawtwai published SoPL輪読会#10.

10/03/2021 19:41

SoPL輪読会#10 を公開しました!

Group

Ended

2021/10/08(Fri)

22:00
2021/10/09(Sat) 00:00

Registration Period
2021/10/03(Sun) 19:30 〜
2021/10/08(Fri) 22:00

Location

Discord (グループDM)

オンライン

Discord (グループDM)

Organizer

Attendees(0)

No attendees yet.

Attendees (0)