物理屋のゲージ理論なんて数学系には意味不明だよ