「後で書く」のメモ
- 「Aという性質を持つものに注目し調べましょう」は、「Aという性質を持たないものは意味がない」とか「Aという性質を持たないものを調べる価値がない」とかを含意しない。
- Vを固定して、V値関手コボルディズムの圏を作る
- アロー図で見ると、fとgからf;gを作ることは、境界点を消して、アローを1本にして、ラベルを付け替えること。
- 関手コボルディズムは、「境界を消す」事と自然変換のアイディアを組み合わせた概念。
- 公平な（unbiased）演算をちゃんと考えてみる、平均値とか総和、総積とか。
- types as setoids 概念
- [cathand]コマンドライン引数と標準入力の統合
- 型生成（production）を構成（construction）と制限（restriction）に分類する。
- ⊥（undefined）を含む正規表現の処理
- 図式、錐の圏、極限
- RDBのテーブル・ジョイン
- ホーア加群＝模倣加群
