一般線形群に属する制限を持つ線形変換の半群 | Synapse