２１：４０分。あと一つ（推定１時間の）仕事が残っているけれど、休憩。日曜日の「長さ」のアイデアは使えないようだ。来月にもう一度チャレンジしよう。合間に有限サイズスケーリングを考える。k-core のときの諸々を思い出してきた。事態は大変複雑で、長…