こんな計算はパウリ行列とクロネッカー積の性質に習熟していたら見た瞬間にわかるもの