資料詳細

  • 1 件中、 1 件目

【図書】 プログラマーのための圏論

Ｂａｒｔｏｓｚ　Ｍｉｌｅｗｓｋｉ ／著, 北川雅裕 ／訳, 松田一孝 ／監訳   -- オーム社 -- ２０２６．５ -- ２４ｃｍ -- ３６１ｐ

資料詳細

タイトル プログラマーのための圏論
著者名等 Ｂａｒｔｏｓｚ　Ｍｉｌｅｗｓｋｉ ／著, 北川雅裕 ／訳, 松田一孝 ／監訳  
出版 オーム社 ２０２６．５
大きさ等 ２４ｃｍ ３６１ｐ
分類 411.6
件名 カテゴリー（数学） , プログラミング（コンピュータ）
注記 原タイトル：Ｃａｔｅｇｏｒｙ　Ｔｈｅｏｒｙ　ｆｏｒ　Ｐｒｏｇｒａｍｍｅｒｓ
注記 文献あり　索引あり
著者紹介 【Ｂａｒｔｏｓｚ　Ｍｉｌｅｗｓｋｉ】ポーランドで教育を受け、理論物理学の博士号を取得。Ｒｅｌｉａｂｌｅ　Ｓｏｆｔｗａｒｅを立ち上げ、世界初の分散バージョン管理システム〔Ｃｏｄｅ　Ｃｏ－ｏｐ〕を作った。Ｗａｌｔｅｒ　Ｂｒｉｇｈｔなどとともにプログラミング言語Ｄの設計・実装に加わった。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次 第１部（圏：合成の本質；型と関数；圏のさまざま　ほか）；第２部（宣言的プログラミング；極限と余極限；自由モノイド　ほか）；第３部（射こそすべて；随伴；自由／忘却随伴　ほか）
ISBN(13)、ISBN 978-4-274-23486-6　　 4-274-23486-X
書誌番号 1126010258
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1126010258

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 7 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 411.6 一般書 予約受取待 - 2080676568 iLisvirtual

ページの先頭へ