Ax 2つのニョロニョロを仮定 Def 残り2つのニョロニョロを定義 Th 4つのニョロニョロのうち、2つを仮定すれば残り2つは出る Ax 4つののベントジャンクションのうち、2つを仮定すれば残りは出る Def 4つのジャンクションを使って、4つのベントコンビネータ (-…

空間に順方向があって、ワイヤーの進行方向が決まっているとする。 ワイヤーに戻り点（折り返し特異点）がなくて曲がっているときはグニグニ。 ワイヤーに戻り点がある曲がりはニョロニョロ。 戻り点は、微分ベクトル（速度ベクトル）の進行方向に対する成分…

動詞的（名詞もかねる） flip toggle swap change interchange exchange switch permutate （permutation） commute transpose （そのままでも名詞、他にtransposition） twist 名詞 symmetry parity polarity sign charge flag （up, down） cross crossing…