2008-08-23 量子ナントカ 量子計算 用語法 量子計算=量子コンピュータ=量子回路=量子ゲート全部同義語。実体はとある圏の射。量子データ型が対象、量子状態は文脈による。古典対象Xによる測定は、(余Kleisli圏)opの射。