資料詳細

[ 和図書 ] 圏論による量子計算のモデルと論理

Chris Heunen／著 -- 共立出版 -- 2018.8 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	2F	一般図書	/421.3/5196/2018	7110787313		配架図 Digital BookShelf
2018/09/07	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

- 統合検索
  都内図書館の所蔵を
  横断検索します。 類似資料 AI Shelf
  この資料に類似した資料を
  AIが紹介します。

ページの先頭へ

資料詳細

ISBN	4-320-12436-3
ISBN13桁	978-4-320-12436-3
タイトル	圏論による量子計算のモデルと論理
タイトルカナ	ケンロンニヨルリョウシケイサンノモデルトロンリ
著者名	Chris Heunen ／著, 川辺治之／訳
著者名典拠番号	120002958990000 , 110005340800000
出版地	東京
出版者	共立出版
出版者カナ	キョウリツシュッパン
出版年	2018.8
ページ数	6, 247p
大きさ	22cm
原タイトル注記	原タイトル:Categorical quantum models and logics
価格	¥4800
内容紹介	数学だけでなくさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。圏論を用いて、直感に反する量子状態の振る舞いがどの前提から生じるものなのかを解明し、量子計算のモデルの基礎を構築する。
書誌・年譜・年表	文献:p223～235
一般件名	量子情報-001092819-ndlsh,カテゴリー (数学)-00565160-ndlsh
一般件名カナ	リョウシジョウホウ-001092819,カテゴリー (スウガク)-00565160
一般件名	量子力学 , カテゴリー(数学)
一般件名カナ	リョウシリキガク,カテゴリー(スウガク)
一般件名典拠番号	511466500000000 , 510131200000000
分類：都立NDC10版	421.3
資料情報1	『圏論による量子計算のモデルと論理』　Chris Heunen／著, 川辺治之／訳　共立出版　2018.8（所蔵館：中央　請求記号：/421.3/5196/2018　資料コード：7110787313）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153229253

ページの先頭へ

第1章はじめに
第2章テンソル積と双積: 2.1 例; 2.2 テンソル積とモノイド; 2.3 双積; 2.4 スカラー; 2.5 半環上の加群; 2.6 コンパクト対象
第3章ダガー圏: 3.1 例; 3.2 ダガー構造; 3.3 量子鍵配送; 3.4 射の分解; 3.5 ヒルベルト加群; 3.6 スカラー; 3.7 ヒルベルト圏
第4章ダガー核論理: 4.1 部分対象; 4.2 直交性; 4.3 直モジュラー性; 4.4 量化子; 4.5 ブールダガー核圏; 4.6 部分対象分類子
第5章ボーア化: 5.1 ロケールとトポス; 5.2 C環; 5.3 ボーア化; 5.4 射影; 5.5 状態と観測量

ページの先頭へ