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