みなさま、
東京大学蓮尾研の赤崎と申します。 先日お伝えした通リ、明日13:00より、Nijmegenの長健太さんをお招きして講演をしていただきます。 ぜひご参加ください。
日時: 5月10日(火) 13:00-15:00 場所: 東京大学理学部７号館214教室
-----------
Tue 10 May 2016, 13:00–15:00
理学部7号館214 Room 214, School of Science Bldg. No. 7
Kenta Cho https://www.google.com/url?q=http://www.cs.ru.nl/K.Cho/&sa=D&ust=1461640002273000&usg=AFQjCNEixO6CHXwAG-IoGfSa8Qs1OFrFKA (Inst. of Comp. & Info. Sci., Radboud University), Von Neumann algebras from a logical / categorical perspective
Many researches at the Nijmegen group involve von Neumann algebras,
which are now important not only in quantum physics but also in the
context of quantum computation and information. I plan to talk about:
1) basics of von Neumann algebras and quantum theory; 2) von Neumann
algebras in effectus theory (a categorical approach to quantum
computation and logic); 3) von Neumann algebras as a (categorical,
denotational) model of the quantum lambda calculus.