研究メモ:ガウス分布の分散が指数分布に従うとして 分散を積分消去するとラプラス分布が得られることの証明