多プロファイル 成分・書字順 成分・反書字順 成分・カリー化 f: → X f(*, x) f(x | *) f()(x) f: X → f(x, *) f(* | x) f(x)() f: → X, Y f(*, (x, y)) f(x, y | *) f()(x, y) f: X, Y → f(​(x, y), *) f(* | x, y) f(x, y)() f: X → Y f(x, y) f(y | x) f(…

演算の可能性： 分布 述語 点ごとの掛け算 ☓ ◯ 足し算 ☓ △部分的に可能 テンソル積 ◯ ◯ 凸結合 ◯ ◯ max ☓ ◯ min ☓ ◯ 1 -x ☓ ◯ ノルム 積分値＝定数1 最大値 移動 前送り 引き戻し 一点台 ディラック分布 一点述語 形容詞： 分布 述語 (形容詞なし) 分布＝確…

無条件分布 ＝ 分布 ＝ (dom(ω) = 1 のマルコフ射) 条件付き分布 ＝ マルコフ射 分布＝法則 （同義語として） 条件付き法則 ＝ 条件付き法則 無条件法則 ＝ 無条件分布 ＝ 分布 ＝ 法則 言葉の使い方（語学）。 無条件分布は条件付き分布である。（包含関係…

「カラスである」の解釈 今目の前にいる鳥はカラスである。1 → 2 不確実・不正確な判断 鳥の個体の集合上のシャープ述語「カラスである」。Bird →! 2 鳥の種類の集合上のシャープ述語「カラスである」。BirdSpecies →! 2 鳥の個体の集合上のファジー述語「カ…

連言 述語のアダマール積（点ごとの積をアダマール積と呼ぶ） 事象〈可測集合〉の共通部分 事象〈可測集合〉の直積 述語のテンソル積 分布のテンソル積 述語のmin 含意 述語の制限差 と書く。 分布のテンソル積 ⊃ = とする。 推論規則 結合とその特殊形 A → …

論理的形容詞 測度 非負実数値関数 テンソル〈多行列〉 (無し) 準確率測度 準述語 準マルコフ・テンソル 規格化 確率測度 規格化述語＝単位述語 マルコフ・テンソル 劣規格化 劣確率測度 述語＝ファジー述語 劣マルコフ・テンソル シャープ シャープ測度 古…

積分可能〈可積分〉関数の全体を L1(X, R) とか書く。どうように、総和可能な関数の全体を MapΣ(X, R) のように書き、総和可能性を厳密に定義しておく。

注意事項 同時分布＝2階以上の分布≒多次元分布 だが、次元概念は曖昧（主観的）だから、階数で定義する。(0, n) （n ≧ 2）の階数を持つマルコフ・テンソルを同時分布と呼ぶ。「同時」に意味はない。 同時化は、ベイズペアに対する演算で、二項演算と考えるこ…

DontCare記号は未定義を意味する'⊥'とは違う。未知物を表す'？'とも違う。任意の値を入れていいプレースホルダー。アンダースコア'_'を使う。DontCare記号＝アンダースコアは、マルコフ・テンソルの反転でゼロ除算が出てきたときに使う。DontCare記号＝アン…

Olivia Caramello は、トポス使いの女流名人。