ナローイング

したがって，▷は数学でいう群の性質をすべて持っている

後で書く。