‘åŠw‰@ƒZƒ~ƒi�[‚Ì—\’è
2020”N“xSƒZƒ�ƒXƒ^�[
ƒZƒ~ƒi�[‚̓Iƒ“ƒ‰ƒCƒ“‚ÅŽÀŽ{
5ŒŽ11“ú�iŒŽ�j 15:00 --
–Ø‘º –ž�W -- Quasimorphisms and bounded cohomology
5ŒŽ25“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
6ŒŽ8“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
6ŒŽ22“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
7ŒŽ6“ú�iŒŽ�j 15:00 --
‹g“c �ƒ -- Joint work with Noboru Ito
2019”N“xAƒZƒ�ƒXƒ^�[
‘åŠw‰@�W’†ƒZƒ~ƒi�[ 9ŒŽ24“ú -- 27“ú
9ŒŽ24“ú�@118�†Žº
9ŒŽ25“ú -- 27“ú 056�†Žº
Timetable
ŒŽ—j“ú 470�†Žº
‹à—j“ú 470�†Žº
10ŒŽ7“ú�iŒŽ�j 16:00 --
�ó”ö ‘וF -- Magnitude homology of CAT(κ) spaces
10ŒŽ21“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
10ŒŽ28“ú�iŒŽ�j 15:00 --
Sergei Burkin -- Twisted category of an operad
11ŒŽ18“ú�iŒŽ�j 15:00 --
�ó”ö ‘וF -- Magnitude homology of crushable spaces
11ŒŽ25“ú�iŒŽ�j 17:30 --
�²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
1ŒŽ24“ú�i‹à�j 15:00 --
Sergei Burkin -- Twisted arrow operads and Segal conditions
1ŒŽ27“ú�iŒŽ�j 15:00 --
�ó”ö ‘וF -- Magnitude homology and Vietoris-Rips homology of geodesic metric spaces
2ŒŽ10“ú�iŒŽ�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
2ŒŽ21“ú�i‹à�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
2ŒŽ28“ú�i‹à�j 15:00 --
�²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
Rescheduled
‰ß‹Ž‚̃Zƒ~ƒi�[