朝、（ゆっくり）緩和系のFDR violation の表現を計算する。はじめて試みた２月上旬はさっぱりだせなかったのだから、たいした進歩だ。（といっても、だせることを確信した８月下旬に一度失敗し、昨夜も混乱した。）形式的な表現では、Harada-Sasa のような…