角運動量
スピン角運動量演算子の定義.