丸善のおすすめ度
圏論による量子計算のモデルと論理
川辺 治之
翻訳
|
在庫状況
有り
|
お届け予定日
3~4日
|
|
|
価格
\5,280(税込)
|
|
|
|
発行年月 |
2018年08月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
6p,247p |
---|
大きさ |
22cm |
---|
|
ジャンル |
和書/理工学/物理学/理論物理学 |
---|
|
|
ISBN |
9784320124363 |
---|
|
商品コード |
1027987074 |
---|
NDC分類 |
421.3 |
---|
基本件名 |
量子力学 |
---|
|
本の性格 |
学術書 |
---|
|
新刊案内掲載月 |
2018年09月3週 |
---|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1027987074 |
---|
著者紹介
Chris Heunen(著者):1982年オランダ生まれ。エジンバラ大学理工学部情報学科シニア・リサーチ・フェロー。
内容
圏,関手,自然変換などは1940年代に導入された比較的新しい概念である。しかし今では,数学だけでなく,計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。 近年,量子計算機の開発が実用化に向けて加速してきているが,量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため,これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはいかない。本書の冒頭でも述べられているように,プログラムの正当性を保証できなければ,重要な仕事に量子計算機を使おうとするものはいないだろう。直感に反する振る舞いが生じる量子的状況における確固たる基礎を構築するためには数学の力が必要になる。本書は,圏論という道具を使うことによって,直感に反する量子状態のさまざまな特徴がどの前提から生じるものであるのかを浮き彫りにしてくれる。原著:Chris Heunen. Categorical quantum models and logics (Pallas Publications - Amsterdam University Press, 2009)