PC を再起動してドラクエを再開する。まっさらな状況で走らせるから軽快になることを期待していると、むしろいつもより重い。途中でたまらず再起動し直す。

ドラクエ 11 進行記録：裏ボス

種狩りモードからボス戦モードに装備を切り替える。 前回倒したときに得た怪しい砂時計を使って裏ボスを復元。 今晩は三回は戦いたい。

裏ボスを倒すたびにスキルのたねを二個落とすことを確認。もう不要だが。 最小手数と前回撃破時の手数は砂時計で確認可能。 著しく小さい手数で勝利すると、関連称号が得られると考えられる。 とりあえず 97 手で緑称号をゲッツしたが、まだ上級の称号があるかもしれない。

マルティナの装備が初回撃破後に超強力になったので、彼女を主軸に戦略を練るのが自然だ。 稼いだちからのたねを全部注ぎ込む価値がある。主人公やグレイグに分配する計画でいたが当分やめる。

2:20 消灯。就寝。妙に暖かい。

7:05 起床。納豆、梅粥、バナナ。歯を磨く。出勤。

7:40 現場。ゴミ出しがない日。いつものようにゴミを処理していると、館内工事の作業員やら管理会社の Y 副参与やらがぞくぞく訪れて私の作業の歯車がずれる。ただ、副参与が私に困ったことがないかを問うので、I 倉のゴミが迷惑な旨を伝えることができたのは良かった。

強風につき清掃が進まない。ついでに管理人室も塞がれたから洗い物も全部停滞。

10:25 撤収。

10:35 ビッグエー墨田京島店。781 円。

  • 和風そば (150)(2)
  • オニオンとレタスのミックスサラダ
  • 大根と水菜のミックスサラダ
  • バナナ (3)
  • 絹豆腐 (3)
  • 梅粥
  • 濃縮めんつゆ

曳舟の部屋。PC を開く。

Generics ParamSpec から再開。難しいから習得はできない。

12:00 豆腐、カットサラダ、そば、バナナ二本、柿ピー少々。

12:55 歯を磨く。

14:40 昼寝。

18:20 起床。寒くなってきたか。

Generics Self 直前のコード片で Invalid と言っている式のいくつかを mypy が素通しする。

19:50 外出。

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

  • お好み焼き豚玉
  • テリタマバーガー
  • カステラ黒糖

曳舟の部屋。入浴。

風呂から出る。PC を開く。豆腐、カットサラダ、お好み焼き、テリタマバーガー、きのうのメロンパン。

21:55 歯を磨く。

Generics Self から再開。次の Variance Inference 節のアルゴリズム解説は知っておくと共変、反変の意味を説明する機会があれば便利そうだ。

Type qualifiers Annotated のコード例が試せない。