補題:32bit符号なし整数変数間の算術和演算をブール関数で表す その3

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

補題:32bit符号なし整数変数間の算術和演算をブール関数で表す その2

初期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符号なし整数変数間の算術和演算をブール関数で表す

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

補題:新しい関数“Cr(Ω)”を定義する 定理(*C)の証明

補題:新しい関数“Cr(Ω)”を定義する - Plus Le Toolの定理(*C)の証明。今まで証明がなかったものをさきさんが証明してくれました。ありがとうございます! この記事ではさきさんの証明を参考にしつつ、しかし同じこと書いても2番煎じなので別路線で…

補題:新しい関数“Cr(Ω)”を定義する

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

補題:SHA−1アルゴリズムを方程式にする

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

補題:任意のブール方程式の解き方

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

補題:32bit符号なし整数変数間の演算をブール関数で表す

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

補題:ブール関数について

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

初期seedから日時を求める無謀な挑戦

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

補題:数式中で使う記号の定義

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

PlusleSeedCalculator.Library.ResultDatum クラス

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 出力結果を表すクラスです。…

PlusleSeedCalculator.Library.ResultData クラス

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 出力結果を表すクラスです。…

PlusleSeedCalculator.Library.Result クラス

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 出力結果を表すクラスです。…

PlusleSeedCalculator.Library.IRandomS インターフェース

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 性格値乱数計算に必要になり…

PlusleSeedCalculator.Library.IRandomK インターフェース

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 個体値乱数計算に必要になり…

PlusleSeedCalculator.Library.IUtil インターフェース

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 iniファイルの読み書きに必…

PlusleSeedCalculator.Library.ICalculator インターフェース

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 乱数計算を実際に行うインタ…

PlusleSeedCalculator.Library.IPlugin インターフェース

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 プラグインの本体を表すイン…

PlusleSeedCalculator.Library ver 2.0

これはプラスルツールのプラグイン作者向けに書かれた記事です。 プラグインの使い方を知りたい方は[id:plusletool:20100918:howtouse]を参照。 プラグインの作り方を知りたい方は[id:plusletool:20100918:PluginManual]も参照。 ここでは、 PlusleSeedCalcu…

プラスルツール ver 2.0.0 & プラスルツール/プラグイン 7つ

http://www1.axfc.net/uploader/so/2866673.zip PlusleSeedCalculator(プラスルツール) ver 2.0.0 連続seed検索プラグイン ver2.0 ものひろい乱数プラグイン ver2.0 簡易ポイントマックス検索プラグイン ver2.0 隠し穴乱数調整補助プラグイン ver2.0 オフ…

プラスルツール/オフセット計算プラグイン

http://www1.axfc.net/uploader/so/2860468.zip オフセット計算プラグイン ver 1.1 【変更点】 一部計算が間違っていたバグを修正 ※投稿日時点の最新版。 その他のバージョンは下記参照。 [id:plusletool:20100918:Offset]

プラスルツール/ID乱数プラグイン

http://www.dotup.org/uploda/www.dotup.org4109753.zip.html(パス:plusle) なんか斧に連投規制(?)されたっぽいんで別ろだで… ID乱数プラグイン ver1.1 【変更点】 ID決定後の消費数を出力するオプションを追加 「使い方」が間違っていたので修正 ※投…

プラスルツール ver 1.1.0

http://www1.axfc.net/uploader/so/2859807.zip PlusleSeedCalculator(プラスルツール) ver 1.1.0 【変更点】 オフセット自動計算を実装 プラグインの表示領域がウィンドウサイズに連動して拡大/縮小するように変更 検索中断時に出るメッセージボックスが…

プラスルツール/プラグイン 3つ

http://www1.axfc.net/uploader/so/2859813.zip(古いファイルが含まれていたため削除) http://www1.axfc.net/uploader/so/2859876.zip(まだ古いファイルが含まれていたため削除orz) http://www1.axfc.net/uploader/so/2859890.zip 連続seed検索プラグイ…

プラスルツール/オフセット計算プラグイン

http://www1.axfc.net/uploader/so/2857092.zip オフセット計算プラグイン ver 1.0 ※投稿日時点の最新版。 その他のバージョンは下記参照。 [id:plusletool:20100918:Offset]

プラスルツール/連続seed検索プラグイン

http://www1.axfc.net/uploader/so/2843932.zip 連続seed検索プラグイン ver 1.1 【変更点】 iniファイル保存時に過去の設定が残ったままになるバグを修正 検索できる内容を実際の乱数で使いそうなものに変更 ※投稿日時点の最新版。 その他のバージョンは下…

プラスルツール/連続seed検索プラグイン

http://www1.axfc.net/uploader/so/2844090.zip 連続seed検索プラグイン ver 1.2 【変更点】 iniファイル保存時に過去の設定が残ったままになるバグが修正できてなかったのを修正 ※投稿日時点の最新版。 その他のバージョンは下記参照。 [id:plusletool:2010…