1129 日目(曇り一時雨)また昼寝し過ぎた
関数解析。今回のビデオは尺が短いので二本行ける。
- Functional Analysis - Part 26 - Open Mapping Theorem - YouTube: 言葉は聞いたことがある。
- Functional Analysis - Part 27 - Bounded Inverse Theorem and Example - YouTube: 初見の定理。
0:50 上二つのノートをとりあえず書いたが、証明がない回がポツポツあるのが気になる。
気分転換にいつも忘れる不等式の証明を見る。
Cauchy–Schwarz inequality - Wikipedia: ビデオで見たのは Proof 2 だが、ピタゴラスの定理(中学数学バージョン)を要する。 ドット積バージョンの証明は二次方程式の根の存在判定を使うので、これも中学生が理解できる。
Hölder’s inequality - Wikipedia: 実は Lebesgue 積分を知らないと証明できないのか。それを抜きにしても、見てくれはこんなに単純だったか?
手順前後だが Young’s inequality for products - Wikipedia: ギリギリで高校数学レベル。
麻雀の練習と六枚落ち挑戦。ノーミス勝利があったかもしれない。
3:05 寝る。
6:00 目が覚める。横になりながら携帯電話をいじったり瞑想したりして過ごす。
7:05 起床。納豆とレーズンロール四個を食す。歯を磨く。ゴミ袋一つ出して出勤。雨は無視。
7:45 現場。可燃ゴミ処分日。紙ゴミが特に多い。かつ四階 K 林のゴミが相変わらずめちゃくちゃ。 可燃ゴミ、ペットボトル、空き缶、電線、電池、とにかく不燃ゴミの部品が混ざっている。 さすがに時間内に終わらない。紙パックと古紙と不燃ゴミは時間があるから残す。掃除は?
10:30 撤収。
10:40 ビッグエー墨田京島店。349 円。
- ナポリタン
- 大根のミックスサラダ (2)
- 絹豆腐 (3)
曳舟の部屋。服を脱いで上半身を拭く。PC を開く。
- MAN PAGE | Inkscape: Inkscape コマンドライン正式マニュアル。
12:05 おやつ。ボリュームを控えたらさみしい。
【ゆっくり実況】#7-4 奇ゲー礼賛【ラブクエスト】 - YouTube: シナリオライターは今何をしているのだろう。
12:25 歯を磨く。FAQ | Inkscape をチェック。
【ゆっくり実況】#7-1 奇ゲー礼賛【ラブクエスト】 - YouTube: 気になったので第一回をチェックしたら、冒頭の展開にブッ飛んだ。
13:50 寝る。
19:30 起きる。携帯電話をチェック。なんにのない。外出。
20:25 コモディイイダ東向島店。537 円。
- 海苔弁当銀鮭
- レーズンロール (5)
曳舟の部屋。排便チャレンジ。入浴。
風呂から出る。PC を開く。弁当、大根、豆腐で晩飯。
【★12歴代かレーダー】天一他なんか伸びそうな★12とかレーダー関連曲とか色々頑張る回【音ゲー / beatmania IIDX / RESIDENT / DOLCE.】 - YouTube
21:50 歯を磨く。Inkscape 資料を見たり、場合によっては操作したりする。
- How to scale or rotate groups of nodes 習得
- メッシュが使いにくい
- Align 系コマンドにキーバインドが割り当てられていることを知る。 Ctrl+Alt+Num6 などでページ基準整列。
- Inset/Outset 確認。
- 点を打つには鉛筆コマンド。
23:55 排便。