Categories
Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The original ideas are due to R.M. Burstall, and it was developed by D. Rydeheard, with help from D.T. Sannella and others in the University of Edinburgh theoretical computer science community.
デカルト閉圏における絵算 詳細編 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の「デカルト閉圏における絵算」にて： この絵の根拠（合理化）とか、絵を使った計算例とかは、たぶんそのうち。 気が変わる前に Λ[(id×out);eval;in];Λ[(id×in);eval;out] = id という等式を絵算（pictorial calculation；お絵描き計算）で完全・露骨に示してみましょう。 内容： 基本概念／基本法則の絵 記号法とかの注意 Λの逆写像 idとevalの関係 左タイトニング公式 Λ(g) = id ⇔ g = eval 下ごしらえ 計算 ●基本概念／基本法則の絵 まず、昨日出しておいた基本概念／基本法則の絵ですが： http://www.chimaira.org/img2/pictcalc-ccc-basics.gif なんで、こんな絵にするのか？と聞かれれば、理由はあるから一応の説明はできるけど、説明めんどくさい。「こんな絵を使うと、計算
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
