H82 = 82文字ひらがな集合 H48 = 48文字ひらがな集合 H82 = 82文字反ひらがな集合 K48 = 48文字カタカナ集合 部分圏： Shiri[H48] は、Shiri[H82] の部分圏 H82の任意の部分集合X をとると、充満部分圏ができる。 長さ２以下の文字列だけを射とする圏が部分…