2007-12-31 連続-離散 対応 DFD ウェイトとは、有向グラフの有向辺に(非可換かもしれない)半環の値を対応させる割り当てで、ウェイト付きグラフとはすなわちリグラフ。道に関する計算を、足し算にするか掛け算にするかで加法的、乗法的と区別する。 連続 離散 dx/dt = ax Δx = ax ラグランジュ関数 対数型加法的ウェイト 経路の作用積分S 道の加法的総ウェイトS exp(S) exp(S) = 道の乗法的総ウェイト 力学の生成演算子H グラフのウェイト行列H E(H, t) = exp(Ht) K(H, n) = (1+H)n