香川県立図書館
図書館ホーム
標準蔵書検索
詳細蔵書検索
資料紹介
図書館カレンダー
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
圏論の歩き方
圏論の歩き方委員会/編 -- 日本評論社 -- 2015.9 -- 411.6
新着図書お知らせメール
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般資料
4116/K6/
1109274595
一般
貸出可
在庫
ページの先頭へ
資料詳細
種別
図書
タイトルコード
1110316295
タイトル
圏論の歩き方
タイトルカナ
ケンロン ノ アルキカタ
著者
圏論の歩き方委員会
/編
著者カナ
ケンロン ノ アルキカタ イインカイ
出版地
東京
出版者
日本評論社
出版年
2015.9
ページ数
295p
大きさ
21cm
一般件名
カテゴリー
NDC分類(8版)
411.6
ISBN13桁
978-4-535-78720-9
定価
3800円
内容注記
内容: 座談会 圏論と異分野協働,圏の定義 / 蓮尾一郎著,タングルの圏 / 鈴木咲衣, 葉廣和夫著,プログラム意味論と圏論 / 長谷川真人著,モナドと計算効果 / 勝股審也著,モナドのクライスリ圏 / 蓮尾一郎著,表現を「表現」する話 / 小嶋泉, 西郷甲矢人著,座談会 歩き方の使い方,ガロア理論と物理学 / 小嶋泉, 西郷甲矢人著,圏論的双対性の「論理」 / 丸山善宏著,圏論的論理学:トポス理論を越えて / 丸山善宏著,すべての人に矢印を / 西郷甲矢人著,ホモロジー代数からアーベル圏,三角圏へ / 阿部弘樹, 中岡宏行著,表現論と圏論化 / 土岡俊介著,圏論と生物のネットワーク / 春名太一著,座談会 「数学本流」にはなりたくない,圏論のつまづき方
内容紹介
数学のみならず、量子論やプログラミング言語理論、生物ネットワークなど、周辺分野との共通言語として注目が集まる「圏論」。その基礎と応用事例を、若手研究者が徹底紹介する。
ページの先頭へ
内容一覧
タイトル
著者名
ページ
座談会 圏論と異分野協働
圏の定義
蓮尾一郎/著
タングルの圏
鈴木咲衣/著
プログラム意味論と圏論
長谷川真人/著
モナドと計算効果
勝股審也/著
モナドのクライスリ圏
蓮尾一郎/著
表現を「表現」する話
小嶋泉/著
座談会 歩き方の使い方
ガロア理論と物理学
小嶋泉/著
圏論的双対性の「論理」
丸山善宏/著
圏論的論理学:トポス理論を越えて
丸山善宏/著
すべての人に矢印を
西郷甲矢人/著
ホモロジー代数からアーベル圏,三角圏へ
阿部弘樹/著
表現論と圏論化
土岡俊介/著
圏論と生物のネットワーク
春名太一/著
ページの先頭へ