今晩は Hahn–Banach 定理の主張と応用を見ていく。前回も今回も大事そうな定理なのに証明はしないのか。 そうとう難しい？

Functional Analysis - Part 25 - Hahn–Banach theorem - YouTube

応用の証明は難しくないはずなのだが、消化に時間がべらぼうにかかる。

1:40 終わり。

3:30 消灯。就寝。

9:05 起床。外出。

曳舟医院。先週の健診の結果を聞く。血液検査でダメな数字が出ている。 中性脂肪とコレステロール。体重が明らかに増加しているから、食い過ぎと運動不足が原因で間違いない。 秋頃に血液検査を受けに来ていいということなので憶えておく。 気分が沈んで退院。

部屋に戻って洗濯。携帯電話をいじって待つ。洗濯物を干す。

納豆とロールパン三個を食う。

10:35 歯を磨く。PC を開く。今日は時間があるので、あさって提出の書類を今のうちに作る。

11:55 近所のコンビニ。コピーと印刷。20 円。

家計簿も今のうちに固定費を記入する。携帯電話で銀行口座を確認。 貯金が生活保護一時停止レベルにまたぞろ膨らんでいる。仕事が決まらないのが原因のはず。

バイトの立替領収書を忘れていた。月末まで買い物がないと思うので作る。

12:15 書類終わり。さっきの検査結果が気になって暗い。

転職・求人情報サイトの type をもう一回見る。 AI 推奨求人に清掃モノが出てくるようになった。もうダメだ。

12:55 残りのロールパンを食って歯を磨く。

ホームディレクトリーのチェック。Inkscape (Windows) のユーザー設定ファイルを $HOME/.config/inkscape にコピーしてバージョン管理下に置く。 シンボリックリンクが使えれば申し分ないのだがファイルシステムをまたぐので不能。残念だ。

14:15 運動不足で健康悪化したというのに昼間から寝る。

雨が降っているし、健康回復の方策を考えられる時間になるのでいくらでも眠れる。

19:30 起きる。携帯電話をチェック。外出。雨が強いのでゴム長も装備。

20:15 コモディイイダ東向島店。791 円。

  • ざるそば
  • 千切りキャベツ
  • サラダチキンハーフ
  • 小粒納豆 (3)
  • レーズンロール (5)

曳舟の部屋。排便。入浴。

風呂から出る。PC を開く。晩飯。

21:50 歯を磨く。DDR を聞く。

【DDR】皆伝挑戦し始めた頃より結構上手くなったと思うけど今ならラクリマ越えられませんかね？？？【音ゲー / DanceDanceRevolution A3 / DOLCE.】 - YouTube

Inkscape 実践。自作パレットをやる。これはすぐに組み込まれる。 次はコマンドライン。目標はいつものテキストを PNG でエクスポートすること。

WSL でうっかり apt upgrade をやってしまう。コンソールが塞がる。

気を取り直して画像エクスポートを再開。

$ inkscape -C -o output.png /path/to/input.svg

やりたいことはこう：

$ inkscape --actions=file-new?;command1;command2;... -C -o output.png

23:40 How to open a new file from the command line with Inkscape - Ask Ubuntu に方法が書いてあるのを発見。試行錯誤することはなかった。

inkscape --actions="file-new:/path/to/template.svg;export-area-page;export-filename:output.svg;export-do"

残る目標は図形とテキストを動的に作成、編集することだ。