隆起函数 「函数」使っているよ、、、 Leeの本の p.46 "Bump Functions and Partitions of Unity" Non-analytic smooth function Leeの本は、For t ＞ 0, exp(-1/t) から始まる。

digit, numeral (number form), number は違う。 f(x) が標準だが、f x、x.f、(x)f、x f も使われている。 f;g と gf の違いは単なる書き方の違いと理解する。反図式順はアラビア語／ヘブライ語と同じ書字方向なだけ。 「;」と「」を構造的に違うと解釈する…

指標のパラメータ化とグロタンディーク構成 - 檜山正幸のキマイラ飼育記 (はてなBlog)の応用。次の3つは同値。 B inherits A where interfaceOf(A) = Δ, interfaceOf(B) = Σ = Δ +> Σ' B implements (A)Σ' B realizes (Δ)B' by A where (Δ)B':〚Δ〛→〚Σ〛 別…

OOP = Object-Oriented Programming, FP = Functional Programming OOP風 FP風 インターフェイス 型クラス クラス 型インスタンス＝型 インスタンス＝オブジェクト 値 型クラス／型インスタンスの「型」を省略すると： OOP風 FP風 インターフェイス クラス …

横と縦があるので、 縦方向の列＝ピア〈pier〉（peerではない！） 横方向＝フロア フロアの数＝ストーリー 次のように呼ぶのが良さそう。∈0 は「対象として所属する」。 指標Σ ∈0 リテラチャーL ターゲット圏C ∈0 アンビエントA 指標とターゲット圏から決ま…