半局所関数におけるパウリ運動エネルギー密度の重要性 | Synapse