新機能 オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするには こちら をご確認ください

このエントリーをはてなブックマークに追加

Apr

17

型システム祭りオンライン

型システムについてオンラインで語ろう(駄洒落)

Organizing : Opt Technologies/オプトテクノロジーズ

Hashtag :#typefesta
Registration info

オンライン参加枠

Free

FCFS
443/500

オンライン発表枠(15分)

Free

FCFS
3/5

オンラインLT枠(5分)

Free

FCFS
5/10

Description


機材について

今回、clusterを利用するため、以下の環境が必要となります(お手数ですが、Linux環境の方は、WindowsかmacOSを別途ご用意いただければと思います)。

  • OS: Windows 10 or macOS
  • ハードウェア: スピーカーおよびマイク
  • VR用ハードウェアをお持ちの方: Oculus or VIVEを利用していただくことができます

また、clusterのデスクトップアプリを使うため、事前に以下からclusterアプリをダウンロードおよび、clusterのアカウント登録をお願いします。

また、個々の機材起因によるトラブルも予想されますので、当日までに、マイクおよびスピーカーがうまく機能するかのテストもお願いできればと思います。

引き続き、よろしくお願いします。


趣旨

2月21日に開催する予定だった型システム祭りのオンライン版です。先月は、コロナウイルスの感染拡大により、開催を延期せざるを得ませんでした。楽しみにしてくださっていた方、誠に申し訳ありませんでした。

3月4日現在、感染拡大を巡る状況はさらに悪化していて、多くのオフラインイベントが延期や中止を表明している状態です。この状態がいつまで続くかはわからないので、もういっそオンラインでやってしまおう!ということで、

「型システム祭りオンライン」という形で開催させていただくことにしました。オンラインでの大規模イベントの開催ということで、clusterというサービスを利用します。

ちなみに、オンライン開催ということで、遠隔地の方の参加もどんどん募集しています、というか歓迎です。これを機会に、オンラインミーティングをもっと活発にやっていくことは、東京へのイベント一極集中への一つの解にもなるかなと思っています。

大規模なオンラインイベントということで、当日の不手際などが起こる可能性がありますが、皆さんご協力いただければ幸いです。

なお、イベント自体の性質が完全に異なるので、オフラインでの型システム祭りに申し込んでいただいた方も、こちらから申し込み直していただければと思います。

概要

現在、多くの実用プログラミング言語が静的型を持っています。たとえば、Java、C#、Scala、Rust、Go、OCaml、Haskellなどがあります。

また、最近の動きとして、いわゆる動的型付き言語に静的型を部分的に導入しようという試みがなされてくるようになりました。たとえば、JavaScriptにGradual Typingを追加した言語としてのTypeScriptや、Python 3の型注釈、Ruby 3の型シグニチャファイルなど、そのような試みは数多くあります、

そんな、静的型付き言語と動的型付き言語の距離が近づいて来ている現在、あらためて型システムに焦点を当てたイベントを開催しようと思います。「型システム」というと少し堅い感じがしますが、それぞれの言語での、型を利用したテクニックなど、ちょっとしたハックや、静的型付き言語を通して得られた学びを語るといった内容も積極的に歓迎します。


参加資格

特にありませんが、ある程度静的型付き言語を触ったことのある人の方が楽しめるのではないかと思います。


発表について

「型」が中心の話であれば、特に制限はありません。いわゆる型理論のような、「堅い」内容に限らず、型全般に関する様々な発表を歓迎します。一例ですが、

  • Ruby 3の型に関する話
  • mypyを使った型チェックを実践してみた話
  • プログラム設計で型検査を活用するうまいやり方
  • TypeScriptでのうまい型設計

といった話が考えられます。

発表時間は、15分(質疑応答5分)でお願いします。LT(一人5分)も行います。cluster上での発表になるので、資料の形式については、

・PDF ・画像 ・動画

のいずれかを予定していますが、この辺りは追って準備をして連絡をしたいと思います。


タイムスケジュール(敬称略、TBD)

  • 18:30: 開始
  • 18:30-18:40: 諸注意
  • 18:40-20:40: 発表(休憩込み)
  • 20:40-21:40: LT * 10
  • 21:40-21:50: 休憩+アナウンス
  • 21:50-22:30: わいわい雑談(懇親会のようなもの)

場所: ご自宅などネット環境のあるところならどこでも(要マイク・スピーカー)


受付:特にありません。当日の時間になったら、clusterのページから入ってください。


参加費:無料

オンライン開催なので、飲食物の提供はありません。


キャンセルについて:当日あるいは事前に参加できなくなった場合は、必ずこのページから「キャンセル」を押して、キャンセルしてください。


アンケートについて

本イベントの参加者に対して、LTが終わったタイミングで当日アンケートを行います(回答は任意)。アンケートの回答結果等の個人情報は、今後のイベントのご案内等のために利用させていただく場合がございます。

<共同利用企業>

  • 株式会社オプトホールディング
  • 株式会社オプト

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

kmizu

kmizu wrote a comment.

2020/03/13 15:27

ページトップに、機材について追記しました。特に、必要なハードウェア(スピーカーおよびマイク)と、clusterデスクトップアプリのインストールが必要な点にご注意ください

kmizu

kmizu published 型システム祭りオンライン.

03/06/2020 15:19

型システム祭りオンライン を公開しました! cluster上でのオンライン開催ですので、遠隔地の方でも発表/参加可能です。

Group

Public

2020/04/17(Fri)

18:30
22:30

Please login to register

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2020/03/04(Wed) 00:00 〜
2020/04/17(Fri) 18:30

Location

Cluster

Cluster

Attendees(451)

Masahiro Nishimi

Masahiro Nishimi

型システム祭りオンライン に参加を申し込みました!

yoshihiro503

yoshihiro503

型システム祭りオンライン に参加を申し込みました!

う゛ぇい

う゛ぇい

型システム祭りオンライン に参加を申し込みました!

saito

saito

型システム祭りオンラインに参加を申し込みました!

Lil Pacy

Lil Pacy

型システム祭りオンラインに参加を申し込みました!

tunemage

tunemage

型システム祭りオンライン に参加を申し込みました!

tobb422

tobb422

型システム祭りオンライン に参加を申し込みました!

Tommy07Tommy07

Tommy07Tommy07

型システム祭りオンラインに参加を申し込みました!

shoz_f

shoz_f

型システム祭りオンラインに参加を申し込みました!

hogeyama

hogeyama

型システム祭りオンライン に参加を申し込みました!

Attendees (451)

Canceled (12)