2021-10-16 きついなぁ 講演準備中です。 もうスライド33ページまで来たのですが、45分の講演だからそろそろ終わらないといけないでしょう。 しかしなかなか証明のポイントがうまく書けなくて、だらだらしてしまっています。 あと2ページで終わっておかないと多分話しきれないと思いますね。 どこか削るか、証明をもっと手短にするか…。