足し算の簡約のテストを追加.