ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
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年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)
同じ著者名で検索した本
魅惑の国ジャパン/ちいさな手のひら事典
クリスティーヌ・バリー/著 神奈川夏子/訳
キング・オブ・キングス 漫画イエス・キリスト伝 2/Forest Books
張文偉/著 塚本祐子/訳
レベルデザインの教科書 ゲーム制作のための建築的アプローチ
クリストファー・トッテン/著 本山博文/訳・監修
ネイティブの会話がわかる!ビッグデータで選んだ超頻出フレーズ100 NHK英会話フィーリングリッシュ/語学シリーズ 音声DL BOOK
投野由紀夫/著 Chris Nelson/著
白昼の悪魔/ハヤカワ文庫 クリスティー文庫 20
アガサ・クリスティー/著 田村義進/訳
フランス語レッスン中級
井上美穂/著 クリストフ・ラビニャス/著
ネイティブ・アメリカン神話物語百科 ヴィジュアル版
クリス・マクナブ/著 井上廣美/訳
実践で学ぶコード改善の極意 5行ルールで強く美しくリファクタリングする/Compass Programming
Christian Clausen/著 松田晃一/訳
セヴン・ダイアルズ/創元推理文庫 Mク2-32
アガサ・クリスティ/著 山田順子/訳
宇宙墓碑 現代中国SFアンソロジー/ハヤカワ文庫 SF 2478
倪雪【テイ】/編 立原透耶/他訳 顧適/〔ほか〕著
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)