共通部分と直積 - 初版