ゲスト さん (ログイン)
ゴールデンウイークの営業についてのご案内
お取り扱い商材の変更について
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、洋書など在庫も充実
Categorical quantum models and logics
共立出版 Chris Heunen 川辺治之
点
第1章 はじめに第2章 テンソル積と双積(例;テンソル積とモノイド ほか)第3章 ダガー圏(例;ダガー構造 ほか)第4章 ダガー核論理(部分対象;直交性 ほか)第5章 ボーア化(ロケールとトポス;C*環 ほか)
圏,関手,自然変換などは1940年代に導入された比較的新しい概念である。しかし今では,数学だけでなく,計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。 近年,量子計算機の開発が実用化に向けて加速してきているが,量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため,これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはいかない。本書の冒頭でも述べられているように,プログラムの正当性を保証できなければ,重要な仕事に量子計算機を使おうとするものはいないだろう。直感に反する振る舞いが生じる量子的状況における確固たる基礎を構築するためには数学の力が必要になる。本書は,圏論という道具を使うことによって,直感に反する量子状態のさまざまな特徴がどの前提から生じるものであるのかを浮き彫りにしてくれる。原著:Chris Heunen. Categorical quantum models and logics (Pallas Publications - Amsterdam University Press, 2009)
ページ上部へ戻る
この商品に寄せられたカスタマーレビューはまだありません。
レビューを評価するにはログインが必要です。
この商品に対するあなたのレビューを投稿することができます。
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営しているインターネット書店です。ご利用ガイドはこちら
1位
又吉直樹
価格:1,320円(本体1,200円+税)
【2015年03月発売】
一覧を見る
[BOOKデータベースより]
第1章 はじめに
[日販商品データベースより]第2章 テンソル積と双積(例;テンソル積とモノイド ほか)
第3章 ダガー圏(例;ダガー構造 ほか)
第4章 ダガー核論理(部分対象;直交性 ほか)
第5章 ボーア化(ロケールとトポス;C*環 ほか)
圏,関手,自然変換などは1940年代に導入された比較的新しい概念である。しかし今では,数学だけでなく,計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。
近年,量子計算機の開発が実用化に向けて加速してきているが,量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため,これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはいかない。本書の冒頭でも述べられているように,プログラムの正当性を保証できなければ,重要な仕事に量子計算機を使おうとするものはいないだろう。直感に反する振る舞いが生じる量子的状況における確固たる基礎を構築するためには数学の力が必要になる。本書は,圏論という道具を使うことによって,直感に反する量子状態のさまざまな特徴がどの前提から生じるものであるのかを浮き彫りにしてくれる。
原著:Chris Heunen. Categorical quantum models and logics (Pallas Publications - Amsterdam University Press, 2009)