ブール代数

Xorshift の逆関数に関する考察/正逆双方向に計算できる Xorshift

はじめに 取説(というかライセンス表記)のないSwitchでポケモン新作が出たら乱数生成器や初期化方法を特定するのがめんどくさくなりそうだから、あらかじめいろんな疑似乱数の逆関数を求めておけばいいんじゃね? な企画第1弾。ということでとりあえず目…

TinyMT の更新関数 tinymt32_next_state(tinymt32_t*) の逆関数に関する考察

TinyMT の更新関数 tinymt32_next_state(tinymt32_t*) の逆関数において、逆関数適用後の status[0] の最上位bitが不定値になる問題について調べてみた。 前置きが長いので「本題」で検索してヒットところから読めば充分だと思います。タブンネ。 理論なんて…

メルセンヌ・ツイスタの逆算に関する考察

メルセンヌ・ツイスタを逆算する式を求める。 なお、 tempering 部分の逆関数は既にできているので省略する(→メルセンヌ・ツイスタのtemperingの逆関数に関する考察 - Plus Le Blog)。

メルセンヌ・ツイスタのtemperingの逆関数に関する考察

はじめに ↓これの逆関数の3行目の定数値がどこから出てきたのか気になったので調べてみた。temperingの逆関数できた pic.twitter.com/rssTofDVgG— oupo (隠居中) (@_oupo_) 2014年10月22日

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

(補題:ブール関数について - Plus Le Toolから移動しました。) 初期seedから日時を求める無謀な挑戦 - Plus Le Blogのための補題。 使う記号の定義は補題:数式中で使う記号の定義 - Plus Le Blog参照。 【追記】 計算ミスを直したら、重要になるはずだっ…

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

(初期seedから日時を求める無謀な挑戦 - Plus Le Toolから移動しました。) まだ結果が出るところまでたどり着けていないので、読むだけ時間の無駄ですよ。 話が抽象的すぎるし。途中から詭弁っぽくなるし。

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

(補題:数式中で使う記号の定義 - Plus Le Toolから移動しました。) 初期seedから日時を求める無謀な挑戦 - Plus Le Blogのための補題。 SHA-1の計算過程では、32bit符号なし整数(uint型)の論理積,論理和,排他的論理和,論理否定,算術和,循環シ…