アナロジーがあるが、まだ前々未整理。
チャンネル理論 | データベース | 符号理論 |
---|---|---|
可測空間 | 集合 | 有限集合 |
値の可測空間 | ドメイン | 有限体 |
事象の可測空間 | 実体 | 有限集合 |
状態 | 状態 | 符号 |
述語 | 述語 | 双対符号 |
[0, 1]区間 | 1 | 2 |
チャンネル | 関係 | チャンネル |
直積 | 直積 | 直積 |
ベイズ反転(?) | 転置 | ? |
決定性チャンネル | 写像 | 非エラー・チャンネル |
状態前送り | 状態の順像 | 符号の順像 |
述語引き戻し | 状態の逆像 | 符号の逆像 |
妥当性 | 交差性 | スカラー積(?) |
凸和 | ユニオン | - |