data[i] = (l, r, value) (l1,r1,v1) op (l2,r2,v2) = (l1,r2,v1*v2) のようにして、モノイドに両端のインデックスを追加したものもモノイドになってくれたりします。 twitter @maspy_stars モノイド