密度汎関数理論における交換相関ポテンシャルの不連続性 | Synapse