チャンネル理論

ジェイコブスのチャンネル理論の枠組みで、

1. 有限集合のチャンネル理論
2. 実アフィン空間とガウス分布のチャンネル理論
3. 多様体のチャンネル理論
4. 有限アフィン空間のチャンネル理論

を定式化したい。有限アフィン空間のチャンネル理論は線形符号理論になるはず。

とりあえずは、ベイズ確率論、ジェイコブス達の新しい風 - 檜山正幸のキマイラ飼育記 (はてなBlog) の概念を使って、有限アフィン空間の線形符号論を考える。

• ゆらぎ／雑音／非決定性のモナド〈ジリィ型モナド〉は、確率的〈probabilistic〉か可能性的〈possibilistic〉か？
• 台空間にどのような幾何的構造を入れるか？