「しなければいけない仕事」は全部明日にまわし、Harada-Sasa DLG version の証明を考える。途中、少し外出したり、うたたねしたり、、ではあるが、ゆったりした時間がとれてよかった。証明の方針は、集中講義中に考えたとうり、(Hayashi-Sasa 由来の）直交…