相対論的スピン-1/2粒子に対する半古典時間発展とトレース公式 | Synapse