半導体における自己エネルギー演算子と交換相関ポテンシャル | Synapse