新機能 イベント主催者向け機能「重複参加の許可/禁止」機能と「グループブラックリスト」機能をリリースしました。詳しくは こちら

お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

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

7月

8

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

SORABITOの高野さんをお招きしての勉強会

主催 : 白ヤギコーポレーション

ハッシュタグ :#AIAL
募集内容

参加者

無料

先着順
94/100

LT発表

無料

先着順
2/2

中の人

無料

先着順
2/2

イベントの説明

会場変更のご連絡

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

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 氏の画像をイベント画像に使っています。

発表者

資料 資料をもっと見る/編集する

フィード

takano32

takano32 さんが書き込みました。

2016/07/11 00:52

公開できるか確認するのが難しい(あるいは面倒な)素材を消去した資料を公開版として作成し、アップロードしました。 https://speakerdeck.com/takano32/xing-tuitemasuka-xing-falseben-zhi-wozhen-rifan-ru

takano32

takano32さんが資料をアップしました。

2016/07/11 00:50

shokugyo

shokugyo さんが書き込みました。

2016/07/08 20:12

すいません、今、2階に着いているのですが、受付がなくて中に入れません。どうしたらよいでしょうか?よろしくお願いします。

esehara

esehara さんが書き込みました。

2016/07/06 19:27

すいません、直前のドタキャンで大変申しわけないのですが、体調の都合で出れそうになくなったので、LTをキャンセルします……関係者の方々、ご迷惑をおかけします……

niryuu

niryuu さんが書き込みました。

2016/06/22 18:21

LT の題目ですが、「LT(Linear Types)」にします。よろしくお願いいたします。

esehara

esehara さんが書き込みました。

2016/06/22 11:06

Typed Racket(余裕があればTyped Clojure)などのLispにおける型付きの実装について簡単にLTできればと思い、枠を移動しました ;)

t2y

t2y さんが 型、ついてますか? - 型の本質を振り返る - を公開しました。

2016/06/20 13:01

型、ついてますか? - 型の本質を再び振り返る - has been published!

グループ

最先端情報吸収研究所(AIAL)

イベント数 16回

メンバー数 500人

終了

2016/07/08(金)

19:30
21:30

募集期間
2016/06/20(月) 13:01 〜
2016/07/08(金) 21:30

会場

日本マイクロソフト

東京都港区港南 2-16-3 品川グランドセントラルタワー

日本マイクロソフト

管理者

参加者(98人)

nao

nao

型、ついてますか? - 型の本質を再び振り返る -に参加を申し込みました!

honta

honta

型、ついてますか? - 型の本質を再び振り返る - に参加を申し込みました!

taisyun

taisyun

型、ついてますか? - 型の本質を再び振り返る - に参加を申し込みました!

YuichiroTakahashi

YuichiroTakahashi

型、ついてますか? - 型の本質を再び振り返る -に参加を申し込みました!

ezura

ezura

型、ついてますか? - 型の本質を再び振り返る -に参加を申し込みました!

chikumin

chikumin

型、ついてますか? - 型の本質を再び振り返る - に参加を申し込みました!

hnakayama

hnakayama

型、ついてますか? - 型の本質を再び振り返る - に参加を申し込みました!

furuhouse

furuhouse

型、ついてますか? - 型の本質を再び振り返る - に参加を申し込みました!

freeman

freeman

型、ついてますか? - 型の本質を再び振り返る -に参加を申し込みました!

Toast kid

Toast kid

型、ついてますか? - 型の本質を再び振り返る -に参加を申し込みました!

参加者一覧(98人)

キャンセルした人(40人)