ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2027
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
数学その他
出版社名:共立出版
出版年月:2018年8月
ISBN:978-4-320-12436-3
247P 22cm
圏論による量子計算のモデルと論理
Chris Heunen/著 川辺治之/訳
組合員価格 税込
4,752
円
(通常価格 税込 5,280円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報:第1章 はじめに;第2章 テンソル積と双積(例;テンソル積とモノイド ほか);第3章 ダガー圏(例;ダガー構造 ほか);第4章 ダガー核論理(部分対象;直交性 ほか);第5章 ボーア化(ロケールとトポス;C*環 ほか)
もくじ情報:第1章 はじめに;第2章 テンソル積と双積(例;テンソル積とモノイド ほか);第3章 ダガー圏(例;ダガー構造 ほか);第4章 ダガー核論理(部分対象;直交性 ほか);第5章 ボーア化(ロケールとトポス;C*環 ほか)
著者プロフィール
川辺 治之(カワベ ハルユキ)
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)
川辺 治之(カワベ ハルユキ)
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)
同じ著者名で検索した本
恍惚の哲学 我を忘れて生きる極限の思考法
クリストファー・ハミルトン/著 田畑暁生/訳
アガサ・クリスティのイギリス/岩波新書 新赤版 2130
新井潤美/著
アクロイドを殺したのは誰か/ハヤカワ文庫 NF 627 社会文化
ピエール・バイヤール/著 大浦康介/訳
グリムリー先生の教室、どこか知ってる?
クリス・プリーストリー/作 マリアキアラ・ディ・ジョルジョ/絵 ブレイディみかこ/訳
暗闇はすべての色 上
クリス・ウィタカー/著 鈴木恵/訳
暗闇はすべての色 下
クリス・ウィタカー/著 鈴木恵/訳
「中学生」の可能性を120%引き出すために親と教師ができることのすべて
クリス・バーム/著 塩野明子/訳
経験の絶滅 スマホ化する世界でどう生きるか
クリスティーン・ローゼン/著 山田文/訳
スーシェと巡るクリスティーの世界旅行
デビッド・スーシェ/著 高尾菜つこ/訳
PythonとMCPで実装するAIエージェント基盤 プロトコルの基礎からコード設計/認証認可/本番運用まで/IMPRESS TOP GEAR
Christoffer Noring/著 クイープ/訳
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)