>>700
> ファインマンはラグランジアンを使って定式化したはず。

いや、そう…だっけ？
忘れた。
まぁ、いずれにせよ最終的には Lagrangian を使って表わすんだね。
それで書いておけば、場の理論だとローレンツ変換での不変性が自明にわかる
とか言うんだけど、そこまでくるとまた演算子を使った定式化との
同値性がわからなくなるんだよなぁ。

これについては今でも香りすらわかってない。

まぁ、 QED とかなんでもいいけど摂動計算すると同じルールが出てくるから
いいと言えばいいんだけど。