>>98
>広い意味での代数
を定義して