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

• 資料種別: 図書
• ISBN: 978-4-274-23486-6
• タイトル: プログラマーのための圏論
• タイトルよみ: プログラマー ノ タメ ノ ケンロン
• 著者・編者: Bartosz Milewski 著; 北川雅裕 訳; 松田一孝 監訳
• 著者標目: 著者 ： Milewski, Bartosz ( 034795740 )典拠; 訳者 ： 北川, 雅裕 キタガワ, マサヒロ ( 034795750 )典拠; 訳者 ： 松田, 一孝 マツダ, カズタカ ( 034795757 )典拠
• 出版事項: 東京 : オーム社 (出版)
• 出版年月日等: 2026.5
• 出版年（W3CDTF）: 2026
• 数量: 361p
• 大きさ: 24cm
• その他のタイトル: Category Theory for Programmers
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: カテゴリー (数学) カテゴリー (スウガク) ( 00565160 )典拠; プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )典拠
• NDC10版: 411.6 : 代数学
• NDLC: MA67
• 対象利用者: 一般
• 一般注記: 原タイトル: Category Theory for Programmers
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4000円
• 所蔵機関: 国立国会図書館
• 請求記号: MA67-R37
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 034712505; http://id.ndl.go.jp/bib/034712505
• 全国書誌番号: 24274157
• トーハンMARC番号: 34866500
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: コードで学ぶ、プログラマーのための圏論入門〈本書のポイント〉・C++とHaskellのコードを使って、圏論の概念を解説した・数学書のような定理⇒証明の繰り返しではなく、プログラマーの慣れている技術書な解説とした近年の並列・並行プログラミングにおける安全性確保では、共有可変状態に依存する設計の難しさが...