次の実装のテストを追加．