python で型や値のパターンマッチをする