初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 使う記号の定義は[id:plusletool:20130427:p2]参照。論理式（＝ブール関数）の連立方程式の解き方。 ブール代数の方程式に関する資料はなぜかかなり少ないけど、ようやく見つけた。それも…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 使う記号の定義は[id:plusletool:20130427:p2]参照。ＳＨＡ−１アルゴリズムは32bit符号なし整数（uint型）間の演算で記述されているが、あえてそれを1bit整数（bool型）間の演算に書き換え…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。使う記号の定義は[id:plusletool:20130427:p2]参照。 【追記】 計算ミスを直したら、重要になるはずだったリード・マラー標準形がいらない子になった。 その結果、積和標準形とリード・マラ…