Haskellで計算する具体例から --
雪田修一 /著   -- 日本評論社 -- 2020.8 -- 21cm -- 308p

資料詳細

タイトル 圏論入門
副書名 Haskellで計算する具体例から
著者名等 雪田修一 /著  
出版 日本評論社 2020.8
大きさ等 21cm 308p
分類 411.6
件名 カテゴリー(数学) , 関数型プログラミング
注記 文献あり 索引あり
著者紹介 1954年、千葉県生まれ。東京大学理学部物理学科卒業、同理学系研究科博士課程中退(数学専攻)。稚内北星学園、会津大学を経て、現在、法政大学情報科学部教授。博士(情報科学、東北大学)。おもな著書に、『代数のレッスン』(サイエンティスト社、1990年)など、訳書に『変換群入門』(セルゲイ・ドゥージン他、シュプリンガー東京、2000年)がある。(本データはこの書籍が刊行された当時に掲載されていたものです)
要旨 関数型プログラミング言語Haskellで計算する圏論の入門書。可換図式多数。図式を描くときの心の込め方をていねいに解説!
目次 第1章 圏・関手・自然変換;第2章 自然変換と圏同値;第3章 普遍性と極限;第4章 関手と極限の交換;第5章 随伴;第6章 モナドとHaskellのMonad;第7章 表現可能関手;付録
ISBN(13)、ISBN 978-4-535-78925-8   4-535-78925-8
書誌番号 1113805551

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 4階自然科学 Map 411.6 一般書 利用可 - 2066636987 iLisvirtual