グリーン関数Gって、f'(x）= ∫G(x,y)f(y)dy といった使い方するらしい。プロパゲーターって、まーグリーン関数なんでしょ。たぶん。で、ファインマン・クリーネの公式（経路和）は次の形に書ける。 PropA(q←p;n) = A(n)[q←p] SMatA(q←p) = PropA(q←p;∞) = A(…

ホイヘンスの原理の局所版と大域版と中間のようなものが欲しい。次のような定式化になるはずだ。Sが状態空間で、この上に力学系Xが載っている。IとFがそれぞれ始境界、終境界とする。IとFは無共分で、襟（カラー）付きだとする。別な言い方をすると、Iの点は…