注意

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

概要

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

URL: MIT Press, Amazon.co.jp

注意

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

輪読会の内容

全体的な内容

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

第16回

1. Theorem 2.19 ~ Lemma 2.21
2. Exercise 2.10 ~ 2.14

注意

Lemma 2.21 の後に内容の復習を行うために，書籍の順番通りに進まず Exercise 2.10 ~ 2.14 に取り掛かります

今度のスケジュール予定

個人情報と注意事項（再掲）

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