<div dir="ltr"><span style="font-size:12.8px">皆様, (重複して受け取られた方はご容赦ください)</span><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">東京大学蓮尾研の赤崎と申します。</div><div style="font-size:12.8px">以下の要領で, 再来週の火曜日に、Nijmegenの長健太さんをお招きして<span style="font-size:12.8px">講演をしていただきます。</span></div><div style="font-size:12.8px">ぜひご参加くださいませ。</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">日時: 5月10日 13:00-15:00</div><div style="font-size:12.8px">場所: 東京大学理学部７号館214教室</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">-----------</div><div style="font-size:12.8px"><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:14pt;font-weight:bold"><br></span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:14pt;font-weight:bold">Tue 10 May 2016, 13:00–15:00</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:8pt">理学部7号館214<br>Room 214, School of Science Bldg. No. 7</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="color:rgb(17,85,204);text-decoration:underline"><a href="https://www.google.com/url?q=http://www.cs.ru.nl/K.Cho/&sa=D&ust=1461640002273000&usg=AFQjCNEixO6CHXwAG-IoGfSa8Qs1OFrFKA" target="_blank" style="color:inherit;text-decoration:inherit">Kenta Cho</a></span> (Inst. of Comp. & Info. Sci., Radboud University), <span style="color:rgb(34,34,34);font-weight:bold">Von Neumann algebras from a logical / categorical perspective</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">Many researches at the Nijmegen group involve von Neumann algebras,</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">which are now important not only in quantum physics but also in the</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">context of quantum computation and information. I plan to talk about:</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">1) basics of von Neumann algebras and quantum theory; 2) von Neumann</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">algebras in effectus theory (a categorical approach to quantum</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">computation and logic); 3) von Neumann algebras as a (categorical,</span></p><p style="margin:0px;color:rgb(0,0,0);font-size:11pt;font-family:Arial"><span style="font-size:9pt;color:rgb(102,102,102)">denotational) model of the quantum lambda calculus.</span></p></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr">/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/<div>Dept. of Computer Science</div><div>Graduate School of Information Science and Technology</div><div>The University of Tokyo</div><div><br></div><div>Akazaki Takumi<br>mail :<<a href="mailto:ultraredrays@gmail.com" target="_blank">ultraredrays@gmail.com</a>><br>mobile : <090-5379-4901><br>/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/</div></div></div>
</div>