ひとつの理由は関連諸分野の用語がなだれ込むこと。もうひとつは、意味論的用語と構文論的用語があり、それが一旦は区別されるが、後で混同混用されるから。 コンセプトのラベル → コンセプトとラベルが混同混用される（以下同様） クラスの{番号 | インデッ…

X, Yなどは集合として、 Map(X, Y) -- XからYへの写像の全体 Chan(X, Y) -- XからYへのチャンネルの全体 State(X) -- X上の状態の全体 Vect(X) -- Xから生成された自由ベクトル空間 R[X]1 → http://m-hiyama.hatenablog.com/entry/2019/02/18/113524#id2019_…

効果はeffectのこと。区間[0, 1]を真偽値集合と考えての論理演算。 & -- 連言は通常の掛け算 (-)⊥ -- 直交補元、否定に類似 + -- 足し算、制限される 述語の集合を Pred(X) := Map(X, [0, 1]) として、述語にも論理演算を入れる。すると、述語の集合の代数構…