圏論の歩き方｜日本評論社
第1章 [座談会] 圏論と異分野協働──今出川不純集会 第2章 圏の定義──矢印でいろいろ書いてみる ◎蓮尾一郎 第3章 タングルの圏 ◎鈴木咲衣＋葉廣和夫 第4章 プログラム意味論と圏論──計算の「不変量」を圏論で捉える ◎長谷川真人 第5章 モナドと計算効果 ◎勝股審也 第6章 モナドのクライスリ圏──圏論による一般化とは？ ◎蓮尾一郎 第7章 表現を〈表現〉する話──ミクロ・マクロ双対性(1) ◎小嶋 泉＋西郷甲矢人 第8章 [座談会] 歩き方の使い方──今出川不純集会，ふたたび 第9章 ガロア理論と物理学──ミクロ・マクロ双対性(2) ◎小嶋 泉＋西郷甲矢人 第10章 圏論的双対性の「論理」──圏論における抽象と捨象，あるいは不条理 ◎丸山善宏 第11章 圏論的論理学：トポス理論を越えて ◎丸山善宏 第12章 すべての人に矢印を──圏論と教育をめぐる冒険 ◎西郷甲矢人 第13章 ホ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://kwatch.houkagoteatime.net/blog/2015/08/30/why-is-functional-lang-so-hard/
