統一的用語法

  • 標本空間 : 対象、可測空間、サンプリングとは無関係、スカラーや単位区間が標本空間になるとは限らない。
  • 事象 : シグマ代数の要素、シャープ述語の外延
  • {スカラー値}?変量 : 標本空間からスカラーへの純関数
  • 述語 : 標本空間から“スカラーの単位区間”への純関数
  • 分布 : 単位対象からの保存的射〈マルコフ核〉、別の圏では部分集合/要素にもなる。
  • 測度 : 背景ジリィモナドの値の要素、測度と分布は同一視可能
  • 変量の評価値 : 期待値、存在命題、所属命題
  • 方体測度 : 独立な測度、射影達が独立組、方体{的}?部分集合、タプル
  • 正方体測度 : IIDな測度、射影達がIID、正方体{的}?部分集合、定項リスト
  • シャープ : 分散〈dispersion〉・分岐〈branching〉が起きない。
  • アンシャープ : 分散〈dispersion〉・分岐〈branching〉が起きるかも知れない。(「分散が起きる」ではない。)
  • 保存的: 消失〈vanishing〉・紛失〈lost〉が起きない。
  • 非保存的: 消失〈vanishing〉・紛失〈lost〉が起きるかもしれない。(「消失が起きる」ではない。)