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

10月

5

依存型勉強会

ハッシュタグ :#巨大基数勉強会
募集内容

Attendee Type 1

無料

参加者数
4

イベントの説明

概要

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

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

資料が投稿されると、最新の3件が表示されます。

フィード

t6s

t6s さんが 依存型勉強会 を公開しました。

2017/09/29 14:53

依存型勉強会 has been published!

終了

2017/10/05(木)

18:30
21:00

募集期間
2017/09/29(金) 14:52 〜
2017/10/05(木) 21:00

会場

Misoca

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

管理者

参加者(4人)

t6s

t6s

I joined 依存型勉強会!

tannakaken

tannakaken

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

mkoga_

mkoga_

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

keigoi

keigoi

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

参加者一覧(4人)

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