皆様, (重複して受け取られた方はご容赦ください)
東京大学蓮尾研の赤崎と申します。 以下の要領で, 再来週の火曜日に、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.