_R のような下線で始まる語は太字の代替で、固有名詞（特定インスタンスを指す名前）となる。次元ごとに付けるキーワードは恣意的なので括弧に入れることにした。 1-sinature movable { 0(sort) S in _Set 1(mathod) moveBy:S×_R→S in _Set 2(equation) assc…

8÷2×(2+2)＝の答え、ついに数学者が正解を発表！それは・・・ https://yukawanet.com/archives/math20190804.html 8÷2×(2+2) が次の2通りにパーズできる、ってだけの話。 (8 ÷ 2) x (2+2) 8 ÷ (2 x (2+2)) パージングルールが社会的に合意されてないから、別…

ドナルドソンの論説 Title: Mathematical aspects of gauge theory: lecture notes (February 21, 2017) Author: Simon Donaldson Pages: 41p URL: https://www.lsgnt-cdt.ac.uk/assets/8h00svqzffcqd97tf8oxcokv199scmjb.pdf のp.3に、"The falling cat"の…

前層の例：U⊆X を開集合とする。 I(U) := U Op(U) := {V⊆U | Vは開集合} Cl(U) := {A⊆U | Aは閉集合} K(U) := {X⊆U | Xはコンパクト} ConstA(U) = A Pow(U) := {X⊆U | Xは任意} Powfin(U) := {X⊆U | Xは有限集合} B(U) := (Uの開集合から作られたボレルσ代数…