m-hiyama-memo.hatenablog.jp

[X→*Y]をマルコフ圏の内部ホムとする。シャープ内部ホムは[X→!X]。 S:[X→*Y]→[X→!Y] S:[1→*Y]→[1→!Y] を代表値汎関数〈{central |representative} value functional〉、またはシャープ化オペレータ〈sharpening operator〉シャープ化オペレータは、埋め込み…

ベイズ梯子〈Bayesian ladder〉 P = P1 ： 初期{{確率}?{分布}?}! Mi ： {統計|確率}モデル di ： データ これに、ベイズ反転＝尤度 Li:Xi→* Θ を構成して、ベイズ更新 Pi+1 := Li(di) により、系列 P1, P2, ... を求めることを、 ベイズ梯子に沿ったベイズ…

Aタイプ Cタイプ 抽象的(A) 具象的(C) 公理的(A) 構成的(C) 圏論ベース 測度論ベース ストリング図と絵算 測度論と積分計算 統合的(S) 分析的(A) イデア論的 博物学・地理学的 檜山はAタイプ指向〈志向 | 嗜好〉 博物学・地理学的な記憶力がない。 測度論は…

※ {パターン}! は、パターンのインスタンスから空文字列は除くことを意味する。 {事前|初期}{{確率}?{分布}}! P:1→* Θ による{統計 | 確率}モデル M:Θ→* X の{ベイズ}?反転〈{Bayesian}? converse〉を、F-P （）と書く。ドバーカットは、 。 同時{{確率}?{分…