お知らせ 11/6(金)開催「TechLead Conference 2026 Autumn powered by connpass」にconnpassが特別協力します。詳しくはこちらをご覧ください。

お知らせ connpassは、2026年11月より新たに「有料プラン」の提供を開始する予定です。あわせて、無料でご利用いただけるグループメッセージ送信数に上限を設ける予定です。多くのグループでは、現在のご利用状況のまま影響なくお使いいただける見込みです。上限値や対象、スケジュールの詳細はお知らせをご覧ください。

注意 connpass運営を装い「イベントへのお問い合わせ」機能を悪用した不審なメッセージが確認されています。connpass運営が同機能で連絡することはありません。メッセージ記載のURLへアクセスや情報入力をしないようご注意ください。

12月

3

SoPL輪読会#16

Theorem 2.19 ~ Lemma 2.21, Exercise 2.10 ~ 2.14

広告

募集内容	参加枠1 無料先着順 0/6人
開催日時	2021/12/03(金) 22:00 ～ 2021/12/04(土) 00:00 Googleカレンダー icsファイル
募集期間	2021/11/28(日) 22:30 〜 2021/12/03(金) 22:00まで
会場	DiscordのグループDM オンライン会場のサイトを見る

広告

イベントの説明

注意

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

概要

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	年明け後の初回

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

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

広告

資料資料をもっと見る／編集する

資料が投稿されると、最新の3件が表示されます。

広告

フィード

aka さんが SoPL輪読会#16 を公開しました。

2021/11/28 22:38

SoPL輪読会#16 を公開しました！

グループ

Haskell at Discord

イベント数 162回

メンバー数 60人

終了

2021/12/03(金)

22:00 〜 2021/12/04(土) 00:00

Googleカレンダー icsファイル

募集期間
2021/11/28(日) 22:30 〜
2021/12/03(金) 22:00

イベントへのお問い合わせ

広告

会場

DiscordのグループDM

オンライン

DiscordのグループDM

管理者

aka

参加者（0人）

まだ参加者はいません。

参加者一覧（0人）

広告

広告