中心極限定理のIsabelleによる証明


#1

確率論に対するIsabelleの適用。確率的に振る舞う市場参加者を記述できる表現力があれば、「気が狂った金持ちの銃乱射事件」のようなビザンチン性も内包したモデルが作れるのではないかという気がした。