Real Analysis Cauchy 列の収束性、級数の基本、開集合定義を視聴。面白いかつ重要なのは Cauchy 列だ。 Cauchy 列が収束することを示すには、この数列が有界であることをまず示す。 有界列は収束部分列を含む（前回 Bolzano-Werierstrass 参照）ことに注意する。 この収束列の適当な項を用いて、元の数列の十分大きい番号と部分列極限との不等式を三角不等式に分割する。 それを評価すれば収束条件が満たされていると主張する証明だ。 若いときはこの論理がとうとう頭に入らなかったのだ。高校数学と比べると推論の深さが違う。

【落ちてはいけない】大晦日に★12ランセレエクハ年越しチャレンジする無謀な奴ら【音ゲー / beatmania IIDX CastHour / DOLCE.】 - YouTube: エクハチャレンジの後半を視聴する。

3:00 寝る。

7:05 起床。ほんとうに寒い。納豆とレーズンロール六個を食す。歯を磨く。口の中が冷たい。出勤。

7:45 現場。今日はゴミ出しはない。しかし火曜なみの可燃ゴミが新たに置かれているので処理。 相変わらず二階の I サンはまとまった量の未開封の食い物を捨てる癖が治らないのか。 寒いので体を動かす掃除をする。デッキブラシで塀をこすりまくる。

10:05 撤収。

10:20 ビッグエー墨田京島店。546 円。

  • カレーピラフ風おにぎり
  • コッペパンチョコ＆ホイップ
  • カレーヌードル
  • サラダミックス
  • ごま生姜ドレッシング
  • レーズンロール (6)

ひきふね図書館。月刊ふらんす 2023.2 号と月刊ホビージャパン 2023.3 号をチェック。 それから『ポストモダン解析学』Lagrange 未定乗数法と曲線の初歩をやる。 排便チャレンジの後退館。

イトーヨーカドー曳舟店。体温チェック。

曳舟の部屋。PC を開く。

12:00 おやつ。エクハチャレンジの続きをダラダラ観る。

12:40 歯を磨く。ImageMagick で写真をリサイズするコードを書く。 イルベロスコアを PowerToys でリサイズするのがまだ面倒なので、さらに楽にしたい。

元画像が縦長だろうが横長だろうが：

bash$ convert input.jpg -resize 854x480 output.jpg

もちろん実際には、出力ファイルの拡張子を入力と合わせるようにシェルスクリプトを書く。

のようにすればいい。しかしドキュメントによると、手許の Ubuntu に入っている ImageMagick が旧バージョンらしい。

いつの間にか寝床で就寝。

19:20 目覚める。携帯電話をいじる。ラジルギ新作の声優決定の速報あり。 ナレーション役があるのが興味深い。マイルシューでナレーションは想像しにくい。

しばらくして毛布から出る。外出。

20:10 コモディイイダ東向島店。463 円。

  • 明太ポテトドーナツ
  • チキン＆唐揚げ弁当
  • おにぎりたらこ

曳舟の部屋。入浴。なんか肉体が温まり切らない。とにかく風呂から出る。

PC を開く。ドーナツと弁当をメインに晩飯。

【BPL S2 SDVX】レギュラーステージ（インターリーグ戦）第3試合・第4試合 - YouTube: きのうチェックしそびれたゲームを視聴。

さらにメシを食いながら ImageMagick 7 をインストールだ。 次の資料を参考にしてバイナリーをファイルシステムに設置する：

22:00 歯を磨く。さっきのコードを ImageMagick 7 に書き直したい。

bash$ magick input.jpg -resize 854x480 output.jpg

タイムスタンプをいじりたくないと思っていたので、ついでに調査。 コマンド mogrify が有用かつオプション -define preserve-timestamp=true を採用すればいいようだ：

bash$ magick mogrify -resize 854x480 -define preserve-timestamp=true portrait.jpg

こうなると関数を書くまでもないかもしれない。alias で十分かも。

22:55 コードとテストが終わる。来週の週末からこれを利用したい。

【段位認定】八段受けようと思います！先週の俺よりは上手いはず【音ゲー / DanceDanceRevolution A3 / DOLCE.】 - YouTube にチャンネルを変える。九段をクリアして脳内が酸欠になっているようだ。 アピナ S 武蔵小山店は二階で火事があったと聞いているが、DOLCE プロによると番組放送どころの話ではなくなっているほどの惨状？

PowerToys の設定画面が開かない不具合が気になっているので調べる。そしてハマる。 タスクバーが死ぬ。