4次元のφ^4理論で半空間に局在化しても追加の「再正規化」は不要と証明 | arXiv News