>>654でまずい理由でもあるの?
>>658-659はΣでもなんでもなく、+の再定義でしかない