新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Aug

1

ガチ勢になるための圏論勉強会 第百八十三回

Organizing : jun0inoue

Registration info

参加枠1

Free

Attendees
0

Description

このページでは新規参加者だけが表示されています。参加登録者には開催日の前々日ぐらいにSlackの招待状を connpass のメッセージ機能を通じて送ります。ツイッターは @jun0inoue まで。

前回は

  • Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg, "Cubical Type Theory: a constructive interpretation of the univalence axiom"

の fill と comp の計算ルールを理解しました。今回も引き続きこれを読んでいきます(発表者K)。5.2 節からか 6 節からの見込み。

これまでに読んだもの:

第四十三回までのバックナンバーは partake にあったんですが、ドメインごと消えました(´゚д゚`)

第七十七〜七十九回はページを作り忘れましたが、PintoのD論をやりました。

※Pintoの論文はどうもオンラインでは手に入らないようなので、欲しい人は言って下さい。Mackieの論文も、ACMのpaywallに阻まれているようです。

Media View all Media

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

Feed

jun0inoue

jun0inoue published ガチ勢になるための圏論勉強会 第百八十三回.

07/11/2020 17:49

ガチ勢になるための圏論勉強会 第百八十三回 を公開しました!

Ended

2020/08/01(Sat)

16:00
18:00

Registration Period
2020/07/11(Sat) 17:49 〜
2020/08/01(Sat) 18:00

Location

Google Hangouts

Google Hangouts

Organizer

Attendees(0)

No attendees yet.

Attendees (0)