みなさま，
こんにちは！ 東京大学の蓮尾と申します． 来週 5/15（火）に，現在滞在中の Bart Jacobs さん (Radboud U. Nijmegen) にご講演いただきます．
詳細は下記のとおりです．タイトルに「量子」とありますが， 量子論理等の知識がなくても，categorical logic の話として聞いて いただけるはずです．ぜひ！
参加登録等は必要ありませんが，部屋の都合で人数の見積もりをしたいので，
- 当研究室のセミナーにはじめておいでになる方は， - こちら http://www.doodle.com/7zsyhidh2r478xyk に参加表明をいただけると うれしいです．（ペンネームでかまいません）
お目にかかれること，楽しみにしております．それでは！
蓮尾 一郎 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp
======================================================================= Tue 15 May 2012, 16:40-18:10 Bart Jacobs (Radboud U. Njimegen, http://www.cs.ru.nl/~bart/) New directions in quantum logic 場所： 東京大学 本郷キャンパス 理学部7号館1階 102教室 （アクセス： http://www-mmm.is.s.u-tokyo.ac.jp/ の一番下を見てください）
The talk will use categorical techniques to give a new way of representing predicates that is especially suited for "quantitative" predicate logic. The relevant structure is illustrated for classical, probabilistic and quantum logic. These new predicates give rise to fibred/indexed categories. In the quantum case the Born rule appears as a form of substitution. Predicates can also be used to specify measurements in this setting.