お知らせ 成長し続けるエンジニアを支援するサービス「Forkwell」と勉強会プラットフォーム「connpass」が連携し、connpass上で開催されるITエンジニア向け勉強会の懇親会への支援を拡大いたします。詳しくはこちら

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

11月

9

依存型勉強会3

Registration info

Attendee Type 1

Free

Attendees
4

Description

概要

Martin-Loefの型理論とか勉強しましょう。

(第2回はuniverseの話に費やしたので)第3回は

Cohen et al., Cubical Type Theory: a constructive interpretation of the univalence axiom

https://arxiv.org/abs/1611.02108

を参考にcubical type theoryをやります。以下の実装も触る予定です。

https://github.com/mortberg/cubicaltt


計画
  • 第一回 intensional / extensional type theory
  • 第二回 universe
  • 第3回 cubical type theory
  • 第?回 observational type theory
  • 第?回 2-dimensional type theory

Media View all Media

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

Feed

t6s

t6s published 依存型勉強会3.

10/25/2017 23:14

依存型勉強会3 has been published!

Ended

2017/11/09(Thu)

18:30
21:00

Registration Period
2017/10/25(Wed) 23:14 〜
2017/11/09(Thu) 21:00

Location

Misoca

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

Organizer

Attendees(4)

t6s

t6s

I joined 依存型勉強会3!

mkoga_

mkoga_

依存型勉強会3 に参加を申し込みました!

tannakaken

tannakaken

依存型勉強会3 に参加を申し込みました!

keigoi

keigoi

依存型勉強会3に参加を申し込みました!

Attendees (4)