BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:型システム祭りオンライン
X-WR-CALNAME:型システム祭りオンライン
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:774084@techplay.jp
SUMMARY:型システム祭りオンライン
DTSTART;TZID=Asia/Tokyo:20200417T183000
DTEND;TZID=Asia/Tokyo:20200417T223000
DTSTAMP:20260429T075345Z
CREATED:20200306T141837Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/77408
 4?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n\nclusterイベ
 ントページ: https://cluster.mu/events/88475257-4b92-4e07-b23c-a3381a
 dcdfc8\n主に人数把握のために、基本的にこちらから登
 録をお願いします。イベント自体はcluster上で開催され
 ます。\n\n\n2020/04/15追記：発表資料について\nこちら、
 連絡が遅くなって申し訳ありませんが、clusterの仕様上
 、発表資料はPDFで投影していただくことになります。
 発表者の皆様にはお手数おかけしますが、発表資料の
 事前PDF化をよろしくお願いいたします。\n\n機材につい
 て\n今回、clusterを利用するため、以下の環境が必要と
 なります（お手数ですが、Linux環境の方は、WindowsかmacO
 Sを別途ご用意いただければと思います）。\n\nOS: Windows
  10 or macOS\nハードウェア： スピーカーおよびマイク\nVR
 用ハードウェアをお持ちの方: Oculus or VIVEを利用してい
 ただくことができます\n\nまた、clusterのデスクトップ
 アプリを使うため、事前に以下からclusterアプリをダウ
 ンロードおよび、clusterのアカウント登録をお願いしま
 す。\n\nhttps://cluster.mu/downloads\nhttps://cluster.mu/\n\nまた、
 個々の機材起因によるトラブルも予想されますので、
 当日までに、マイクおよびスピーカーがうまく機能す
 るかのテストもお願いできればと思います。\n引き続
 き、よろしくお願いします。\n\n趣旨\n2月21日に開催す
 る予定だった型システム祭りのオンライン版です。先
 月は、コロナウイルスの感染拡大により、開催を延期
 せざるを得ませんでした。楽しみにしてくださってい
 た方、誠に申し訳ありませんでした。\n3月4日現在、感
 染拡大を巡る状況はさらに悪化していて、多くのオフ
 ラインイベントが延期や中止を表明している状態です
 。この状態がいつまで続くかはわからないので、もう
 いっそオンラインでやってしまおう！ということで、\
 n「型システム祭りオンライン」という形で開催させて
 いただくことにしました。オンラインでの大規模イベ
 ントの開催ということで、clusterというサービスを利用
 します。\nちなみに、オンライン開催ということで、
 遠隔地の方の参加もどんどん募集しています、という
 か歓迎です。これを機会に、オンラインミーティング
 をもっと活発にやっていくことは、東京へのイベント
 一極集中への一つの解にもなるかなと思っています。\
 n大規模なオンラインイベントということで、当日の不
 手際などが起こる可能性がありますが、皆さんご協力
 いただければ幸いです。\nなお、イベント自体の性質
 が完全に異なるので、オフラインでの型システム祭り
 に申し込んでいただいた方も、こちらから申し込み直
 していただければと思います。\n概要\n現在、多くの実
 用プログラミング言語が静的型を持っています。たと
 えば、Java、C#、Scala、Rust、Go、OCaml、Haskellなどがあり
 ます。\nまた、最近の動きとして、いわゆる動的型付
 き言語に静的型を部分的に導入しようという試みがな
 されてくるようになりました。たとえば、JavaScriptにGra
 dual Typingを追加した言語としてのTypeScriptや、Python 3の
 型注釈、Ruby 3の型シグニチャファイルなど、そのよう
 な試みは数多くあります、\nそんな、静的型付き言語
 と動的型付き言語の距離が近づいて来ている現在、あ
 らためて型システムに焦点を当てたイベントを開催し
 ようと思います。「型システム」というと少し堅い感
 じがしますが、それぞれの言語での、型を利用したテ
 クニックなど、ちょっとしたハックや、静的型付き言
 語を通して得られた学びを語るといった内容も積極的
 に歓迎します。\n\n参加資格\n特にありませんが、ある
 程度静的型付き言語を触ったことのある人の方が楽し
 めるのではないかと思います。\n\n発表について\n「型
 」が中心の話であれば、特に制限はありません。いわ
 ゆる型理論のような、「堅い」内容に限らず、型全般
 に関する様々な発表を歓迎します。一例ですが、\n\nRub
 y 3の型に関する話\nmypyを使った型チェックを実践して
 みた話\nプログラム設計で型検査を活用するうまいや
 り方\nTypeScriptでのうまい型設計\n\nといった話が考えら
 れます。\n発表時間は、15分（＋質疑応答5分）でお願
 いします。LT（一人5分）も行います。cluster上での発表
 になるので、資料の形式については、基本的にPDFでお
 願いします。\n\nタイムスケジュール（敬称略、TBD）\n\
 n18:30: 開始\n18:30-18:35: オープニング by kmizu\n18:35-18:40: cl
 usterの使い方紹介 by kmizu\n18:40-20:40: 発表\n\n18:40-19:00:「
 型プロファイラ：抽象解釈に基づくRuby 3の静的解析」 
 by mame\n\n型注釈を書かないという絶対制約の下でRubyコ
 ードをどうにか静的解析・型推論できないかという無
 謀な挑戦について話します。\n\n19:00-19:20 「REST APIのURL
 も返り値も全て静的型検査可能にするOSS」 by m_mitsuhide 
 \n\nパス変数含めてHTTPリクエストに関する全ての値に
 型を付与できるTypeScript製OSSを紹介します\n\n19:20-19:40: 
 「Everyday Life with clojure.spec」by カマイルカ\n\n型システ
 ムとは異なりつつも目的が一部重なるアプローチとし
 てClojureの"clojure.spec"について簡単に紹介します\n\n19:40-
 20:00: 休憩\n20:00-20:20: 「多段階計算の型システムの基礎
 」 by bd_gfngfn\n20:20-20:40: 型システムに関する好きな論文
 を布教する by kmizu （スライドなし）\n\n20:40-21:40: LT * 10
 \n\n「F# で固定長ベクトルを実装する話」 by cannorin\n「e
 ffectful subtyping」 by びしょーじょ\n\nエフェクトに部分
 型を入れる話をします｡\n\n「Type Providers in F#」 by E_ntyo
 \n\n F#のType Providersを紹介し、嬉しさなどを共有します\
 n\n「AWS開発をTypeScriptのみで行う」 by ufoo68\n「5分では
 わからないHM型推論」 by Biacco42\n「行列の行と列を型パ
 ラメタとして持つ言語Matlikeの紹介」 by kmizu\n 「TypeScrip
 t の便利な型変形をなんとかして Scala.js で使う」by exoe
 go\n\n21:40-21:50: 休憩＋アナウンス\n21:50-22:30: わいわい雑
 談（懇親会のようなもの）\n\n\n場所: ご自宅などネッ
 ト環境のあるところならどこでも（要マイク・スピー
 カー）\n\n\n受付：特にありません。当日の時間になっ
 たら、clusterのページから入ってください。\n\n参加費
 ：無料\nオンライン開催なので、飲食物の提供はあり
 ません。\n\nキャンセルについて：当日あるいは事前に
 参加できなくなった場合は、必ずこのページから「キ
 ャンセル」を押して、キャンセルしてください。\n\nア
 ンケートについて\n本イベントの参加者に対して、LTが
 終わったタイミングで当日アンケートを行います（回
 答は任意）。アンケートの回答結果等の個人情報は、
 今後のイベントのご案内等のために利用させていただ
 く場合がございます。\n＜共同利用企業＞\n\n株式会社
 オプトホールディング\n株式会社オプト\n
LOCATION:Cluster
URL:https://techplay.jp/event/774084?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR