2009-01-10 昨日のノート に早速コメント。時間依存の関数に対して静的なものと同様に扱えないとのこと。あとMCTに落すところも問題あり、とのことで、昨日のつまらない結論からは逃れられそうである。その代わり面倒な計算が必要になる。