以前のエントリ, ガウス積分の公式とその証明で, 暗に極座標での微小面積が $rdrd\theta$ であるとして書いていたので, その内容についても一応書いておこうというのと, 筆者自身の学習/再整理も兼ねて, ヤコビアンに関して書くこととした.

極座標の微小面積

直交座標から極座標へ移行する際に, その微小面積はどうなるかについて考察する.

上図¹は, $1\times 1\times 1$ の立方体があって, その断面をそれぞれ極座標と直交座標で示しているだけであるが, この断面図のマスの広がり方を見るだけで, 少なくとも極座標における微小面積が $drd\theta$ とはならないことに納得できる. 単に $drd\theta$ としてしまうと, $r$ が大きくなればなるほど微小面積も伸びて大きくなっていってしまうだろうという想像がつく.

当ブログ内でガウス積分(オイラー＝ポアソン積分)の公式を用いる際に self-contained でリファレンスを張るためと, 個人的な学習の記録として, 本エントリにてガウス積分の公式とその証明について書く¹$.$ 筆者自身にとっての分かりやすさを優先しているため, 若干冗長的な記述があるかもしれない点に注意.

ベイズの定理の導出から, モンティ・ホール問題への応用まで.

ベイズの定理の導出

事象 $A$ が発生する確率を「$P(A) = A$ が発生する確率 $\div$ すべての事象の数」と書くとき, ベイズの定理は

と定義される. 以下ベイズの定理を導出する. 例として, 起こり得る全ての事象の数を $200$, 事象 $A$, 事象 $B$(以下単に $A$, $B$ と書く)が発生した回数をそれぞれ $60,\ 40$ とし, $A$ および $B$ が発生した確率を $10$ とする. 簡単のために, この事象関係を表すベン図を次に示す¹.

エルガマル暗号が離散対数問題の応用であることは認知していたものの, きっちりと自分でまとめたことが無かったと思うので, それに関連する諸々の前提についてもふまえて, 一度書くことにした. また, その処理系を実装した. 本エントリでは, 同暗号プロトコルの話の前にまず前提を示し, その後, 実装の観点から見た要点を示す.

大学のレポート内で De Bruijn Sequence について書く機会があった. これまた以前と同じく, 折角なのでこちらのブログにも, 若干内容を変えつつ載せておくことにした.

De Bruijn Sequence は, オランダ人の数学者 Nicolaas de Bruijn に因んで命名された系列で, 特定の長さのすべての組み合わせを含む系列である. 次数 $n$ の $k$ 種類に関する De Bruijn Sequence $B(k, n)$ は, 長さ $n$ で表現可能なすべての部分列によって構成される. 次元数 $2$ (すなわちバイナリ) の De Bruijn Sequence は $B(2, n)$ であり, $n$ ビットの固有な部分系列から成る $2^n$ ビット長の系列である. 例えば, $B(2, 3)$ は $00011101_{(2)}$ であり $n$ に対する有向グラフが下図¹のように示される.