2017-12-25 指標のラムダ計算と確率概念 証明シェル 高次圏論 圏一般論 確率統計 気付いた 課題 あれ、これって指標のラムダ計算に役立つぞ。 「確率変数」の一般論は可能か - 檜山正幸のキマイラ飼育記