1112 日目（雨時々曇り）手詰まりだ
数学ビデオ鑑賞時間。距離空間から開集合＆閉集合、収束列との関係性。
- Functional Analysis - Part 3 - Open and closed sets - YouTube
- Functional Analysis - Part 4 - Sequences, limits and closed sets - YouTube
いい歳こいてこんな初歩から復習していてどうかと思うが、実際やってみるとどこかでひっかかる。 距離空間の部分集合内のどの収束列もその極限が部分集合内にあるならば、 その部分集合は閉集合である。このきわめて基本的な命題の証明を理解するのに、たぶん初回よりも時間がかかる。 ある命題の対偶を証明するときに、ある性質からこれこれこうだが、 しかし別の性質からはこれこれこうではない、ゆえにそれは否である、 という議論の流れの追い方を体が忘れている。
1:30 ようやく終わる。もう一本できるかと思っていたが、ダメだった。
ぴよ将棋六枚落ち。試しにヒントを使うと飛車先の歩を突こうとする。ダメだこりゃ。
PSYCHE PLANET-GTを目指して作曲してみたけど何か違う - YouTube: 鈍く遅い感じでいい。
3:40 寝る。
10:50 起床。洗濯機に働いてもらいながら、納豆とレーズンロール五個を食う。歯を磨く。
洗濯物を干して外出。雨が降っているのか。雨合羽装備。
押上駅～東日本橋駅～小川町駅。万世橋方面へ。
12:25 秋葉原 HEY 二階。雨だから空いていると思っていたが甘かった。そんなことはない。 Edy に千円突っ込んでビデオゲームに興じる。イルベロとビートマニア。際立った成果はない。
16:45 退店。小川町駅～馬喰横山駅～押上駅。
スカイツリー展望台一階トイレ。排便。
17:45 ビッグエー墨田業平店。557 円。
- 冷やしぶっかけうどん
- ミニカットキャベツ (2)
- 柿ピー
- カレーヌードル
- チョコチップメロンパン
曳舟の部屋。PC を開く。うどんを食う。
- 【悲報】堀内氏オリたつもりが大車輪を放銃してしまう【大阪天満せるじゃん】 - YouTube: 山越しなのか。同卓者の打牌の速さから相当打てる人だと思う。
- 【ファミコン】ダブルドラゴン２ 最強の神が登場します - YouTube: 効果音が派手だ。BGM はやっつけ感があるステージがある。
- 【ゆっくり実況】難易度最狂ぶっ壊れ移植 ファミコン版魔界村を救いたい - YouTube: ファミコン版のほうが難しいのか。どちらもやっていないから知らなんだ。さわらぬ神に祟りなし。
Inkscape Manual ノートも進める。
20:00 PC を閉じて外出。まずコモディイイダ東向島店。しかし弁当がない。退店。駅周辺に戻る。
20:25 まいばすけっと京成曳舟駅前店。630 円。
- 特盛ペペロンチーノ
- コロタマドッグ
- ベビーチーズプレーン (4)
曳舟の部屋。入浴。風呂から上がって PC を開く。ペペロンチーノとキャベツで晩飯。
- 【ゆっくり実況】切れ端集め最終章！ 最恐のダンジョンを突破せよ！【ウルティマⅥ】 - YouTube: 地図の切れ端アイテムアイコンをインベントリー画面で組み合わせて復元するという着想は素晴らしい。
- Lv12の自己べを20曲くらい更新する - YouTube: シャキシャキ鍵盤台再び？
21:45 歯を磨く。Filters 後半続き。UI がゴチャゴチャしているが、中身はそこまで難解ではない。 昔作成したドロップシャドウの SVG ファイルを Dropbox から読書ノートに引っ越せそうだ。
23:35 色変換まで片付ける。後半の前半をこなしたと思われるので今宵はこれにて終了。 Windows Update のアイコンがまたぞろ出現。