.long{ overflow-x : "scroll"; overflow-y : "hidden"; } 割り算の一意可能性 を示した。 これによって、-進法表記の一意可能性が示せて、-進法表記ができるようになった。 例題に10進法での加減乗除の計算方法を考え、それが正しいことを示せとあったが、…