変数とパターンマッチング可能