Peskin 『An Introduction to Quantum Field Theory』 11.2。「(11.1)のLagrangianはもちろんくりこみ条件3つで相殺するよ」→「今日は蒸し暑いから自発的に対称性が破れたよ。NG bosonとか出てきて場も2種類くらいありそうに見えるけど、破れる前に入れた相…