subtract_with_carry : RANLUXの説明をちょっと修正。重複しないのは乱数の値単体ではなく、異なるシード間での乱数列。