プログラマーのための圏論
Ｂａｒｔｏｓｚ Ｍｉｌｅｗｓｋｉ／著 北川雅裕／訳 松田一孝／監訳
発売日：2026年5月
- ページ数
- ３６１ｐ
- ISBN
- 978-4-274-23486-6
- 著者情報
- Ｍｉｌｅｗｓｋｉ，Ｂａｒｔｏｓｚ（ＭＩＬＥＷＳＫＩ，ＢＡＲＴＯＳＺ）（Ｍｉｌｅｗｓｋｉ，Ｂａｒｔｏｓｚ）
ポーランドで教育を受け、理論物理学の博士号を取得。ヨーロッパやアメリカでいくつかのポスドク職を経験したあと、なぜかＭｉｃｒｏｓｏｆｔで検索エンジンの設計・実装をすることになった。しかし当時のＭｉｃｒｏｓｏｆｔはインターネットを本気で受け止めておらず、あまりうまくいかなかった。退職して自分の小さな会社Ｒｅｌｉａｂｌｅ Ｓｏｆｔｗａｒｅを立ち上げ、世界初の分散バージョン管理システム〔Ｃｏｄｅ Ｃｏ‐ｏｐ〕を作った（現在はパブリックドメインになっている）
北川 雅裕（キタガワ マサヒロ）
２００７年に名古屋大学大学院 理学研究科 素粒子宇宙物理学専攻 博士前期課程を修了（理学修士）。その後は医療機器メーカーで光学設計とソフトウェア開発に従事。また、２０１０年頃からオープンソースソフトウェアの日本語化や写真編集アプリＬｉｇｈｔＺｏｎｅの開発にも携っている。関数プログラミングはＪａｖａ ８に取り入れられたのを機に触れ、そこから他の言語や圏論にも興味を持ち始めた。徳島県生まれ香川県育ち
松田 一孝（マツダ カズタカ）
東北大学大学院情報学研究科准教授。２００９年に東京大学より博士（情報理工学）を取得。プログラミング言語理論、特に関数プログラミングおよび領域特化言語を専門とする。現在の主要研究キーワードは、双方向変換（本書でも触れられているレンズなど）や可逆計算など。理論に基づくプログラム・ソフトウェアの構成法や、その理論自身に興味を持つ。圏論に興味を持ったのはＨａｓｋｅｌｌのモナドが切っ掛け。愛媛県出身
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
コードで学ぶ、プログラマーのための圏論入門
〈本書のポイント〉
・C++とHaskellのコードを使って、圏論の概念を解説した
・数学書のような定理⇒証明の繰り返しではなく、プログラマーの慣れている技術書な解説とした
近年のプログラミング環境において、並列性に潜むコードの安全性確保のためには従来のオブジェクト指向プログラミングは非効率であり、また、命令型プログラミングの拡張性には限界が見え始めています。
この非効率や限界に対するひとつの解答が関数型プログラミングというパラダイムであり、その理論的な基礎となるのが本書で解説する「圏論」（けんろん）です。
関心の高いプログラマーは、命令型言語に導入されたラムダ式などの関数型プログラミングのアプローチから関数型言語に興味をもったり、命令型と異なる関数型というパラダイムに対する関心をもったりするなかから関数型言語を学びます。そのなかの一部は、理論的背景となる圏論にも興味を持ちます。
そして『ベーシック圏論』や『圏論の基礎』を手に取ったプログラマーの多くは、数学的素養という壁の前に撤退を余儀なくされます。圏論は大学で学ぶような数学の一分野なのです。
本書は、一般的なプログラマーが『圏論の基礎』に立ち向かうための最初の第一歩です。ほとんどの主要の概念にコードを使い、C++とHaskellの例をたくさん載せています。読者はHaskellを知らないかもしれません。そこでHaskellについてはゆっくりと解説を進めます。C++の文法の知識は必要です。
本書により、プログラマーは関数型プログラミングの基礎となる圏論の知識を深めることができるでしょう。それにより、日々のコーディングをより洗練させ、困難な課題に対する新たなアプローチを得られるでしょう。本書は、圏論を学びたいけれども数学の基礎が欠けているプログラマーだったり、圏論を学ぶことでスキルアップを目指したいプログラマーに最適な1冊です。
コードで学ぶ、プログラマーのための圏論入門
〈本書のポイント〉
・C++とHaskellのコードを使って、圏論の概念を解説した
・数学書のような定理⇒証明の繰り返しではなく、プログラマーの慣れている技術書な解説とした
近年のプログラミング環境において、並列性に潜むコードの安全性確保のためには従来のオブジェクト指向プログラミングは非効率であり、また、命令型プログラミングの拡張性には限界が見え始めています。
この非効率や限界に対するひとつの解答が関数型プログラミングというパラダイムであり、その理論的な基礎となるのが本書で解説する「圏論」（けんろん）です。
関心の高いプログラマーは、命令型言語に導入されたラムダ式などの関数型プログラミングのアプローチから関数型言語に興味をもったり、命令型と異なる関数型というパラダイムに対する関心をもったりするなかから関数型言語を学びます。そのなかの一部は、理論的背景となる圏論にも興味を持ちます。
そして『ベーシック圏論』や『圏論の基礎』を手に取ったプログラマーの多くは、数学的素養という壁の前に撤退を余儀なくされます。圏論は大学で学ぶような数学の一分野なのです。
本書は、一般的なプログラマーが『圏論の基礎』に立ち向かうための最初の第一歩です。ほとんどの主要の概念にコードを使い、C++とHaskellの例をたくさん載せています。読者はHaskellを知らないかもしれません。そこでHaskellについてはゆっくりと解説を進めます。C++の文法の知識は必要です。
本書により、プログラマーは関数型プログラミングの基礎となる圏論の知識を深めることができるでしょう。それにより、日々のコーディングをより洗練させ、困難な課題に対する新たなアプローチを得られるでしょう。本書は、圏論を学びたいけれども数学の基礎が欠けているプログラマーだったり、圏論を学ぶことでスキルアップを目指したいプログラマーに最適な1冊です。
目次
第１部（圏：合成の本質
型と関数
圏のさまざま ほか）
第２部（宣言的プログラミング
極限と余極限
自由モノイド ほか）
第３部（射こそすべて
随伴
自由／忘却随伴 ほか）
商品詳細
- 出版社名
- オーム社
- サイズ
- ２４ｃｍ
- 対象年齢
- 一般
- フォーマット
- 単行本
- 原題
- 原タイトル：Ｃａｔｅｇｏｒｙ Ｔｈｅｏｒｙ ｆｏｒ Ｐｒｏｇｒａｍｍｅｒｓ
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
