引き続き BPL を聞きながら GitHub Docs 読み込み。今度こそ初心に帰って Get started with GitHub documentation を読む。

ミレニアムvs藤井システム！【藤井聡太】海老フライブームを起こした！？　第5回ABEMAトーナメント　チーム藤井vsチーム渡辺　藤井九段vs近藤七段 - YouTube: 控室のおしゃべりが妙に和やかだ。序盤は余裕があるから雑談になるのだ。

1:35 Be social の手前まで読んでおく。スウィートホームを聞きながら麻雀の練習。

2:05 消灯。就寝。

7:05 起床。納豆と梅粥を食す。歯を磨く。出勤。

7:45 現場。ゴミ出しなし。でも処理はする。きのうやりかけていた館内掃除機巡りを再開。 鍵が開いている集合ポストの箱がある。なんと中身は猫の餌だ。こいつが犯人か。 大量の餌と紙皿を没収、隠匿する。清掃員は舐められたらおしまいだ。

10:10 撤収。駅へ。切符を買う 140 円。暑いからしかたがない。

京成曳舟駅～押上駅～本所吾妻橋駅。

福祉事務所。担当 A 氏に書類を提出したい。しかし出張中で不在。代わりのメンバーに託して退庁。 郵便ポストにバイトの月報を投函。駅へ。

本所吾妻橋駅～押上駅～青砥駅（間違えて特急に）～京成曳舟駅。

11:55 オーケー曳舟店。572 円。

  • ミニアンパン (4)
  • カットピザチェリーマルゲリータ
  • 豆腐 (3)
  • カットキャベツミニ
  • カットレタス
  • 玉子粥

曳舟の部屋。シャワーを浴びる。洗濯。PC を開いて軽食。 アンパンはなぜか脂質が低いので食えることにこの前気づいた。

12:50 洗濯物を干す。歯を磨く。GitHub Docs 用語集で時間を食う。

14:45 昼寝。

18:10 起床。外出。

ひきふね図書館。週刊新潮と週刊文春をチェック。

『ルベーグ積分 30 講』続き。可算個の被覆矩形の面積の和の下限を考える。 外測度の概念が本質的に主で、内側度は外測度を用いて定義する。 矩形を考えていたが、対象となる集合をまたぐ集合による「被覆」を考える。 Borel 集合体 a.k.a. σ加法族の定義と性質。

あと半藤一利先生の『日本のいちばん長い日』が星野之宣先生画で漫画化されたものを発見。 これがあるから図書館通いはやめられない。

19:45 退館。水戸街道へ。

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

  • めばちまぐろ切身
  • 銀鮭海苔弁当

曳舟の部屋。シャワーを浴びる。

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

21:55 歯を磨く。用語集の続きを確認していく。D の途中からか。

GitHub Training Manual: あとでチェックする。

23:40 排便。

Onboarding の章は終わる。