Up 位の算法 作成: 0000-00-00
更新: 2011-01-06


    位の算法は,位に対する量の作用「」のただ一つです。
    位のシフト (「ずらし」) が,これのイメージになります:


    位が数 (N, +, x) に対する ( , , ((,), ×, (,,×)) ) と同型な系ということには,つぎの法則が含意されています:
( ) ( )