感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 2 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 0 予約数 2

書誌情報サマリ

書名

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

著者名 Bartosz Milewski／著 北川雅裕／訳 松田一孝／監訳
出版者 オーム社
出版年月 2026.5
請求記号 411/00334/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0238784607一般和書２階開架自然・工学貸出中 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 411/00334/
書名 プログラマーのための圏論
著者名 Bartosz Milewski／著 　 北川雅裕／訳 　 松田一孝／監訳
出版者 オーム社
出版年月 2026.5
ページ数 16,361p
大きさ 24cm
ISBN 978-4-274-23486-6
原書名 原タイトル:Category theory for programmers
分類 4116
一般件名 カテゴリー(数学)
書誌種別 一般和書
内容紹介 プログラマーが親しみやすい技術書スタイルで圏論の核心を解説した入門書。主要概念をC++とHaskellのコードで具体化し、Haskellについては未経験者にも配慮して段階的に説明する。
書誌・年譜・年表 文献:章末
タイトルコード 1002610016552

目次 第１部（圏：合成の本質
型と関数
圏のさまざま　ほか）
第２部（宣言的プログラミング
極限と余極限
自由モノイド　ほか）
第３部（射こそすべて
随伴
自由／忘却随伴　ほか）
著者情報 Ｍｉｌｅｗｓｋｉ，Ｂａｒｔｏｓｚ
　ポーランドで教育を受け、理論物理学の博士号を取得。ヨーロッパやアメリカでいくつかのポスドク職を経験したあと、なぜかＭｉｃｒｏｓｏｆｔで検索エンジンの設計・実装をすることになった。しかし当時のＭｉｃｒｏｓｏｆｔはインターネットを本気で受け止めておらず、あまりうまくいかなかった。退職して自分の小さな会社Ｒｅｌｉａｂｌｅ　Ｓｏｆｔｗａｒｅを立ち上げ、世界初の分散バージョン管理システム〔Ｃｏｄｅ　Ｃｏ‐ｏｐ〕を作った（現在はパブリックドメインになっている）(本データはこの書籍が刊行された当時に掲載されていたものです)
北川 雅裕
　２００７年に名古屋大学大学院　理学研究科　素粒子宇宙物理学専攻　博士前期課程を修了（理学修士）。その後は医療機器メーカーで光学設計とソフトウェア開発に従事。また、２０１０年頃からオープンソースソフトウェアの日本語化や写真編集アプリＬｉｇｈｔＺｏｎｅの開発にも携っている。関数プログラミングはＪａｖａ　８に取り入れられたのを機に触れ、そこから他の言語や圏論にも興味を持ち始めた。徳島県生まれ香川県育ち(本データはこの書籍が刊行された当時に掲載されていたものです)
松田 一孝
　東北大学大学院情報学研究科准教授。２００９年に東京大学より博士（情報理工学）を取得。プログラミング言語理論、特に関数プログラミングおよび領域特化言語を専門とする。現在の主要研究キーワードは、双方向変換（本書でも触れられているレンズなど）や可逆計算など。理論に基づくプログラム・ソフトウェアの構成法や、その理論自身に興味を持つ。圏論に興味を持ったのはＨａｓｋｅｌｌのモナドが切っ掛け。愛媛県出身(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。