Pを確率測度として、確率要素 dP なんてのが出てきた。なんだこりゃ!?測度を密度と標準測度からの微分形式として表したものらしい。密度関数fに対して、dP = f(x)dx とか。Pはバックエンド確率空間の測度で、f(x)dx はフロントエンド確率空間の標本空間を走…

簡易版・ボレルのパラドックスとその解釈：R言語を使って - 檜山正幸のキマイラ飼育記 で使った、gridによる描画。 # target-disk # grid.circle(x=0.5, y=0.5, r=0.5, gp=gpar(fill="skyblue")) grid.circle(x=0.5, y=0.5, r=0.5/3, gp=gpar(fill="red")) #…