default_random_engine : 提案文書を参照として追加