Boost逆引きリファレンス更新

https://sites.google.com/site/boostjp/tips/random


乱数に、「シードを再設定する」を追加。
昨日このブログで紹介したものの転載です。