オレンジ色は一般的ではない。$`\require{color} % Using \newcommand{\orange}[1]{ \textcolor{orange}{#1} } `$ $`\text{集合}`$ $`\text{部分集合}`$ $`\text{述語}`$ $`\cap`$ $`\cap`$ $`\land`$ $`\cup`$ $`\cup`$ $`\lor`$ $`\setminus`$ $`\setminus…

"Chap"〈「チャプ」〉 は計算システムとその言語の固有名。Chap言語は完全ホモアイコニックな言語で、Chap のデータは順序ツリー。関数呼び出し形式 $`f(x, y)`$ のネイティブ形式は$` \text{"App"}[\\ \quad \text{"f"},\\ \quad \text{""}[\text{"x"}, \te…

$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]{\mathbf{#1}} \newcommand{\H}{\text{-} } \newcommand{\Iff}{ \Leftrightarrow } `$昔の記述をコピー$`L\H\mrm{Formula}_{(\$1\in D)}`$ に属する論理式 $`\mrm{lie}`$を次のように定義する。$`\…

例えば、2つの放物線を二点で交わらせると、二変形ができて内部を入れると二角形になる。*1 *1:画像： https://www.researchgate.net/figure/a-and-b-form-a-bigon-Another-candidate-structure-is-a-fold-pictured-in-Figure-2_fig1_220991408論文： "Spira…

セルの境界複体（境界である形状付き集合）を周囲〈surroundings〉と呼びたい。a surroundings は変だから、単数なら a set of surroundings かな。球体モデルの場合は、surroundings = sphere 。球面〈sphere〉は2つの最高次元〈top-demensional〉セルを持…