12月
3
SoPL輪読会#16
Theorem 2.19 ~ Lemma 2.21, Exercise 2.10 ~ 2.14
募集内容 |
参加枠1 無料
先着順
|
---|---|
開催日時 |
2021/12/03(金) 22:00 ~
2021/12/04(土) 00:00 |
募集期間 |
2021/11/28(日) 22:30
〜 |
会場 |
オンライン 会場のサイトを見る |
イベントの説明
注意
以前に参加した方は参加登録する必要はありません。
概要
Carl A. Gunter. Semantics of Programming Language. MIT Press, 1992. を読みます。
URL: MIT Press, Amazon.co.jp
注意
- 書籍はご自身で必ず用意 してください
輪読会の内容
全体的な内容
第1回の内容を参照してください
第16回
- Theorem 2.19 ~ Lemma 2.21
- Exercise 2.10 ~ 2.14
注意
Lemma 2.21 の後に内容の復習を行うために,書籍の順番通りに進まず Exercise 2.10 ~ 2.14 に取り掛かります
今度のスケジュール予定
日付 | 内容 |
---|---|
12/03 | 第17回 |
12/10 | 第18回 |
12/17 | 第19回 |
それ以降 | 協議 |
----------- | ------------ |
01/07 | 年明け後の初回 |
個人情報と注意事項(再掲)
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。