朝からあれこれいじっていて、Langevin での直交条件やHarada-Sasaが暗算ででるレベルになってしまった。昨年の論文のFRE 形式や水曜日のMSR 形式の証明は冗長だった。（勘違いでなければ。）つまり、どうしようもなくつまらない話の可能性もあるなぁ。。。…