昨日は日報を書き忘れた。

ちょっと遅くまで文章を書く作業をやっていたので、今日は午前～昼すぎにがっつり昼寝した。

---

空気がじめじめしてたまらないのでずっと除湿をしている。暑いというより空気が不味いという感触の時は、冷房よりも除湿を付けた方がよい。

---

昨日と今日解いた競プロの問題。

ARC139-A: ctz(x)が所定の数tとなるようなxは、$2^t \times (2n-1)$と表せる。$A_0$から順に、今使ってよい数の中で最小のものを採用して決めていけばよい。

EDPC-F: dp[i][j]=(Sの前からi文字目までとTの前からj文字目までを見たときの最長列)として遷移していけば良いが、経路復元が少し面倒だった。dpテーブルのdp[i][j]とdp[i+1][j+1]を見比べて+1している遷移だけを取り出す、もしくはdpテーブル上に「どこから来たか」を記録していく、という戦略が考えられる。後者の方が復元が$O(\min(|S|, |T|))$で済む分速いかと思ったのだが、遷移のコストが高いためか逆に遅くなった。2倍時間かかったのでそんなことある？ってなった。

---

このはカレーがまだ残っていたので昼飯に頂いた。中身は普通のおいしいカレーだった。

スパイスとかの香りよりもトマト？か何かの類のやや爽やかな香りが目立つ気がした。

---

今日は腹筋をやった。

---

体調と仕事が落ち着いてきたので、明日はちょっと真面目に頑張りたい。