スピン1/2の粒子に対するパウリのスピン行列を用いて、スピンz成分の期待値を求めよ。