初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 以下で使う記号の定義については[id:plusletool:20130427:p2]を参照。 また、以下では独自に定義した関数 を使うが、これについては[id:plusletool:20130612:p1]を参照。補題：32bit符号な…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 以下で使う記号の定義については[id:plusletool:20130427:p2]を参照。 また、以下では独自に定義した関数 を使うが、これについては[id:plusletool:20130612:p1]を参照。補題：32bit符号な…

このブール代数の漸化式を誰か解いてください！ - Plus Le Toolの漸化式を数学的な方法で解くのは（少なくとも自力では）無理っぽいので、別の強引な方法で無理矢理解くことにした。なお、以下で使う記号の定義については[id:plusletool:20130427:p2]を参照…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 使う記号の定義は[id:plusletool:20130427:p2]参照。補題：32bit符号なし整数変数間の演算をブール関数で表す - Plus Le Toolの続きみたいなもの。 今回の内容はうまく説明できないものが…

補題：新しい関数“Ｃr（Ω）”を定義する - Plus Le Toolの定理（＊Ｃ）の証明。今まで証明がなかったものをさきさんが証明してくれました。ありがとうございます！ この記事ではさきさんの証明を参考にしつつ、しかし同じこと書いても２番煎じなので別路線で…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 使う記号の定義は[id:plusletool:20130427:p2]参照。 ここでは関数 を定義する。 なぜ定義するのか、何に使うのか、どんな意味なのか、……ｅｔｃは次回の記事で分かるはずなので、今回は細…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 使う記号の定義は[id:plusletool:20130427:p2]参照。アルゴリズムは手順（過程）を記述したものであり、方程式は関係（結果）を記述したものである。 それらは記述の仕方が異なるので、詳…

初期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]参照。 【追記】 計算ミスを直したら、重要になるはずだったリード・マラー標準形がいらない子になった。 その結果、積和標準形とリード・マラ…

まだ結果が出るところまでたどり着けていないので、読むだけ時間の無駄ですよ。 話が抽象的すぎるし。途中から詭弁っぽくなるし。

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 ＳＨＡ−１の計算過程では、32bit符号なし整数（uint型）の論理積，論理和，排他的論理和，論理否定，算術和，循環シフト，および代入の演算が必要になるので、それらの記号をここで定義し…