双対、ノイマン、基礎論

ビット演算を見ていたら双対にみえてきた。双対であることを利用しようと無意識に頭が回る。双対なんだけど桁数固定で上に0が詰まっているからここでは双対でないといえば双対でないんですよね。

4 := {{}, {{}}, {{}, {{}}}, {{}, {{}}, {{}, {{}}}}}
ということが非常に自然に感じられる。0 origin のほうがやっぱり自然ですね。