パターンマッチによる抽象化