12/30
時点_ポイント最大4倍
圏論による量子計算のモデルと論理/ＣｈｒｉｓＨｅｕｎｅｎ/川辺治之
販売価格
5,280
円 （税込）
送料無料
- 出荷目安：
- 1～3日で発送予定
たまるdポイント（通常） 48
+キャンペーンポイント（期間・用途限定） 最大3倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
ChrisHeunen川辺治之
共立出版
ISBN：4320124367/9784320124363
発売日:2018年08月
【内容紹介】
圏、関手、自然変換などは1940年代に導入された比較的新しい概念である。しかし今では、数学だけでなく、計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。
近年、量子計算機の開発が実用化に向けて加速してきているが、量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため、これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはいかない。本書の冒頭でも述べられているように、プログラムの正当性を保証できなければ、重要な仕事に量子計算機を使おうとするものはいないだろう。直感に反する振る舞いが生じる量子的状況における確固たる基礎を構築するためには数学の力が必要になる。本書は、圏論という道具を使うことによって、直感に反する量子状態のさまざまな特徴がどの前提から生じるものであるのかを浮き彫りにしてくれる。
原著 Chris Heunen. Categorical quantum models and logics (Pallas Publications － Amsterdam University Press、 2009)
共立出版
ISBN：4320124367/9784320124363
発売日:2018年08月
【内容紹介】
圏、関手、自然変換などは1940年代に導入された比較的新しい概念である。しかし今では、数学だけでなく、計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。
近年、量子計算機の開発が実用化に向けて加速してきているが、量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため、これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはいかない。本書の冒頭でも述べられているように、プログラムの正当性を保証できなければ、重要な仕事に量子計算機を使おうとするものはいないだろう。直感に反する振る舞いが生じる量子的状況における確固たる基礎を構築するためには数学の力が必要になる。本書は、圏論という道具を使うことによって、直感に反する量子状態のさまざまな特徴がどの前提から生じるものであるのかを浮き彫りにしてくれる。
原著 Chris Heunen. Categorical quantum models and logics (Pallas Publications － Amsterdam University Press、 2009)
※本データはこの商品が発売された時点の情報です。