正方形： square {rectangle}? 正方体 ： regular cube 文字化け ： {character | text} garbling, garbled character 文字落ち ： {character | text} lost, lost character 文字 ： character, letter, atomic symbol

標本空間 ： 対象、可測空間、サンプリングとは無関係、スカラーや単位区間が標本空間になるとは限らない。 事象 ： シグマ代数の要素、シャープ述語の外延 {スカラー値}?変量 ： 標本空間からスカラーへの純関数 述語 ： 標本空間から“スカラーの単位区間”…

形式的結合、みっつ 形式的線形結合 形式的劣凸結合 形式的凸結合 射の性質、ふたつ シャープ性〈シャープネス〉＝非分散性 保存性＝非消失性 シャープかつ保存的ならデカルト的〈cartesian〉＝古典的〈classical〉という。 アレンジメントの性質、ふたつ 条…

モナド： →係数半環 ↓形式的結合 P B N 線形結合 Lin FinPow Bag 劣凸結合 SubConv FinPow Maybe 凸結合 Conv NEFinPow Id クライス圏 →係数半環 ↓形式的結合 P B N 線形結合 Kl(Lin) NDfb Kl(Bag) 劣凸結合 Kl(SubConv) NDfb Par 凸結合 Stocdiscfb NDfb,to…

List(A) Pow(A) B係数 FPow(A) 有限台、B係数 Bag(A) 有限台、N係数、経験データ DMeas(A) 有限台、P係数 ProbDMeas(A) 有限台、J係数、保存的＝マルコフ モナド準同型 List(A) → Bag(A) 順序の忘却、パリク写像 Bag(A) = Meas(A) Bag(A) → Conv(A) = ProbMe…

確率論 可能性論 probability possibility マルコフ的 ブール的 程度・比率 真偽 半環P 半環B 区間J B モナド LConv モナド Pow モナド Conv モナド NEPow 準マルコフ圏 Kl(LConv) 準マルコフ圏 Kl(Pow) = ND マルコフ圏 Kl(Conv) = DFStoc マルコフ圏 Kl(NE…