後でちゃんと書くことを忘れないために。 DOTN三号とCatPict〈キャットピクト〉：方針 関係する絵

微分幾何計算は、形式体系とその意味論を使えば良かったのだ。灯台下暗し！ なぜに気付かない。こんなときは、自分の頭を殴りたくなる。型記号 Vector Scalar Covector 型演算 × (-)n 定数記号 ∂i : Vector ωi : Covector ∂ : Vectorm ω : Covectorm πi : Sc…