[logic-ml] Talk by Bart Jacobs (Radboud U. Nijmegen), Tue 15 May 2012

[Ichiro Hasuo]

みなさま，

こんにちは！ 東京大学の蓮尾と申します．
来週 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.