まだまだ途中だけれど、とりあえず公開。 随時追記していきます。 ternary.lhs > bt x = tail.fromJust.find ((0==).head) $ iterate (\(x:ts) -> div (x + 1) 3 : mod (x + 1) 3 - 1 : ts) [x] 掛け算 0 を掛けると 0 になり、符号の異なる trit を掛け合わ…