フェルミオン系における強い相関の記述のためのジョーダン–ウィグナー変換 | Synapse