重要 【重要】セキュリティ強化に伴うTLS 1.0無効化のお知らせ

重要 【重要】セキュリティ強化に伴うTLS 1.0無効化のお知らせ

LINEお友だち登録で30ポイントプレゼント!

オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、CD・DVD、洋書など在庫も充実

在庫状況:在庫あり(1〜2日で出荷)
圏論による量子計算のモデルと論理

Categorical quantum models and logics

共立出版
Chris Heunen 川辺治之 

価格
5,184円(本体4,800円+税)
発行年月
2018年08月
判型
A5
ISBN
9784320124363

欲しいものリストに追加する

内容情報
[BOOKデータベースより]

第1章 はじめに
第2章 テンソル積と双積(例;テンソル積とモノイド ほか)
第3章 ダガー圏(例;ダガー構造 ほか)
第4章 ダガー核論理(部分対象;直交性 ほか)
第5章 ボーア化(ロケールとトポス;C*環 ほか)

[日販商品データベースより]

圏,関手,自然変換などは1940年代に導入された比較的新しい概念である。しかし今では,数学だけでなく,計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。
 近年,量子計算機の開発が実用化に向けて加速してきているが,量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため,これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはいかない。本書の冒頭でも述べられているように,プログラムの正当性を保証できなければ,重要な仕事に量子計算機を使おうとするものはいないだろう。直感に反する振る舞いが生じる量子的状況における確固たる基礎を構築するためには数学の力が必要になる。本書は,圏論という道具を使うことによって,直感に反する量子状態のさまざまな特徴がどの前提から生じるものであるのかを浮き彫りにしてくれる。

原著:Chris Heunen. Categorical quantum models and logics (Pallas Publications - Amsterdam University Press, 2009)



ユーザーレビュー

この商品に寄せられたカスタマーレビューはまだありません。

レビューを評価するにはログインが必要です。

この商品に対するあなたのレビューを投稿することができます。

レビューを書く

スタッフの「オススメ!」
  • スタッフの「今これをオススメしたい!」

本好きのためのオンライン書店

Honya Club.comへようこそ

Honya Club.comは日本出版販売株式会社が運営している
インターネット書店です。ご利用ガイドはこちら

  • サイトで注文&書店受け取り送料無料
  • 宅配なら2,000円以上で送料無料!
  • 予約も取り寄せも業界屈指の在庫量
  • 外出先でも検索や購入がカンタン!
新規会員登録   初めての方はこちら
最近チェックした商品
  • 1位

    火花

    火花

    又吉直樹 

    価格:1,296円(本体1,200円+税)

    【2015年03月発売】

  • Honya Clubカード
    • Honya Club とは
      Honya Clubはお得な「本のポイントサービス」です。ご入会いただいたお客様には特典が盛りださん!お近くのHonyaClub加盟書店でご入会、ご利用いただけます。
      Honya Club加盟書店は店舗一覧にてご確認ください。Honya Club加盟店アイコンのマークが目印です。
      HonyaClub会員規約
      個人情報の取扱いに関する規定
      ※上記は加盟書店店頭で使用できるHonyaClubカードの規約です。

    • Honya Club 公式アカウント facebookファンページ Twitterアカウント LINE@アカウント
    W会員