日時：
2005年2月17日(木) 5：00 〜 6：30PM (Feb. 17, 2005)
場所：
慶応義塾大学三田キャンパス 東館6階
G-Sec Lab ホール
(JR田町駅、都営地下鉄三田駅、赤羽橋駅から徒歩5分)
講演者：
Vincent Danos (フランス・Équipe Preuves, Programmes, Systèmes・
Directeur de Recherches (Senior Research Associate) CNRS・
Université Paris VII)
タイトル：
``The measurement calculus''
アブストラクト： We propose a calculus of local equations over measurement based quantum computing patterns, which preserves interpretations, and allows the rewriting of any pattern to a standard form where entanglement is done first, then measurements, then local corrections. We infer from this that patterns with no dependencies, or using only Pauli measurements, can only realise unitaries belonging to the Clifford group. This is joint work with Elham Kashefi, and Prakash Panangaden.
問合せ先：
慶應義塾大学文学部哲学科
岡田 光弘 研究室
住所：東京都港区三田2-15-45
e-mail：philosophy at abelard.flet.keio.ac.jp