みなさま、

東京大学蓮尾研の赤崎と申します。
先日お伝えした通リ、明日13:00より、Nijmegenの長健太さんをお招きして講演をしていただきます。
ぜひご参加ください。

日時: 5月10日(火) 13:00-15:00
場所: 東京大学理学部7号館214教室

-----------


Tue 10 May 2016, 13:00–15:00

理学部7号館214
Room 214, School of Science Bldg. No. 7

Kenta Cho (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.

--
/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
Dept. of Computer Science
Graduate School of Information Science and Technology
The University of Tokyo

Akazaki Takumi
mail :<ultraredrays@gmail.com>
mobile : <090-5379-4901>
/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/