YouTube で古のビデオゲームを見ていく。

2:10 消灯。就寝。

7:05 起床。納豆とネギチャーハンを食う。朝食うには量が多いかもしれない。 歯を磨く。出勤。

7:45 現場。資源ゴミを表に出す。きのうやり残した安田ゴミの処分続き。 空き瓶とか空き缶に煙草の吸殻を捨てる癖があるのはこいつだ。 管理会社に密告して、共益費を数倍課すなどの罰を与えた後に当館から放逐したい。

あとは掃除機を使う。急に暑い。

10:05 撤収。

10:20 ビッグエー墨田京島店。203 円。

  • カレーピラフ風おにぎり
  • コッペパンいちごジャム
  • シーフードヌードル

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

曳舟の部屋。水浴び。洗濯。PC を開いて待つ。Twitter を眺めるだけで時間が経つから便利だ。

11:35 洗濯物を干す。今日はフリーウェア利用ノートを仕上げよう。 Windows のプログラム一覧に管理されないソフトを手作業で調べるか。

ゲームを除外することを明記する必要がある。実例を挙げるとまったり麻雀、ウディター、ダンマスだ。

マイドキュメントの近くにあるフォルダー boost_1_74_0 を不要につき削除する。 CD-ROM 一枚分くらいの容量が解放されると OS は言っているが、事実ならばありがたい。

11:55 OS の目に届かないインストールが意外にない。フリーソフトの管理は今まで見たぶんで煮詰まっているのか。

12:00 おやつ。

出勤前に少しだけ冥やる - YouTube: 冥が上級者の間では流行しているのだろうか。

12:30 歯を磨く。

PowerToys 調査。

13:20 上記文書を読み終わる。部分アプリケーションが多くて時間がかかるものだ。 インストールして実際に使わないと利便性が評価できないところがある。

14:10 昼寝。

17:10 起床。外出。

ひきふね図書館。三階と四階を往復する。

読みそびれていた週刊文春をチェック。 阿川佐和子先生連載の新日本プロレス棚橋弘至プロへのインタビューが今号でもっとも面白い。 短期間で成果を出すことができる人物という印象が強く残る。プロレスを知らない人でも一目置くほうがいいだろう。

『私のマルクス』第三章。著者が人生で三度邂逅したというマルクス。その一度目の経験が綴られている。 高校一年の夏休み、ハンガリーのバラトン湖畔のディスコで、マルクスの肖像画を目撃したという。 そのときよりも、むしろその後の人生で緊張した瞬間や不意に、その図像が脳裡をなぜかよぎるという。

『ポストモダン解析学』の第 0 章を再チェック。 個人的によく忘れる極限値の積の公式と、無限級数の絶対収束性に関する商判定法の正当性それぞれの証明を検討する。 前者は収束列の有界性を用いてよいことを、意識的に記憶する。

後者は次の記述が省かれていることになかなか気づかなかった：

\[\begin{aligned} \left\lvert\frac{y_{n_0 + 1}}{y_{n_0}}\right\rvert \left\lvert\frac{y_{n_0 + 2}}{y_{n_0 + 1}}\right\rvert \cdots \left\lvert\frac{y_{\nu}}{y_{\nu - 1}}\right\rvert &\le q \cdot q \cdot \cdots \cdot q = q^{\nu - n_0}.\\ \therefore \left\lvert\frac{y_\nu}{y_{n_0}}\right\rvert &\le q^{\nu - n_0}.\\ \therefore \lvert y_{\nu}\rvert &\le \lvert y_{n_0}\rvert q^{\nu - n_0}. \end{aligned}\]

最後の不等式しか書かれていないのだ。

19:45 排便チャレンジののち退館。水戸街道へ。

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

  • おにぎり明太子
  • 赤飯おにぎり
  • 鶏と野菜の黒酢和え弁当
  • ホットケーキハチミツ＆マーガリン

曳舟の部屋。シャワーを浴びる。だいぶ涼しい。

風呂を出て PC を開く。晩飯。 最近、買い置きのチョコレートの存在を忘れて甘味を買うことが横行している。 食い物の備蓄状況の記憶が覚束なくなっているようでは、もう先はない。

Twitter のタイムライン上に未読投稿がたまっているので目を通す。

21:40 歯を磨く。今晩の研究は PowerToys の評価をしたい。

21:50 PowerToys を winget でインストールすると、失敗終了とコンソールには表示される。 OS を再起動しろとあるが、デスクトップ画面にはメインウィンドウが表示されている。 このまま試す。

よく見たら更新確認ボタンがあるので押す。すると最新版があるという。 これで winget のリポジトリーにあるインストーラーは、実は最新とは限らないないことが判明した。

改めて PowerToys をいじる。だいたい理解したのでフリーソフトノートを片付ける。 GitHub にノートをプッシュ。

22:40 トイレから戻ってリモートビルドを確認。もう GitHub Actions なしの世界には戻れない。

BPL を放送開始時刻まで巻き戻して前半を視聴する。PowerToys の部分ソフトを見ていこう。

Always on Top は WinKey + Ctrl + T でウィンドウの z-index を最上位にしたりしなかったりする機能だけを提供する。これは単純で問題ない。 設定項目も自然。

Awake は PC の電源管理に関係するので、理解するまで機能を無効にしておく。 ちなみに PowerToys を知ったのはこの機能を紹介する記事を何かで読んだからだ。

Color Picker は Photoshop のスポイトツールを単体に切り出した機能だ。 WinKey + Shift + C で活性化する。色を見たいだけなので、設定を簡略化しておく。

FancyZones はデスクトップの子ウィンドウのレイアウト管理機能か。これはまだ世話にならなそうだ。

File Explorer add-ons はエクスプローラーのプレビュー表示を拡張する。 Markdown ファイル、SVG ファイルのプレビューができるようになるのはありがたい。 プログラミングソースコードのプレビューとは？ とりあえず pretty-print オプションと思しきものをオンにする。 珍しいところでは STL ファイルのプレビューをサポートしている。 立体的な形状をどう描画するのか興味があるが、今はあいにく手許に STL ファイルがない。

Image Resizer は別のツールを利用するから無効化しておく。

Keyboard Manager は類似ツールが過去に多数あったので内容はわかる。 私の好きな Ctrl-CapsLock 入れ替えはもちろん、 Esc-半/全 入れ替えもこれで賄えそうだ。 手を汚して変なレジストリー編集をせずに済むということか。

Mouse Utility はマウスポインター周りの機能を強化する。次を実現する：

  • マウスカーソルにスポットライトを当てる。マウスを強く往復させるとそうなるようにする。
  • WinKey + Shift + H でマウスクリックをハイライト。左ボタンと右ボタンで色を区別できる。
  • Winkey + Alt + P でマウスカーソルにクロスヘアがつく。

PowerRename は複数のファイルを一括して名前変更する機能だ。 WSL コンソールからコマンド rename で事足りるが、エクスプローラーから同じことをするのも乙か？

PowerToys Run は Alt + Space でコマンド欄を開き、いい感じに何かを実行する。

Quick Accent はアクセント記号混じりのアルファベットをタイプする補助ツールだろう。

Screen Ruler はウィンドウ上の四角っぽい図形の寸法をツールチップ的に表示する。 WinKey + Shift + M で発動。

Shortcut Guide はショートカットキー一覧を表示する。 WinKey + Shift + / で発動。

まだ残りがあるが、今日の時間が残っていない。