t_wの輪郭

Feedlyでフォローするボタン

あれ

2024/6/10 23:25:00

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

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

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