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

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

Oct

5

 依存型勉強会

Hashtag ：#巨大基数勉強会
Registration info

Attendee Type 1

Free

Attendees
4

Description

概要

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

第一回は

Hofmann, "Extensional concepts in intensional type theory"

http://www.lfcs.inf.ed.ac.uk/reports/95/ECS-LFCS-95-327/

を参考にしつつ、intensional / extensional type theoryのコア部分をやります。

動く実装があればそれも試すかも

計画
  • 第一回 intensional / extensional type theory
  • 第二回 observational type theory
  • 第三回 cubical type theory

Media View all Media

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

Feed

t6s

t6s published 依存型勉強会.

09/29/2017 14:53

依存型勉強会 has been published!

Ended

2017/10/05(Thu)

18:30 〜 21:00
Google Calendar iCal

Registration Period
2017/09/29(Fri) 14:52 〜
2017/10/05(Thu) 21:00

Event Organizer Contact

Location

Misoca

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

Organizer

Attendees（4）

t6s

t6s

I joined 依存型勉強会!

tannakaken

tannakaken

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

mkoga_

mkoga_

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

keigoi

keigoi

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

Attendees (4)

Canceled (2)