rand_simple
このライブラリは、疑似乱数を簡単に生成できるライブラリです。
例えば、use rand_simple::Uniform;と宣言するだけで、一様分布乱数の構造体を使えるようになります。
偉大な先達randと比較して、簡素なモジュール宣言と豊富な確率変数による使いやすさを目指しています。
実装する疑似乱数
計算機シミュレーションのための確率分布乱数生成法/著者 四辻 哲章/プレアデス出版に掲載されている確率分布乱数を実装していきます。
掲載されている46種類の確率分布と、その基礎である一様分布・ベルヌーイ分布を実装していきます。
基本的なアルゴリズムはXorshiftです。
Xorshiftはたった4つの状態変数から周期 $2^{128} - 1$ の乱数計算を行うことができます。
0.001秒ごとに乱数を生成したとしても、ループが完了するまで$10^{28}$年かかるそうなので、 ちょっとした乱数生成の範疇ではこれで十分だと考えています。
外部ライブラリからの独立
使い勝手を考慮して、外部ライブラリに依存しないライブラリを目指しています。
使用例
一様分布
new()関数でインスタンスを生成する
let uniform = new;
// 初期設定の場合、閉区間[0, 1]の一様乱数に従う乱数を返す
assert_eq!;
// 確率変数のパラメータを変更する場合
let min: f64 = -1f64;
let max: f64 = 1f64;
let result: = uniform.try_set_params;
assert_eq!;
インスタンス生成マクロ 1(他の構造体にもcreate_XXの生成マクロを用意しています)
let uniform = create_uniform!;
assert_eq!;
インスタンス生成マクロ 2
let uniform = create_uniform!;
println!; // インスタンス生成時刻に依存するため、コンパイル時は値不明
正規分布
let normal = new;
assert_eq!; // 平均値 0, 標準偏差 1 の標準正規分布
半正規分布
let half_normal = new;
assert_eq!; // 標準偏差 1 の標準半正規分布
コーシー分布
let cauchy = new;
assert_eq!; // 位置母数 μ = 0, 尺度母数 θ = 1の乱数
半コーシー分布
let half_cauchy = new;
assert_eq!; // 尺度母数 θ = 1の乱数
レヴィ分布
let levy = new;
assert_eq!; // 位置母数 μ = 0, 尺度母数 θ = 1の乱数
指数分布
let exponential = new;
assert_eq!; // 尺度母数 θ = 1の乱数
ラプラス分布
let laplace = new;
assert_eq!; // 位置母数 μ = 0, 尺度母数 θ = 1の乱数
ベルヌーイ分布
let bernoulli = new;
assert_eq!; // 発生確率 0.5の事象が生じたか(1u64)、否か(0u64)
幾何分布
let geometric = new;
assert_eq!; // 発生確率 0.5の事象が初めて生じるまでの試行回数