t_wの輪郭

https://scrapbox.io/Example0911/ARC124_B_XOR_Matching_2

x1^w^x2^w^...^xn^w

xor・rotate_right・rotate_leftで、ベクトル化された微分可能な述語論理が構成できる気がするんだ……。

述語論理の述語と個体を{0,1}のベクトルであるところのビット列で表現したい。

正規表現の微分が定義できるんだから、述語論理の微分ぐらいイケるやろ。

xorが回転っぽいので、別方向の回転であるところのrotate_rightと組み合わせたら黄金の回転が生まれ出てこないだろうか。

ITエンジニアはみんなxor大好きかと思いきや、ウケが悪いな。私がxor好きすぎるだけかもしれん。10年ぐらい執着してる。