0:10 SOPHIE Naked Massacre Version レベル上げ大詰め。

0:55 経験値 14 万ほど稼ぐ。セーブ。排便チャレンジ。

1:05 腸の中身がどこかへ消える。経験値稼ぎを続ける。

ここでゴールデンアクス稼ぎを解禁。以前地獄の伯爵令嬢の逆襲でやったようにする。 この斧を装備すると戦闘終了後の獲得経験値が一割増しになる。 今まではロズモンドだけに装備させていたが、クロエとビビアンの武器をザコによっていちいち換装するのが面倒ということもあり、 三人全員にゴールデンアクスを装備させる。武力はかなり落ちるものの、経験値 33.1 パーアップは大きい。

2:10 経験値稼ぎ残り 43000 から 49000 まで。今日は終わる。

3:05 麻雀の練習をして寝る。

6:30 覚醒。携帯電話で天気予報やニュースをチェック。

7:05 起床。納豆とおにぎりを食う。歯を磨く。今度こそゴミ袋を出す。出勤。

7:45 現場。可燃ゴミを出す。あとは手なりで館内雑巾がけ。

10:05 撤収。掃除道具を少々拝借する。次の出勤時に返却する。

10:15 ビッグエー墨田京島店。308 円。

  • カレーピラフ風おにぎり
  • コッペパンブルーベリー
  • カレーヌードル
  • 柿ピー

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

曳舟の部屋。今度はここを清掃開始。先に戸外をやる。今日は暑いか。

床がふにゃふにゃしていて掃き出しにくい。扉と壁を洗剤で雑巾がけ。 驚くほど黄ばみが落ちる。まんべんなく落ちて欲しいものだ。

次は屋内。エセフローリングの抜け毛やほこりを自前のミニほうきで掃く。 ガムテープと全然使っていないワイパーシートを投入。 そんなことより、物を片付けるのが難しい。収納空間がない。風呂場に詰め込む。

11:50 面倒なので掃除をやめる。ドカジャンと、一日予定より早いが制服を洗濯。 PC を開く。

12:00 おやつ。柿ピーはいつか食う。

12:30 洗濯物を干す。歯を磨く。PC に戻る。VS Code コンソール調査を来客まで。

14:00 定刻に福祉事務所 Y 氏来訪。玄関先で話し込む。夏のように暑い。 私の仕事探しがもたついているのを責められるかと思っていたが、そういう雲行きにはならずに済む。 他の受給者の訪問タスクが残っているということで、早々に引き取られる。ご足労さま。

昼寝まで VS Code 調査。キリのいいところまで。

15:15 寝るか。

19:00 起床。外出。

ひきふね図書館。まず『ポストモダン解析学』の続きを読む。Banach 空間。 並の解析の教科書ならこのタイミングでこれが来ることはない。面白い。

  • 定理 4.1 は不動点定理の実数版。
    • 最初の不等式は $n \gt m \ge 1$ で成り立つことに注意する。 $\varepsilon-N$ 論法よりも強いので、この不等式から Cauchy 列だと主張できる。
    • 閉区間の収束列は極限を閉区間上に有する。これも公理扱いということでいい？
    • Lipsitz 連続は連続であることを無断で使っているが、演習問題（であるはず）を見逃したかもしれない。
    • 極限の一意性は値 $\theta$ の性質を必要とする。
  • 系 4.2 は導関数の絶対値が 1 で押さえられれば、不動点がただ一つあると主張している。 平均値の定理と直前の定理からただちに出る。
  • 定義 4.3 はノルム、ノルム空間、ベクトル列の収束性。
    • Euclid ノルムは特に重要であるので、記号の添字などを略記する。
  • 定義 4.4 距離、距離空間。
  • 定義 4.5 ノルム空間の Cauchy 列。
  • 定義 4.6 Banach 空間、閉集合。
    • Banach 空間とはノルム空間であって、任意の Cauchy 列がその極限を空間内にあるものを言う。
    • Banach 空間の部分集合が閉集合であるとは、Cauchy 列の極限がその部分集合にあるものを言う。
  • 定理 4.7 Banach 不動点定理。証明の論理的構造は定理 4.1 のものと同じ。
  • 定義 4.8 距離空間における Cauchy 列、完備性。
    • 定理 4.7 は完備距離空間で成立する。証明は同様。

ここまでザッと読んだ読者は、ノルムの absolute homogeneity を不要とするような Banach 空間の性質は距離空間でも成り立つのでは思うだろう。

雑誌コーナーへ移動。月刊 Hanada 2022.12 号、アエラ、月刊ふらんす 2022.11 号、 週刊ファミ通、月刊ホビージャパン 2022.12 号をそれぞれつまみ読み。

19:55 退館。水戸街道へ移動。

20:25 コモディイイダ東向島店。549 円。

  • とろ鯖アジフライ弁当
  • 千切りキャベツ
  • タルタルフィッシュバーガー

曳舟の部屋。排便チャレンジ。入浴。風呂から出て PC を開いて弁当とキャベツの晩飯。

DOLCE プロの生放送 #184 - YouTube を BGM にする。 食いながらさっき図書館でとったノートを読み返す。上に要約する。

22:25 歯を磨く。

SQLite PHP: Write, Read, and Update BLOB Data から SQLite 学習を再開。

データベースに PDF や PNG の生データを追加し、それから取得して表示するのに失敗する。 入力と出力のどちらを誤っているのかを判断するのが難しい。今日は諦めて明日に回す。