オブシコ用語って掛け算順序界隈の主張する「等分除と包含除」とかの仲間だよね