資料詳細

  • 1 件中、 1 件目

【図書】 圏論による量子計算のモデルと論理

Ｃｈｒｉｓ　Ｈｅｕｎｅｎ ／著, 川辺治之 ／訳   -- 共立出版 -- ２０１８．８ -- ２２ｃｍ -- ２４７ｐ

資料詳細

タイトル 圏論による量子計算のモデルと論理
著者名等 Ｃｈｒｉｓ　Ｈｅｕｎｅｎ ／著, 川辺治之 ／訳  
出版 共立出版 ２０１８．８
大きさ等 ２２ｃｍ ２４７ｐ
分類 421.3
件名 量子論 , 数理物理学 , カテゴリー（数学）
注記 原タイトル：Ｃａｔｅｇｏｒｉｃａｌ　Ｑｕａｎｔｕｍ　Ｍｏｄｅｌｓ　ａｎｄ　Ｌｏｇｉｃｓ
注記 文献あり　索引あり
著者紹介 【Ｃｈｒｉｓ　Ｈｅｕｎｅｎ】１９８２年３月２１日にオランダ，ナイメーヘンに生まれた．フェンローで育ったあと，１９９９年にナイメーヘンに戻り，ラドバウド大学で計算機科学と数学の研究を始めた．２００４年にカナダ，バンクーバーにあるブリティッシュコロンビア大学で半年を過ごしたあと，２００５年に計算機科学と数学の修士号をともに優秀な成績で取得した．２００５年８月，ナイメーヘンのラドバウド大学のＰｈ．Ｄ．課程の学生となり，バート・ジェイコブズ教授とクラース・ランズマン教授に指導を受けた．このＰｈ．Ｄ．論文の主題は，両教授それぞれの専門分野である圏論的論理と数理物理学を組み合わせたものである．２００９年８月現在，ヒューネンはオックスフォード大学の博士課程修了後の研究者であり，ＮＷＯルビコン助成金から資金援助を受けている．（本データはこの書籍が刊行された当時に掲載されていたものです）
目次 第１章　はじめに；第２章　テンソル積と双積（例；テンソル積とモノイド　ほか）；第３章　ダガー圏（例；ダガー構造　ほか）；第４章　ダガー核論理（部分対象；直交性　ほか）；第５章　ボーア化（ロケールとトポス；Ｃ＊環　ほか）
ISBN(13)、ISBN 978-4-320-12436-3　　 4-320-12436-7
書誌番号 1113614222
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113614222

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 421.3 一般書 利用可 - 2063291598 iLisvirtual

ページの先頭へ