>>340
俺もなんで確率分布になるんだ？と思ったけど、確率密度関数が提示されていたので乱数発生させて計算してみた。
差の分布の公式を使って積分すれば答がだせるのだろうなと思ったが最後は数値積分になるだろうと思っていたけど
ちゃんと不定積分を出せる人がいて感銘した。