Lorentz transformation
スピノル変換により、次の（ローレンツ変換を表わす）行列に対応づけられる。