BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:TAPL.ts 第4回
X-WR-CALNAME:TAPL.ts 第4回
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:911480@techplay.jp
SUMMARY:TAPL.ts 第4回
DTSTART;TZID=Asia/Tokyo:20230712T193000
DTEND;TZID=Asia/Tokyo:20230712T210000
DTSTAMP:20260409T144859Z
CREATED:20230706T142322Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/91148
 0?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nざっくばら
 んに言うと……\n「型システムのきほんのきに、「型
 システム入門」(TAPL)やTypeScript型推論アルゴリズム(check
 er.ts)をみんなで読み進めることで、入門してみません
 か！？」\nということです。要するに、TAPLの輪読会で
 す！適宜checker.tsも読みます！\nこの誘いに心惹かれた
 カタは、ぜひ以下を読み進めてください👶\n※どれだ
 け読み飛ばして頂いてもよいのですが、「必要なもの
 」と「進め方」の2セクションは必読でお願いします！
 \n※ 「コンピューターサイエンス専攻/情報系じゃなか
 ったなあ」とかは気にしないで下さい！(私も全然違い
 ます🐤)\n参考\n\n型システム入門(TAPL): https://www.ohmsha.co
 .jp/book/9784274069116/ (第1章のサンプル有)\nTypeScript型推論
 アルゴリズム(checker.ts): https://github.com/microsoft/TypeScript/b
 lob/main/src/compiler/checker.ts\n\n目指すこと\n下記を目標と
 して進めていきたいと考えています🐢\n\n型そのもの
 やその周辺の概念(e.g. 型安全、型付け)について理解を
 深める\n初歩的な型推論アルゴリズムの実装について
 理解を深める\n型システムに関する論文や実装コード
 の読解に、ある程度取り組めるようになる\n\n具体的な
 内容\nTAPLを読み進めることを主軸において、TypeScriptの
 型推論アルゴリズムのコード(checker.ts)を適宜参照して
 いきます。\nTAPLについて、具体的には下記の章を順に
 読んでいければと思っています。\n\n3章: 型無し算術式
 \n5章: 型無しラムダ計算\n8章: 型付き算術式\n9章: 単純
 型付きラムダ計算\n11章: 単純な拡張\n15章: 部分型付け\
 n16章: 部分型付けのメタ理論\n\nこれは、TAPL序文で述べ
 られている活用例や章間依存関係を参考にしたロード
 マップです。この背後には、要するに「型やその周辺
 概念で優先度が高いものをおさえたら、基本的な型推
 論アルゴリズムまで最短ルートでいってみようよ！」
 という設計思想があります。\nこの設計思想が根本に
 あるので、このロードマップは会の状況に応じて増え
 たり減ったりする可能性があります！しかし、その場
 合もTAPLとchecker.tsを参照するという基本コンセプトは
 変えないつもりです🐸\nまた、サクサク進むとは思っ
 ていないので、きっと半年くらいやるのだろうと思っ
 ています。\n必要なもの(必ず目を通して下さい！)\n読
 み進め枠・参加枠共通\n\n型システム入門(TAPL)\n参加者
 の方々にはこの本を買って参加してもらうことを前提
 としています！！画面への本書の投影は一切行いませ
 ん👶\nオーム社さんの書籍紹介ページ: https://www.ohmsha.c
 o.jp/book/9784274069116/\nAmazonさんや達人出版会さんから購
 入できます。もちろん他のチャネルもあると思います
 、ご自由に！\nもちろん紙版でも電子版でもどちらで
 も大丈夫です！！！！\n\n\n会の進行や議論の展開が思
 っていた以上にゆっくりでも、のんびり気楽に参加で
 きる精神的な余裕\nもちろん開始時間・終了時間は守
 ります！！予定していた部分が終わらないから次回に
 持ち越し、といったことが全然ありえるよということ
 です\n\n\n会が動画撮影されていても動じない心の準備(
 「その他注意事項」をご確認下さい)\n\n読み進め枠\n\n
 間違いを恐れず、お互いの理解するスピードを尊重し
 ながら、自由な議論を楽しむマインドセット\n\n参加枠
 \n\n自分のコメントが読み進め枠メンバーに拾ってもら
 えなくても気にしない気楽さ\n\n進め方(必ず目を通し
 て下さい！)\nすべて、現時点での構想なので状況に応
 じて変更をしていくと思います！！！\n形式\n\n読み進
 め枠と視聴枠を設け、下記のように役割を定めてみま
 す📝\n読み進め枠: TAPLやchecker.tsを実際に読み進める。
 都度、自由に議論をする。視聴枠のメンバーが投稿す
 るコメントは取り上げてもよいし、取り上げなくても
 よい\n視聴枠: 読み進め枠のメンバーの読み進めや議論
 を視聴する。視聴プラットフォーム上でコメントを書
 くことはできるが上述の通り、取り上げられないこと
 もある\n\n\n読み進めは下記のように進めます📖\n読み
 進め枠のメンバーでTAPLの文章を1~2文ずつ、まわしなが
 ら読む。小学校の国語の授業でかわりばんこの音読を
 したときのイメージ\n読み進め枠のメンバーは分から
 ないことや議論したいことがあったら、その都度言っ
 て、議論を始められる\nその他、よしなにやる\n\n\n\n日
 時\n\n毎週または隔週の水曜日に、19時半から21時に開
 催します🎉\n\n場所\n\n読み進め枠メンバーはオフライ
 ン希望の方はオフラインで、リモート希望の方はリモ
 ートで参加可能\nオフライン: 時間・場所はページ上部
 の「参加者への情報」枠を参照\nリモート: URLはページ
 上部の「参加者への情報」枠を参照\n\n\n視聴枠メンバ
 ーはリモート(google meet)で参加\nURLはページ上部の「参
 加者への情報」枠を参照\n\n\n\nその他注意事項\n下記に
 ご留意下さい！\n\n各回は視聴枠の方々向けにgoogle meet
 で配信されます！録画も残し、問題のない形で公開し
 ようと思っています👶\nオフライン開催時の読み進め
 の場所は、主催者の所属する「株式会社テックタッチ
 」の提供です。各回の最初に1-2分の会社紹介をしたり
 しなかったりする場合があります👶\n\n主催者のプロ
 フィール\n名前: canalun(かなるん)\ngithub: canalun\ntwitter: @i
 _am_canalun\n株式会社テックタッチで、DOM上での要素の探
 索や埋め込みの処理、それにまつわるHTML/CSS/JSの仕様
 ・挙動の深掘りをメインにエンジニアしています✌️ 
 (DOMDOMタイムスを始めました！)\nレコード集め、コード
 やvimのゴルフ、パズルが好きです👶
LOCATION:オンライン
URL:https://techplay.jp/event/911480?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR