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

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

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

9月

17

SoPL輪読会#9

Lemma 2.4 直後~

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

イベントの説明

注意

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

概要

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

URL: MIT Press, Amazon.co.jp

注意

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

輪読会の内容

全体的な内容

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

第9回

Lemma 2.4 の直後 ~

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

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