型、ついてますか? - 型の本質を振り返る -

2016/07/08(金)19:30 〜 21:30 開催
ブックマーク

イベント内容

会場変更のご連絡

予想以上に参加申し込みが多かったため、白ヤギのオフィスではなく 日本マイクロソフト さんに会場を変更しました。

2Fロビーにて受付を行い入館証をお渡しします。その際に氏名と所属を記入して頂く必要があります。入館証を受け取り後、31Fのセミナールームに移動してください。

会場の制約のため、20時以降は入館できません。

概要

SORABITO株式会社 / 日本UNIXユーザ会 の高野光弘さん(@takano32)をお招きして型システムのお話を伺います。

なぜ、動的型付けスクリプト言語の流行りから、再び静的型付けの言語が注目されているのか。 型付けの歴史を振り返り、これからの「型」のありかたについて考えていきます。

予定

時間 発表者 内容
19:00 - 19:30 - 開場
19:30 - 19:45 日本マイクロソフト エバンジェリスト 山本美穂 会場説明 + LT (ゴリ押し抜きのマイクロソフトテクノロジー紹介)
19:45 - 20:45 高野光弘さん 型、ついてますか?
20:50 - 21:30 - 懇親会
21:00 - 21:10 niryuu さん LT (Linear Types)

発表内容

高野さんの発表内容です。

型、ついてますか? - 型の本質を振り返る -

Are your Type On? - How Figure Out What the Type Really Is -

  • 一般的な型についての概要

    • 静的型付け
    • 動的型付け
  • 型付けの風潮

    • 古代動的型付け
    • 古代静的型付け
    • 近代動的型付け
    • 近代静的型付け
  • 風潮の変遷

    • それぞの風潮での「指向」
  • 型、ついてますか?

    • 型は必要なのか
    • 繰り返される歴史
    • これからの「型」

ライトニングトークス

mihochannel さん

  • 日本マイクロソフトで無償で出しているVS Codeを使えば3000円分のAzureの利用枠がもらえてさらにWebAppsとかManagedのサービス使うとアプリ作りが楽しくできるという話

niryuu さん

  • LT(Linear Types)

esehara さんの発表は体調不良のため、キャンセルとなりました

発表者の応募があれば、決定次第、ご連絡します。

ライトニングトークス応募の注意事項

  • どんな言語でも構いませんので型システムに関するお題でお願いします
  • LT 発表枠に応募された方は事前 (1週間前まで) にイベント管理者へ LT の内容をご連絡ください
  • LT の内容がお題にあったものではなく、キャンセル待ちの LT 応募者がいた場合、他の応募者を優先させて頂く場合があります

お申し込み時の注意事項

  • 部屋が狭いために大人数を対象とした勉強会ではありません。なるべく当日参加できる見通しがある方のお申し込みをお願いします。またキャンセルなしの不参加をされた場合、次回から参加の申し込みをお断りさせて頂く可能性があるのでご注意ください

  • 下のフィードに書き込んでも管理者へ通知は送られないので基本的に気付きません。右サイドバーの「イベントへのお問い合わせ」からご質問されるようにお願いします

Copyright

chrstphre ㋛ campbell 氏の画像をイベント画像に使っています。

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。

関連するイベント