BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//connpass.com//Connpass//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:connpass-「型システムのしくみ」輪読会 Vol.5
X-WR-CALNAME:connpass-「型システムのしくみ」輪読会 Vol.5
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:「型システムのしくみ」輪読会 Vol.5
DTSTART:20251114T100000Z
DTEND:20251114T120000Z
DTSTAMP:20260915T124051Z
CATEGORIES:
CREATED:20251010T105600Z
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年11月14日（金）19:00-21:00\n\n# タイムテーブル\n\n  * 19:0
 0：開始（Google Meet）\n  * 19:00-19:05: オープニング\n  * 19:0
 5-19:50: 輪読会（x.yから）\n  * 19:50-20:00: 質疑応答\n\n# 形
 式\n\nオンライン(Google Meet）で実施します。時間10分前
 に開場いたしますので「参加者への情報」欄にあるGoogl
 e\nMeetのリンクからお入りください。\n\n初回は水島が書
 籍のはじめから読み進めていく形です。1回10～20ページ
 程度になる見込みです。\n\n# 開催履歴\n\n  * 第一回：7/4
 （金）- ～「2.2 構文木」直前まで\n  * 第ニ回：8/8（金
 ）- ～「2.2 構文木」から2章終わりまで\n  * 第三回：9/5
 （金）- ～3章はじめから\n  * 第四回：9/5（金）- 4章は
 じめから5章終わりまで\n  * [第五回]：11/14（金）- 6章は
 じめから\n\nhttps://jsa.connpass.com/event/372343/
LOCATION:オンライン (オンライン)
URL:https://jsa.connpass.com/event/372343/
END:VEVENT
END:VCALENDAR