BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:TaPL本 (型とプログラミング)を読む　第0回kickof
 f
X-WR-CALNAME:TaPL本 (型とプログラミング)を読む　第0回kickof
 f
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:869645@techplay.jp
SUMMARY:TaPL本 (型とプログラミング)を読む　第0回kickoff
DTSTART;TZID=Asia/Tokyo:20220901T183000
DTEND;TZID=Asia/Tokyo:20220901T203000
DTSTAMP:20260409T064426Z
CREATED:20220811T212914Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/86964
 5?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n本イベント
 について\n概要\nグループMACS(後述)のTaPL分科会の定期
 イベントになります。\nTypes and Programming Languages (通称Ta
 PL本)の基本事項を一通り理解する事を目標とします。\
 n現時点で確定ではありませんが、イベント開催者(型
 理論の素人・基本的な数理的素養はあり)が毎回発表し
 ていき、聴講者が気軽に質問したり、突っ込みを入れ
 たり、といった形式で行う予定です。\n型理論を初め
 て学ぶ参加者は、事前に流し読みをする事をお勧めし
 ますが、予習している事は前提としません。\n開催頻
 度・日時・スケジュール\n現時点で毎回日時調整を行
 います。\n開催頻度は月2~3を想定しています。\n対象者
 \n\n型理論に興味があり、基本的な事項を知りたい方\nT
 aPL本を読みたい方\n理工系大学初等年度の数学の基礎(
 集合・写像・述語論理学の記法とか)は抑えている方\n
 不安な方は対象書籍の2章を事前に眺める事を推奨しま
 す\n\n\n\n必ずしも参加者の書籍保有は前提としていま
 せんが、参照する事もあると思うので、保有をお勧め
 します。英語が苦手な方は邦訳もありますので、そち
 らご参照ください。\nまたこの活動の背景にあるグル
 ープの説明\nhttps://macs.connpass.com/\nについても併せてご
 覧ください。\n第0回の内容\nkickoffでは、簡単なロード
 マップや活動について紹介した後、早速書籍の中身を
 発表していく想定です。\n3章から始め、可能な範囲で
 進めます。\n特に1章の導入部はスキップし、2章の数学
 の基礎知識パートは必要になったら都度参照といたし
 ます。\nなお質問がございましたら、connpassで問い合わ
 せしていただいて大丈夫です。\n本グループについて\n
 最新版は\nhttps://macs.connpass.com/\nをご参照ください。\n
 広い意味でのコンピュータ科学・情報科学を勉強・議
 論・習得していく、Mastering All the Computer Science (通称MACS
 )という活動を(最初は内輪で)始めました。\n理論特化
 の内容(各種数理・アルゴリズム)から、応用寄りの内
 容(デザインパターン・DB)までの、比較的、基礎的・普
 遍的・汎用的な内容・側面を対象とします。逆に、機
 械学習のある一手法や個別のソフトウェアやライブラ
 リの使い方といった、一過性・流行色の強いものはあ
 まり対象としていません。\nその主な活動方法として
 は、分科会という特定のテーマ・トピックを扱うチー
 ム・チャンネルを立ち上げ、主催者が永遠と解説した
 り、持ち回りで輪読したり、議論したり、比較的自由
 に運営する方式を現在は実験的に採用しています。\n
 基本的には、CSを勉強したい、という方であれば、ど
 なたでもご参加いただけます。\n※ もちろん社会的規
 範等を遵守し、攻撃的な行動・発言をしなければ、と
 いう条件付きです。
LOCATION:オンライン オンライン
URL:https://techplay.jp/event/869645?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR