依存型勉強会2

機能改善イベント資料の投稿において、SlideShareやSpeakerDeckと同様に、Docswellの資料を埋め込みスライド表示できるように対応いたしました。資料の投稿機能は、資料URLを指定するだけで、URLから取得した情報を、適した形でconnpass上で表示・共有できる機能です

Oct

25
依存型勉強会2

Registration info	Attendee Type 1 Free Attendees 5

Description

概要

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

第2回は

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
第二回 cubical type theory
第三回 observational type theory

Media View all Media

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

Feed

t6s published 依存型勉強会2.

10/06/2017 15:40

依存型勉強会2 has been published!

Ended

2017/10/25(Wed)

18:30 〜 21:00

Google Calendar iCal

Registration Period
2017/10/06(Fri) 15:40 〜
2017/10/25(Wed) 21:00

Event Organizer Contact

Location

Misoca

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

Organizer

Attendees（5）

I joined 依存型勉強会2!

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

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

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

締切間近でいけるか微妙なんですが行きたい

Oct 25 依存型勉強会2