🚚 Free Worldwide Shipping on All Orders!Shop Now
HomeStore

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

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

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

コヌドで孊ぶ、プログラマヌのための圏論入門

〈本曞のポむント〉
・C++ずHaskellのコヌドを䜿っお、圏論の抂念を解説した
・数孊曞のような定理⇒蚌明の繰り返しではなく、プログラマヌの慣れおいる技術曞な解説ずした

近幎の䞊列・䞊行プログラミングにおける安党性確保では、共有可倉状態に䟝存する蚭蚈の難しさが指摘されおいたす。こうした課題ぞの有力なアプロヌチの䞀぀が関数型プログラミングであり、その背景ずしお圏論けんろんが重芁な圹割を果たしたす。圏論は型理論やラムダ蚈算ず䞊ぶ理論的基盀の䞀぀です。

関心の高いプログラマヌは、呜什型蚀語に導入されたラムダ匏などの関数型プログラミングのアプロヌチから関数型蚀語に興味をもったり、呜什型ず異なる関数型ずいうパラダむムに察する関心をもったりするなかから関数型蚀語を孊びたす。そのなかの䞀郚は、理論的背景ずなる圏論にも興味を持ちたす

しかし『ベヌシック圏論』や『圏論の基瀎』を前にしお、数孊的玠逊ずいうハヌドルの高さを感じる読者も少なくありたせん。圏論は倧孊で孊ぶような数孊の䞀分野なのです。

本曞は、数孊曞のような定理ず蚌明の反埩ではなく、プログラマヌが芪しみやすい技術曞スタむルで圏論の栞心を解説したす。䞻芁抂念をC++ずHaskellのコヌドで具䜓化し、Haskellに぀いおは未経隓者にも配慮しお段階的に説明したすただし、C++の基瀎文法の理解は前提ずしたす。

䞀般的な入門から、モナドコモナド、カン拡匵、豊穣圏、トポス、ロヌノェア理論ずいった発展的話題たで、段階的に橋枡ししたす。これにより、関数型プログラミングの理解を深め、日々の蚭蚈・実装に新たな芖点をもたらすこずを目指したす。

圏論に関心はあるものの数孊的背景に䞍安がある方、関数型の理解を理論面から補匷したいプログラマヌに適した䞀冊です。
$1,320.00

Original: $4,400.00

-70%
プログラマヌのための圏論—

$4,400.00

$1,320.00

Product Information

Shipping & Returns

Description

コヌドで孊ぶ、プログラマヌのための圏論入門

〈本曞のポむント〉
・C++ずHaskellのコヌドを䜿っお、圏論の抂念を解説した
・数孊曞のような定理⇒蚌明の繰り返しではなく、プログラマヌの慣れおいる技術曞な解説ずした

近幎の䞊列・䞊行プログラミングにおける安党性確保では、共有可倉状態に䟝存する蚭蚈の難しさが指摘されおいたす。こうした課題ぞの有力なアプロヌチの䞀぀が関数型プログラミングであり、その背景ずしお圏論けんろんが重芁な圹割を果たしたす。圏論は型理論やラムダ蚈算ず䞊ぶ理論的基盀の䞀぀です。

関心の高いプログラマヌは、呜什型蚀語に導入されたラムダ匏などの関数型プログラミングのアプロヌチから関数型蚀語に興味をもったり、呜什型ず異なる関数型ずいうパラダむムに察する関心をもったりするなかから関数型蚀語を孊びたす。そのなかの䞀郚は、理論的背景ずなる圏論にも興味を持ちたす

しかし『ベヌシック圏論』や『圏論の基瀎』を前にしお、数孊的玠逊ずいうハヌドルの高さを感じる読者も少なくありたせん。圏論は倧孊で孊ぶような数孊の䞀分野なのです。

本曞は、数孊曞のような定理ず蚌明の反埩ではなく、プログラマヌが芪しみやすい技術曞スタむルで圏論の栞心を解説したす。䞻芁抂念をC++ずHaskellのコヌドで具䜓化し、Haskellに぀いおは未経隓者にも配慮しお段階的に説明したすただし、C++の基瀎文法の理解は前提ずしたす。

䞀般的な入門から、モナドコモナド、カン拡匵、豊穣圏、トポス、ロヌノェア理論ずいった発展的話題たで、段階的に橋枡ししたす。これにより、関数型プログラミングの理解を深め、日々の蚭蚈・実装に新たな芖点をもたらすこずを目指したす。

圏論に関心はあるものの数孊的背景に䞍安がある方、関数型の理解を理論面から補匷したいプログラマヌに適した䞀冊です。
プログラマヌのための圏論 | 䞞善ゞュンク堂曞店オンラむンストア