あ、進数変換だ （私がmkIIで作った圧縮と同じ方法）