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

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

特典

ISBN/JAN
9784274234866
著者
Bartosz Milewski 翻訳：北川雅裕監訳：松田一孝
出版社
オーム社
レーベル

出版日
2026/05/26
商品説明
コードで学ぶ、プログラマーのための圏論入門〈本書のポイント〉・C++とHaskellのコードを使って、圏論の概念を解説した・数学書のような定理⇒証明の繰り返しではなく、プログラマーの慣れている技術書な解説とした近年の並列・並行プログラミングにおける安全性確保では、共有可変状態に依存する設計の難しさが指摘されています。こうした課題への有力なアプローチの一つが関数型プログラミングであり、その背景として圏論（けんろん）が重要な役割を果たします。圏論は型理論やラムダ計算と並ぶ理論的基盤の一つです。関心の高いプログラマーは、命令型言語に導入されたラムダ式などの関数型プログラミングのアプローチから関数型言語に興味をもったり、命令型と異なる関数型というパラダイムに対する関心をもったりするなかから関数型言語を学びます。そのなかの一部は、理論的背景となる圏論にも興味を持ちます．しかし『ベーシック圏論』や『圏論の基礎』を前にして、数学的素養というハードルの高さを感じる読者も少なくありません。圏論は大学で学ぶような数学の一分野なのです。本書は、数学書のような定理と証明の反復ではなく、プログラマーが親しみやすい技術書スタイルで圏論の核心を解説します。主要概念をC++とHaskellのコードで具体化し、Haskellについては未経験者にも配慮して段階的に説明します（ただし、C++の基礎文法の理解は前提とします）。一般的な入門から、モナド／コモナド、カン拡張、豊穣圏、トポス、ローヴェア理論といった発展的話題まで、段階的に橋渡しします。これにより、関数型プログラミングの理解を深め、日々の設計・実装に新たな視点をもたらすことを目指します。圏論に関心はあるものの数学的背景に不安がある方、関数型の理解を理論面から補強したいプログラマーに適した一冊です。
備考

型番

9784274234866-011

販売価格

4,400円(税400円)

購入数

購入に関するよくある質問はこちら
イベント商品をご購入の方はこちらをご確認ください

特定商取引法に基づく表記 (返品など)

この商品について問い合わせる

最近チェックした商品

チャート式シリーズ理工系基礎確率・統計

3,190円(税290円)

【サイン本】[百瀬せいなさんサイン入]Ｃｒｅａｍ（クリーム）2026年6月号

2,750円(税250円)

新オバケのQ太郎　全巻セット（全4巻）

2,200円(税200円)

【特典付き】サイゾー2026年5月号

980円(税89円)
SOLD OUT

【特典付き】忍たま乱太郎　特別復刻版　1

1,320円(税120円)

カテゴリー

ピックアップ

Calendar

2026年8月
日	月	火	水	木	金	土
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

2026年9月
日	月	火	水	木	金	土
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30

Top

返品について

返品期限

商品到着後７日以内とさせていただきます。

返品送料

お客様都合による返品につきましてはお客様のご負担とさせていただきます。
不良品に該当する場合は当方で負担いたします。

配送方法・送料について

日本郵便（ゆうパック・ゆうパケット）

送料：900円（お届け地域、ゆうパック・ゆうパケットに関わらず一律）

※ゆうパック・ゆうパケットの指定は頂けません。
（商品サイズで自動選択させて頂きます）

●9800円以上お買い上げで送料無料！

●1注文につき１発送となります
　注文内の全商品が揃ってから、１まとめで発送となります。

●別注文との同梱対応はできません。ご注文ごとに別々の対応となります。

●発売前の予約商品の場合、日時指定は無効とさせて頂きます。

●通常、ご入金（ご決済）確認から2営業日以内に出荷いたします。
※店舗休業日（土日祝日）は出荷されません
※繁忙期やご入金タイミング、在庫状況によっては前後します。

●お届け日の目安（出荷日を基準に）
翌日：関東
翌日～翌々日：東北・中部・近畿・中国・四国
翌々日～3日以降：北海道・九州・沖縄
※道路交通事情や天候などにより遅れが出る場合もございます。

●配送伝票の内容明細：書籍
お届け荷物の外側には、購入内容に関わらず【書籍】とのみ表記されます。

●領収書を希望のお客様へ
▼ 書類発行システム → https://bit.ly/3WOyDgi
上記リンクより、お客様自身で印刷・ダウンロード（PDF）下さい。
宛名もご自身で変更可能です。（納品書も発行可能です）
■適格請求書番号：T8-0100-0101-9056

お支払い方法

Amazon Pay

Amazon Payは、Amazon.co.jpアカウントに登録された
お支払い方法や住所を使ってご注文いただけるサービスです。
ご利用になるには Amazon.co.jpアカウントが必要です。
Amazonギフトカードも利用できます。
※Amazonポイントはご利用いただけません
クレジット（VISA・MASTER・JCB・AMEX・Diners）

【取扱カード】
取り扱いカードは以下のとおりです。
すべてのカード会社で、一括払いが可能となっております。
※3Dセキュア2.0（本人認証サービス）を導入しております。
3Dセキュア非対応のカードは当サイトではご利用頂けません。
楽天ペイ（楽天ポイントが貯まる！使える！）

楽天IDとパスワードを使って楽天にご登録のクレジットカードでスムーズなお支払いが可能です。
楽天ポイントが貯まる・使える！「簡単」「あんしん」「お得」な楽天ペイをご利用ください。
楽天ポイント利用分については楽天から送信される自動配信メール、
もしくは楽天ペイ利用履歴＜https://my.checkout.rakuten.co.jp/mych/＞にてご確認ください。
PayPay（QRコード決済で便利にお買い物！）

ご注文手続き時にPayPayアカウントを使用するか、画面に表示されるQRコードをスキャンした後、PayPayアプリにてお支払いできます。
（PayPayアカウントを使用場合は、電話番号とパスワードを入力後、SMSで送信される認証コードを入力してください。）
※決済する前ににウインドウを閉じないようご注意ください。
※残額不足にご注意ください。
コンビニ決済（前払い）

ファミリーマートかローソン（ミニストップ・セイコーマート含む）から選べます
ご注文後、別途メールでお支払いに必要な番号等が送信されます
→ 支払いメールの件名：ご注文確認メール(自動配信)
その番号を元にコンビニ備え付けの端末で払込票を発行し、レジにてお支払いください。
※お支払期限は10日間です
※手数料200円をご負担いただきます
商品代引き（日本郵便ゆうパック）

【業者】日本郵便
●商品配達時に、配達員に代金をお支払いいただきます（現金のみの対応です）
●送料とは別に代引き手数料がかかります（330円～660円まで、お買い上げ金額により変動します）
お買い上げ総額（送料・代引き手数料含む）→代引き手数料　　
9999円未満→330円／29999円未満 →440円／99999円未満 →660円／上記以上 →1100円
※ご注文後、準備整い次第出荷いたしますので、ご注文間違いの際は急ぎご連絡下さい

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

新着商品

最近チェックした商品

Home

About

Guide

Event

News

Contact

カテゴリー

ピックアップ

Calendar

返品について

返品期限

返品送料

配送方法・送料について

日本郵便（ゆうパック・ゆうパケット）

お支払い方法

Amazon Pay

クレジット（VISA・MASTER・JCB・AMEX・Diners）

楽天ペイ（楽天ポイントが貯まる！使える！）

PayPay（QRコード決済で便利にお買い物！）

コンビニ決済（前払い）

商品代引き（日本郵便ゆうパック）