3月
19
型システムの夕べ - Nextbeat Tech Bar #20
冬の夜に型システムについてまったりと型ろう
主催 : 株式会社ネクストビート
広告
| 募集内容 |
オンライン参加 無料
先着順
オンライン発表枠（15分） 無料
先着順
オンラインLT枠（5分） 無料
先着順
|
|---|---|
| 申込者 |
|
| 開催日時 |
2026/03/19(木) 19:00 ～ 20:10
|
| 募集期間 |
2025/12/26(金) 11:52
〜 |
| 会場 |
オンライン オンライン |
| 参加者への情報 |
(参加者と発表者のみに公開されます)
|
| 出席登録 |
(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)
|
イベントの説明
📢 イベント概要
現在、多くの実用プログラミング言語が静的型を持っています。たとえば、Java、C#、Scala、Rust、Go、OCaml、Haskell, Rustなどがあります。
さらに近年、いわゆる動的型付き言語に静的型を部分的に導入する試みは成功し、一般的にすらなっています。
たとえば、TypeScriptはJavaScriptにGradual Typingを導入した言語とも言えますし、Python 3の型注釈も類似した試みです。Ruby 3のrbsは若干毛色が異なるものの、後付で静的な型を別ファイルとはいえ導入するという意味では広い意味で同じカテゴリにいれていいように感じます。他にも、PHPのtype hintingなどそのような試みは数多くあります。
現在、AIコーディングあるいはコーディングエージェントはすっかり一般的になっていますが、型システムも無関係とは言えません。特に、コーディングエージェントはしばしば初歩的なミスを犯しますが、そういったミスが実行時でなくビルドエラーになる（なりやすい）点はコーディングエージェント時代だからこその型システムの意義と言えます。
そんな激動するAI時代において、あらためて型システムに焦点を当てたイベントを開催しようと思います。「型システム」というと少し堅い感じがしますが、それぞれの言語での、型を利用したテクニックなど、ちょっとしたハックや、静的型付き言語を通して得られた学びを語るといった内容も積極的に歓迎します。もちろん、コーディングエージェントやAIと絡めた発表も大歓迎です。
参加資格
特にありませんが、静的型付き言語を触ったことのある人の方が楽しめるのではないかと思います。
発表について
「型」が中心の話であれば、特に制限はありません。いわゆる型理論のような、「堅い」内容に限らず、型全般に関する様々な発表を歓迎します。一例ですが、
- Ruby 3のrbsに関する話
- Scala 3の型システムの話
- mypyを使った型チェックについてのベストプラクティス
- AIコーディングで静的型から多くの恩恵を得るための方法
- TypeScriptの型システムについてのディープな語り
- Rustの所有権周りの型システムについての解説
- 型システムをいかにうまく使ってバグを減らすか
といった話が考えられます。
オンライン開催のため、Google Meetで発表いただく形になります。
発表枠について：
- 通常発表枠（発表15分+質疑応答5分）
- LT枠（発表5分）
が用意されています。通常発表に自信がない方でもぜひLTなど奮ってご応募くださいませ。
当日の流れ：
各発表者はご自身のPCから画面共有をお願いします。開始前の18:50からGoogle Meetに入室いただき、事前の画面共有テストを実施します。
発表タイトル＆概要のご提出：
- イベントページ公開用に、開催の2週間前までに発表タイトルと概要をご提出ください。
- 提出先： ml-dev-event{at}nextbeat.net（※ {at} を @ に変換してください）
日時
- 2026年03月19日（木）19:00〜21:00
オンライン懇親会について
MetaLifeを使ったオンライン懇親会を開催します！上限人数25名までの案内となりますので、ご注意くださいませ。懇親会の参加URLについてはconnpassの「参加者への情報」欄に記載しています。
タイムテーブル
| 時間 | 内容 | 時間枠 | 発表者 |
|---|---|---|---|
| 18：40 | 開場（Google Meets入場可能） | ||
| 19：00 | オープニング | 10分 | @kmizu |
| 19：10 | 発表1 | 15分枠+5分 | TBD |
| 19：30 | 発表2 | 15分枠+5分 | TBD |
| 19：50 | LT1 | 5分 | TBD |
| 19：55 | LT2 | 5分 | TBD |
| 20：00 | クロージング | 10分 | @kmizu |
| 20：10 | オンライン懇親会 | 1時間 | |
| 21：20 | オンライン懇親会終了 |
発表概要
注意事項
- 本イベントの録音・録画は禁止しております。
- 採用、営業活動を目的としたご参加はできません。
- イベントは止むを得ず中止させて頂く場合がございます。その際は、本サイトからのメッセージよりご連絡させて頂きますのでご確認をお願い致します。
※情報は随時更新します。
＜過去開催実績＞
ネクストビートでは、エンジニアを積極採用しています。
- HP: https://www.nextbeat.co.jp/
- プロダクト開発組織 会社紹介資料: https://speakerdeck.com/nextbeat/company-profile
発表者
資料 資料をもっと見る／編集する
資料が投稿されると、最新の3件が表示されます。
広告
フィード
2025/12/26 11:52
型システムの夕べ - Nextbeat Tech Bar #20 を公開しました！（2026年3月19日開催です！）参加お待ちしております🙇