Javaでガウス分布(正規分布)の乱数を得る方法

メモを兼ねて。
Javaガウス分布正規分布)の乱数を得るためにはjava.util.RandomのnextGaussian()メソッドを使えば良い。
返り値として「乱数ジェネレータのシーケンスを使った、平均 0.0、標準偏差 1.0 のガウス (「正規」) 分布の double 型の次の擬似乱数」(APIの解説そのまま)が得られるそうだ。
原理を完璧に飲み込まないまま使うの、本当はよくないのだろうけどやむを得ない。
蛇足だが、普通にJavaのAPIリファレンス中で参照した文献として、KnuthのThe Art of Computer Programmingを参照してます。と書いてあることに驚いた。