依存型勉強会4

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

Feb

9
依存型勉強会4

Registration info	Attendee Type 1 Free Attendees 5

Description

概要

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

第4回は以下の文献などを参考にdirected type theoryをやります

http://www.cs.cmu.edu/~drl/pubs/lh102dtt/lh102dtt.pdf https://tel.archives-ouvertes.fr/tel-01590515/document http://www.lsv.fr/~dubut/defense.pdf

計画

第一回 intensional / extensional type theory
第二回 universe
第3回 cubical type theory
第4回 directed 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 依存型勉強会4.

01/24/2018 18:36

依存型勉強会4 has been published!

Ended

2018/02/09(Fri)

18:30 〜 21:00

Google Calendar iCal

Registration Period
2018/01/24(Wed) 18:35 〜
2018/02/09(Fri) 21:00

Event Organizer Contact

Location

名古屋大学東山キャンパス情報学研究科棟 8F 802号室

名古屋市千種区不老町

Organizer

Attendees（5）

I joined 依存型勉強会4!

I joined 依存型勉強会4!

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

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