基礎数学の護義から_半群とその表現