BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//connpass.com//Connpass//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:connpass-「型システムのしくみ」輪読会 Vol.2
X-WR-CALNAME:connpass-「型システムのしくみ」輪読会 Vol.2
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:「型システムのしくみ」輪読会 Vol.2
DTSTART:20250808T100000Z
DTEND:20250808T120000Z
DTSTAMP:20260915T124107Z
CATEGORIES:
CREATED:20250704T123653Z
DESCRIPTION:# 📢イベント概要\n\n今年の4月、「型システム
 のしくみ ― TypeScriptで実装しながら学ぶ型とプログラ
 ミング言語（ラムダノート）」が出版されました。\n\n
 この分野の本格的な入門書としては「型システム入門\n
 プログラミング言語と型の理論（オーム社）」が定番
 とされていますが、前提として初等的な集合論の知識
 が必要だったり、普通のプログラマーにとってな難解
 な記号が駆使されていたりなどもあって、出版当時購
 入した方でも挫折した人が非常に多かったという印象
 です。\n\nしかし、今回出版された書籍（以下「型シス
 テムのしくみ」で統一）については、私も最後のレビ
 ューにちょっとだけ関わった程度ですが、数学的な前
 提知識などがなくても、TypeScriptでコードを書ける人で
 あれば十分読み解ける範囲のやさしさに抑えられてい
 ると感じました。\n\nともあれ、本を買ったはいいもの
 のーという方も結構いらっしゃるのではないか、とい
 うことで、著者でないのですが、本書の輪読会を開催
 するに至りました。隔月開催くらいで、少しずつ本書
 を読み進めて、皆さんの型システム理解の手助けをで
 きればと思っています。\n\nあくまで非公式な輪読会で
 すが、著者の遠藤さんからは許諾をいただいています
 。\n\n# 参加資格\n\n本書がTypeScriptで型システムを実装す
 ることで、型システムへの理解を深める本であるため\n
 \n  * TypeScriptで多少のコードが読める/書ける\n    * 書籍
 のコードを読めるくらいで、業務コードの読み書きス
 キルは必要はありません\n  * 型システムについて理解
 を深めたいと思っている\n\n方の参加を歓迎しています
 。また、輪読会のため、参加者の方には書籍の購入（
 紙/電子どちらでも）をお願いします。\n\n# 日時\n\n  * 20
 25年7月04日（金）19:00-21:00\n\n# タイムテーブル\n\n  * 19:00
 ：開始（Google Meet）\n  * 19:00-19:05: オープニング\n  * 19:05
 -19:50: 輪読会（2.2から）\n  * 19:50-20:00: 質疑応答\n  * 20:00
 -21:00: 懇親会（希望者のみ）\n\n# 形式\n\nオンライン(Goog
 le Meet）で実施します。時間10分前に開場いたしますの
 で「参加者への情報」欄にあるGoogle\nMeetのリンクから
 お入りください。\n\n初回は水島が書籍のはじめから読
 み進めていく形です。1回10～20ページ程度になる見込み
 です。\n\n# 開催履歴\n\n  * 第一回：7/4（金）- ～「2.2 構
 文木」直前まで\n  * 第ニ回：8/8（金）- ～「2.2 構文木
 」から\n\n# 懇親会について\n\nMetaLifeによるオンライン
 懇親会を21:00から1時間にわたって開催する予定です。
 「参加者への情報」欄からお入りください。\n\nhttps://js
 a.connpass.com/event/361616/
LOCATION:オンライン (オンライン)
URL:https://jsa.connpass.com/event/361616/
END:VEVENT
END:VCALENDAR