検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 0 予約数 0

書誌情報

書名

プログラマーのための圏論　　　　　

著者名 Bartosz Milewski／著 　 北川 雅裕／訳 　 松田 一孝／監訳
出版者 オーム社
出版年月 2026.5

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

※この書誌は予約できません。   

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

マイ本棚へ追加ログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 図書情報館1310786247411.6/ﾐ/２階図書室一般図書貸出禁止準備中  ×

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2026
【文…2026年 2月号 104巻2号】 文…2026年 2月号 104巻2号
 【クロワッサン　2026年 2月10…】 クロワッサン　2026年 2月10…
 【クロワッサン　2026年 2月25…】 クロワッサン　2026年 2月25…
 【す…2026年 2月号 通巻191号】 す…2026年 2月号 通巻191号
 【N…2026年 4月号 通巻764号】 N…2026年 4月号 通巻764号
 【Ne…2026年 1月号 46巻1号】 Ne…2026年 1月号 46巻1号
 【ハ…2026年 4月号 通巻120号】 ハ…2026年 4月号 通巻120号
 【オレンジページ　2026年 3月 …】 オレンジページ　2026年 3月 …
 【Ne…2026年 2月号 46巻2号】 Ne…2026年 2月号 46巻2号
 【オレンジページ　2026年 1月 …】 オレンジページ　2026年 1月 …
 【す…2026年 3月号 通巻192号】 す…2026年 3月号 通巻192号
 【O.…2026年 3月 通巻209号】 O.…2026年 3月 通巻209号
 【ダ…2026年 1月号 通巻381号】 ダ…2026年 1月号 通巻381号
 【財…2026年 3月号 通巻748号】 財…2026年 3月号 通巻748号
 【オレンジページ　2026年 3月1…】 オレンジページ　2026年 3月1…
 【N…2026年 4月号 通巻457号】 N…2026年 4月号 通巻457号
 【Ne…2026年 3月号 46巻3号】 Ne…2026年 3月号 46巻3号
 【財…2026年 2月号 通巻747号】 財…2026年 2月号 通巻747号
 【す…2026年 4月号 通巻193号】 す…2026年 4月号 通巻193号
 【サ…2026年 3月号 通巻730号】 サ…2026年 3月号 通巻730号
 【財…2026年 4月号 通巻749号】 財…2026年 4月号 通巻749号
 【週刊文春　2026年 1月22日号…】 週刊文春　2026年 1月22日号…
 【週刊文春　2026年 1月 1・8…】 週刊文春　2026年 1月 1・8…
 【財…2026年 5月号 通巻750号】 財…2026年 5月号 通巻750号
 【週刊文春　2026年 1月15日号…】 週刊文春　2026年 1月15日号…
 【一文字助真　：　文庫書下ろし/長編…】 一文字助真　：　文庫書下ろし/長編…
佐伯 泰英／著 【M…2026年 3月号 通巻556号】 M…2026年 3月号 通巻556号
 【芸…2026年 1月号 通巻913号】 芸…2026年 1月号 通巻913号
 【オレンジページ　2026年 4月1…】 オレンジページ　2026年 4月1…
 【週刊文春　2026年 2月12日号…】 週刊文春　2026年 2月12日号…
 【本郷新伝】 本郷新伝
「本郷新伝」製作… 【サ…2026年 4月号 通巻731号】 サ…2026年 4月号 通巻731号
 【ダ…2026年 3月号 通巻383号】 ダ…2026年 3月号 通巻383号
 【“おから”からSDGsを考える　：…】 “おから”からSDGsを考える　：…
山森 栄美／編著… 【週刊文春　2026年 3月 5日号…】 週刊文春　2026年 3月 5日号…
 【週刊新潮　2026年 1月15日迎…】 週刊新潮　2026年 1月15日迎…
 【N…2026年 3月号 通巻636号】 N…2026年 3月号 通巻636号
 【L…2026年 4月号 通巻154号】 L…2026年 4月号 通巻154号
 【日…2026年 2月号 通巻549号】 日…2026年 2月号 通巻549号
 【N…2026年 5月号 通巻458号】 N…2026年 5月号 通巻458号
 【オレンジページ　2026年 5月 …】 オレンジページ　2026年 5月 …
 【週刊文春　2026年 2月19日号…】 週刊文春　2026年 2月19日号…
 【L…2026年 3月号 通巻505号】 L…2026年 3月号 通巻505号
 【週刊文春　2026年 2月26日号…】 週刊文春　2026年 2月26日号…
 【週刊新潮　2026年 2月19日号…】 週刊新潮　2026年 2月19日号…
 【週刊文春　2026年 3月26日号…】 週刊文春　2026年 3月26日号…
 【N…2026年 2月号 通巻635号】 N…2026年 2月号 通巻635号
 【オレンジページ　2026年 5月1…】 オレンジページ　2026年 5月1…
 【週刊文春　2026年 2月 5日号…】 週刊文春　2026年 2月 5日号…
 【週刊新潮　2026年 2月 5日号…】 週刊新潮　2026年 2月 5日号…
2026
【文…2026年 2月号 104巻2号】 文…2026年 2月号 104巻2号
 【クロワッサン　2026年 2月10…】 クロワッサン　2026年 2月10…
 【クロワッサン　2026年 2月25…】 クロワッサン　2026年 2月25…
 【す…2026年 2月号 通巻191号】 す…2026年 2月号 通巻191号
 【N…2026年 4月号 通巻764号】 N…2026年 4月号 通巻764号
 【Ne…2026年 1月号 46巻1号】 Ne…2026年 1月号 46巻1号
 【ハ…2026年 4月号 通巻120号】 ハ…2026年 4月号 通巻120号
 【オレンジページ　2026年 3月 …】 オレンジページ　2026年 3月 …
 【Ne…2026年 2月号 46巻2号】 Ne…2026年 2月号 46巻2号
 【オレンジページ　2026年 1月 …】 オレンジページ　2026年 1月 …
 【す…2026年 3月号 通巻192号】 す…2026年 3月号 通巻192号
 【O.…2026年 3月 通巻209号】 O.…2026年 3月 通巻209号
 【ダ…2026年 1月号 通巻381号】 ダ…2026年 1月号 通巻381号
 【財…2026年 3月号 通巻748号】 財…2026年 3月号 通巻748号
 【オレンジページ　2026年 3月1…】 オレンジページ　2026年 3月1…
 【N…2026年 4月号 通巻457号】 N…2026年 4月号 通巻457号
 【Ne…2026年 3月号 46巻3号】 Ne…2026年 3月号 46巻3号
 【財…2026年 2月号 通巻747号】 財…2026年 2月号 通巻747号
 【す…2026年 4月号 通巻193号】 す…2026年 4月号 通巻193号
 【サ…2026年 3月号 通巻730号】 サ…2026年 3月号 通巻730号
 【財…2026年 4月号 通巻749号】 財…2026年 4月号 通巻749号
 【週刊文春　2026年 1月22日号…】 週刊文春　2026年 1月22日号…
 【週刊文春　2026年 1月 1・8…】 週刊文春　2026年 1月 1・8…
 【財…2026年 5月号 通巻750号】 財…2026年 5月号 通巻750号
 【週刊文春　2026年 1月15日号…】 週刊文春　2026年 1月15日号…
 【一文字助真　：　文庫書下ろし/長編…】 一文字助真　：　文庫書下ろし/長編…
佐伯 泰英／著 【M…2026年 3月号 通巻556号】 M…2026年 3月号 通巻556号
 【芸…2026年 1月号 通巻913号】 芸…2026年 1月号 通巻913号
 【オレンジページ　2026年 4月1…】 オレンジページ　2026年 4月1…
 【週刊文春　2026年 2月12日号…】 週刊文春　2026年 2月12日号…
 【本郷新伝】 本郷新伝
「本郷新伝」製作… 【サ…2026年 4月号 通巻731号】 サ…2026年 4月号 通巻731号
 【ダ…2026年 3月号 通巻383号】 ダ…2026年 3月号 通巻383号
 【“おから”からSDGsを考える　：…】 “おから”からSDGsを考える　：…
山森 栄美／編著… 【週刊文春　2026年 3月 5日号…】 週刊文春　2026年 3月 5日号…
 【週刊新潮　2026年 1月15日迎…】 週刊新潮　2026年 1月15日迎…
 【N…2026年 3月号 通巻636号】 N…2026年 3月号 通巻636号
 【L…2026年 4月号 通巻154号】 L…2026年 4月号 通巻154号
 【日…2026年 2月号 通巻549号】 日…2026年 2月号 通巻549号
 【N…2026年 5月号 通巻458号】 N…2026年 5月号 通巻458号
 【オレンジページ　2026年 5月 …】 オレンジページ　2026年 5月 …
 【週刊文春　2026年 2月19日号…】 週刊文春　2026年 2月19日号…
 【L…2026年 3月号 通巻505号】 L…2026年 3月号 通巻505号
 【週刊文春　2026年 2月26日号…】 週刊文春　2026年 2月26日号…
 【週刊新潮　2026年 2月19日号…】 週刊新潮　2026年 2月19日号…
 【週刊文春　2026年 3月26日号…】 週刊文春　2026年 3月26日号…
 【N…2026年 2月号 通巻635号】 N…2026年 2月号 通巻635号
 【オレンジページ　2026年 5月1…】 オレンジページ　2026年 5月1…
 【週刊文春　2026年 2月 5日号…】 週刊文春　2026年 2月 5日号…
 【週刊新潮　2026年 2月 5日号…】 週刊新潮　2026年 2月 5日号…
411.6　411.6
【はじめての圏論　：　ブンゲン先生の…】 はじめての圏論　：　ブンゲン先生の…
加藤 文元／著 【世界は圏論でできている】 世界は圏論でできている
ユージニア・チェ… 【見える!群論入門】 見える!群論入門
脇 克志／著 【群論への第一歩　：　集合、写像から…】 群論への第一歩　：　集合、写像から…
結城 浩／著 【抽象代数学史概講　：　代数方程式か…】 抽象代数学史概講　：　代数方程式か…
J.グレイ／著,… 【圏論の地平線】 圏論の地平線
西郷 甲矢人／聞… 【ベクトル空間からはじめる抽象代数入…】 ベクトル空間からはじめる抽象代数入…
松田 修／著,飯… 【見える!群論入門】 見える!群論入門
脇 克志／著 【量子群点描】 量子群点描
山下 真／著 【群論入門　：　対称性をはかる数学】 群論入門　：　対称性をはかる数学
芳沢 光雄／著 【群論,これはおもしろい　：　トラン…】 群論,これはおもしろい　：　トラン…
飯高 茂／著 【代数学3】 代数学3
雪江 明彦／著 【なっとくする群・環・体】 なっとくする群・環・体
野崎 昭弘／著 【代数学2】 代数学2
雪江 明彦／著 【代数学1】 代数学1
雪江 明彦／著 【ガロアの群論　：　方程式はなぜ解け…】 ガロアの群論　：　方程式はなぜ解け…
中村 亨／著 【シンメトリーの地図帳】 シンメトリーの地図帳
マーカス・デュ・… 【シンメトリーとモンスター　：　数学…】 シンメトリーとモンスター　：　数学…
マーク・ロナン／… 【圏論による論理学　：　高階論理とト…】 圏論による論理学　：　高階論理とト…
清水 義夫／著 【対称性からの群論入門】 対称性からの群論入門
M.A.アームス… 【圏論の基礎】 圏論の基礎
S.マックレーン… 【はじめての群論】 はじめての群論
斎藤 正彦／著 【群論の基礎】 群論の基礎
永尾 汎／著 【抽象代数への入門】 抽象代数への入門
永田 雅宜／著 【代数学の基礎】 代数学の基礎
岩永 恭雄／著 【行列・群・等質空間】 行列・群・等質空間
熊原 啓作／著 【化学や物理のためのやさしい群論入門】 化学や物理のためのやさしい群論入門
藤永 茂／著,成… 【キーポイント行列と変換群】 キーポイント行列と変換群
梁 成吉／著 【代数系　：　環・体・ガロア体・群・…】 代数系　：　環・体・ガロア体・群・…
広瀬 健／著 【回転群とその表現】 回転群とその表現
山内 恭彦／著 【現代代数学とその応用】 現代代数学とその応用
W.J.ギルバー… 【ガロアと群論】 ガロアと群論
リリアン・R.リ…

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008002030452
書誌種別 図書
書名 プログラマーのための圏論　　　　　
書名ヨミ プログラマー ノ タメ ノ ケンロン　
著者名 Bartosz Milewski／著
著者名ヨミ Bartosz Milewski
著者名 北川 雅裕／訳
著者名ヨミ キタガワ マサヒロ
著者名 松田 一孝／監訳
著者名ヨミ マツダ カズタカ
出版者 オーム社
出版年月 2026.5
ページ数 16,361p
大きさ 24cm
分類記号 411.6
分類記号 411.6
ISBN 4-274-23486-6
内容紹介 プログラマーが親しみやすい技術書スタイルで圏論の核心を解説した入門書。主要概念をC++とHaskellのコードで具体化し、Haskellについては未経験者にも配慮して段階的に説明する。
著者紹介 Reliable Softwareを立ち上げ、分散バージョン管理システム「Code Co‐op」を作った。
件名 カテゴリー(数学)
言語区分 日本語

(他の紹介)目次 第１部（圏：合成の本質
型と関数
圏のさまざま　ほか）
第２部（宣言的プログラミング
極限と余極限
自由モノイド　ほか）
第３部（射こそすべて
随伴
自由／忘却随伴　ほか）
(他の紹介)著者紹介 Ｍｉｌｅｗｓｋｉ，Ｂａｒｔｏｓｚ
　ポーランドで教育を受け、理論物理学の博士号を取得。ヨーロッパやアメリカでいくつかのポスドク職を経験したあと、なぜかＭｉｃｒｏｓｏｆｔで検索エンジンの設計・実装をすることになった。しかし当時のＭｉｃｒｏｓｏｆｔはインターネットを本気で受け止めておらず、あまりうまくいかなかった。退職して自分の小さな会社Ｒｅｌｉａｂｌｅ　Ｓｏｆｔｗａｒｅを立ち上げ、世界初の分散バージョン管理システム〔Ｃｏｄｅ　Ｃｏ‐ｏｐ〕を作った（現在はパブリックドメインになっている）(本データはこの書籍が刊行された当時に掲載されていたものです)
北川 雅裕
　２００７年に名古屋大学大学院　理学研究科　素粒子宇宙物理学専攻　博士前期課程を修了（理学修士）。その後は医療機器メーカーで光学設計とソフトウェア開発に従事。また、２０１０年頃からオープンソースソフトウェアの日本語化や写真編集アプリＬｉｇｈｔＺｏｎｅの開発にも携っている。関数プログラミングはＪａｖａ　８に取り入れられたのを機に触れ、そこから他の言語や圏論にも興味を持ち始めた。徳島県生まれ香川県育ち(本データはこの書籍が刊行された当時に掲載されていたものです)
松田 一孝
　東北大学大学院情報学研究科准教授。２００９年に東京大学より博士（情報理工学）を取得。プログラミング言語理論、特に関数プログラミングおよび領域特化言語を専門とする。現在の主要研究キーワードは、双方向変換（本書でも触れられているレンズなど）や可逆計算など。理論に基づくプログラム・ソフトウェアの構成法や、その理論自身に興味を持つ。圏論に興味を持ったのはＨａｓｋｅｌｌのモナドが切っ掛け。愛媛県出身(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ
ページの先頭へ 図書館トップへ

本文はここまでです。

ページの終わりです。