1/8（水）
const createFakeFuga = (num: number) => ({ a: num, c: "hoge" });
const func = (array: number[]): { a: number }[] => array.map(createFakeFuga);
{ a: number } 型に { a: 1, c: "hoge" } を入れても怒られない。ただしリテラルで代入したときだけは怒られる。詳しくは仕様を読もう。
全員集合
1/8（水）
今日は基本的に姿を表さない第4の男が久々に出現した。そんな日もある。
ああ、会社員に戻ると書くことがない。ランチは唐揚げ定食。夕食は鍋。米の量を半分にしたらちょうどよかった。
温度管理サーバーが形になったので次は何を作ろうかと考えている。何がいい？
2020仕事初め
1/6（月）
ぬるりと会社員に戻った。まだ休んでいる人が多く自分自身も会社もリハビリ中という感じだ。
冬だし鍋でもやるかと思って材料を買って帰った。鶏肉と白菜、そして鍋キューブ（水に溶かすと味がつくやつ）。ご飯も炊いたら多すぎた。
なんとなく気分だったので掃除をした。同僚がうるさく「床に散乱した野菜を片付けろ」というのでついに片付けた。床に野菜が散乱しているくらいなんだというんだ。
保護中: エヴァンズDDD: 第9章 暗黙的な概念を明示的にする
保護中: エヴァンズDDD: 第8章 ブレイクスルー
生姜湯と化したちゃお/LinuxでDetroit: Become Humanできそう
1/5（日）
ランチに少し歩いたところの家系ラーメンに。味が濃く、魚介の風味もあった。ライスはおかわりはできないので最初に大森で頼むべきだった。銭湯はしょうが湯。早い時間に行ったので混んでいてあまりゆっくりできなかった。
今日が正月休暇の最終日だ。今年は帰省もせず、のんびりとしていた。悪くはなかったが退屈でもあったので、同じ退屈なら帰省してもよかったかもしれない。
法律上今年度中にあと2日休暇を取らねばならない。それとは別に繰り越せない休暇も2日ある。適当な祝日に合わせてどこかでまた9連休を生成することになりそうだ。
LinuxでWindows向けのゲームをやりたいときはLutrisというソフトを使う。Lutrisがなんであるかというのを説明するのは難しいのだが（公式にはgaming platformを名乗っている）、ゲームごとにどのバージョンのwineをどんな設定で使うかというのを管理できるソフトだ。
Detroit: Become HumanのPC版が12月に出ていたらしい。ぜひプレイすべきと勧められていたのと、新年で安くなっていたので購入し、Lutrisでのプレイを試みた。ダイアログに求められるまま依存パッケージをインストールし、d9vkをセットアップした。その結果起動には成功した。FPSも良好だ。しかしWASD移動ができない。キー入力が死んでいるわけではないのだが、ゲーム中に移動だけができない。不思議だ。しかしもう一歩だ。
絵を描いたり
1/4（土）
久々に絵を描いていた。ニコ動見たり、ちょっとしたChrome拡張を書いたり。chibat氏のchrome-extension-typescript-starterがとても勉強になるサンプルだった（jQueryはなくしていきたいが）。
axios.getの型
1/3（金）
自宅の気温や湿度を表示するwebアプリをいろいろとリファクタリングしていた。APIを叩いたレスポンスには型の保証がないが、 axios.get にジェネリクスを与えておけばその型が来たという想定で書くことができていい感じだった。このコードで渡すジェネリクスを更に外から与えられるT型にしているのは、インフラ層でドメイン層で定義した型を使ってはいけないから（ホンマか？）。
moment.jsはめちゃ便利。JavaScriptの組み込みのURLオブジェクトはパスの結合が便利にできるかと思いきやそうでもない。ホストとパスの結合だけ。