081001

• 九後『ゲージ場の量子論』
  • 昨日やった計算はほんとは計算しなくてもでるから摂動使わなくてもいいよとかいう話で、最終的には反対角計量による非物理的状態は零ノルムでしか出てこないよというのを具体的に確かめた後、一般のS行列のユニタリ性の証明途中まで。あとは半正定値性の証明をBRS電荷使って、前に非物理的状態が観測されないことを示した手順を一般的にやったり云々なのかな。

朝9時に寝て16時に起きる生活してる人間が明日から学校なんて行けるわけがないじゃん。