Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2026-05-01から1ヶ月間の記事一覧

擬似ランダムと完全秘匿暗号の計算量的安全性

まずはなにあれ、一様分布を定義しましょう。一様分布$U_n$とは長さnの全てのビット列の集合$\{0,1\}^n$の各要素について確率$\frac{1}{2^n}$を割り当てた分布として定義します。集合$\{0,1\}^n$の要素の数は$2^n$ですからすべての要素に確率を均等に割り当…

確率分布の計算量的識別

「与えられた2つの確率分布を(計算量的に)識別出来ない」という概念を数学的に定義します。 安永先生著: 暗号理論入門 作者:安永 憲司 森北出版 Amazon をお持ちの方はp40, 第4章「擬似ランダム」の冒頭部分を参考にしてください。以下の定義は同書からの…