昨日は一日作業に没頭していたので日報を欠かした。今日も似たようなもんだったが。

---

たまたま遭遇して知ることになったのだが、gccのバージョンによってはstd::filesystem::pathを使うだけでセグフォが起きるらしい。(正確に言うと、デストラクタで落ちる。)

最新のgccならば起きないようだが、8.5.0では起きた。ひどい問題だ。

---

今週の胎界主を読んだ。クリム…

大体こういう因果は回ってくるのが胎界主世界。確か淫魔やインプって「主に対するどんな些細な裏切り行為でも自我崩壊する」って話だからキッツイな。

パイモンが女衒と言われてるのは全ての淫魔を従えてるからだったのか。サタナキアが夢魔の王だったりするのと似た話か。君主階級の走りとかも説明されててなんか(どうでもいい)謎がいくつか解けたな。

悪魔の「嘘はつかない」というルール上「ベリアル大主陛下に危険が及ぶから」という言葉は疑う余地が無いんだろうが、それでも恨まれてんなあ。

---

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

競プロ典型90問

068 Paired Information: T=0のクエリによって隣接2項の関係が確定する。つながった項同士ならばどこか一つ値が確定すれば他の全ての項も確定する。確定可否はUnionFindで確認すればよい。具体的に値を求める方法は式変形をしてみれば分かる。交互に正負を変えて足していけば良い。BITに交互に正負を変えた形で値を記録していき、適当に符号のつじつまを合わせてやれば求まる。そこまで難しい問題でもないがややアドホックな考察が必要なので楽しかった。

069 Colorful Blocks 2: 左から順に決めていくと考えれば、左から1番目と2番目以外は選択肢の数はK-2通りなので繰り返し累乗で求まる。

---

C++のテンプレートで

template<class T>
class Hoge {};

class Foo : Hoge<Foo> {};

みたいなコードが合法であるというのを今更知った。そういう自己参照はOKなんか。