今日も質の悪い睡眠、静養、必要最小限の買い物だけで終わり。咽頭痛・鼻水はかなり改善したが熱と頭痛が残っており明日から働けるかはだいぶ怪しい。制度上休みは取れるにしてもミーティングに出られないとか作業が遅れるとか、いろいろ簡単ではないよな。
タイトル、これ以外に付けようがない。
20250210 消極的chill
今日も夜はよく眠れず、朝から昼にかけて散発的に寝て起きてを繰り返していた。風邪は続いていて、咽頭痛・鼻水・37.5度。もしかしたらコロナかもしれないけど、そうだとしてなんだというのか。4連休でちょうどこうなるのは運がいいのか悪いのか。
起きてる時間はワールドトリガー28を読んだりRimWorldの拠点構造を考えたりたいじのロケットリーグ動画を見たりして過ごした（要は普通にchill…して過ごしていただけなんだけど、他に何もできないせいでこうなるのは全然楽しくなくてすごい）。
20250209 連鎖
試しに睡眠薬を減らしてみたらド派手に入眠失敗し、飲み直して午前9時から12時まで寝た。昨日からあった咽頭痛がこれで悪化し、明らかに風邪。症状は鼻水と咽頭痛だけだが、その勢いはもはや人間鼻水製造機だ。まあ風邪は仕方ない。
よく寝たいが、そもそも今日ほとんど体を動かしていないので無理そうだ…
20250208 validation
10時頃起床。のんびり個人開発とDota2をして過ごし、夕方に薬をもらいに病院に行った。生活がそこそこ安定しているので睡眠薬を減らすことにした。
その後少し散歩した。中古のPS2が欲しくてありそうな店を少し回ってみたが、あってPS4だった。そりゃそうか。いつも特に関心を持つこともなかった服屋に入ってみたら中が意外と広くて、道から見ると間に数件の別の建物を挟んでもう1つ入口があった、というか別の店だと思っていた2軒が実はつながっていたことを知った。不思議なこともあるものだなあと思いながら建物の全貌を知りたくで側面に回ったら参政党のポスターが貼ってあってうおｗとなった。
道道道道道
道■□□■
道■■■■道から見えるものと実際の建物の構造が全然違うのってロマンあるよね。そもそも建物自体が外観と内装を分離する性質を持っていて、外から見るとただのマンションに見えるけど実は中は超巨大な1部屋かもしれないと考えることがある（大昔にブログに書いた気がしたが見つからなかった）。
それにしても寒い。僕も子供の頃は冬でも薄着だったが今薄着の子供を見ると暖かくしろ〜〜〜！！と思う。寒さか乾燥かにやられてずっと喉が痛い。参った。
帰宅してからは個人開発を再開。Dota2は負けてばっかりなのでまた引退します。バックエンド側でPOSTされるpayloadをvalidationする処理を何度も何度も書いていて、これもうちょっと統一的かつエレガントにならんか…？ということでこの辺を読んでいた
- https://dev.to/gcanti/getting-started-with-fp-ts-either-vs-validation-5eja
- https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
どうしてvalidation書くのにApplicativeとか半群のことわからなきゃいけないんですか（現場猫顔）。でも型の力を徹底的に活かそうとしていくとそうなるんだよな。暗号の勉強でもガチ数学が迫ってきているし、自分の力がそういう領域に到達しつつあるということは喜ばしいなと思う。
伸びる芽の数がとても少なくなっている。遅れて他も伸びるかな…？
20250207 厳冬？
7:45起床。散歩（チワ・柴・プードル・黒柴・黒柴）、朝食、ノー体操、労働（中）、ジム（強・55.2kg）、買い物、夕食、勉強会、歯磨き、Dota2（勝）、今。
今朝の散歩は収穫大。犬の尻を眺めて癒やされながら歩きたいなあなんて思うけど、犬の散歩はよく停止するので結局追い抜いてしまう。散歩というのは不思議な時間で、周囲の感覚情報に集中しているときもあれば、全く関係ない考え事をしているときもあるんだけど、どちらにせよ歩くことは考えていない。何をしている途中でもないのだ。
ジムでは最近インターバルを伸ばしながら回数も増やしている。その結果かわからないが、ちょっと上腕が太くなった気がする。でも上腕じゃなくて胸筋に効かせたいんだけど…。クロストレーナーを漕ぎながら『メダリスト』を見ていた。面白いんだけど、肝心のフィギュアスケートの場面で競技の性質上予定の技が成功する失敗する、予定外の技をやるやらないくらいでしかドラマを作れないのが難しいよなあと思っている。
暖房をつけているのに寒さが入り込んでくるなんて今日は一年で一番寒い時期なんだなあなんて思っていたら、ブレーカーが落ちたときに暖房が切れたままになっていただけでした（加湿器とレンジの同時使用で落ちた）。チクショー！！（構文成立）。
昨日のパリパリ餃子とデカ唐揚げで損傷した歯茎が痛い。野蛮なハンバーガーを食べたい。
20250206 文脈の無い時間
9時頃起床。ノー散歩、ノー体操、朝食、労働（並）、昼食（中華）、ジム（軽）、夕食、勉強会、歯磨き、個人開発、今。
乱れた生活を戻そうとしている。昼は餃子が食べたかったので外に出た。街中華が無期限営業休止になっておりがっくり。別のちょいオシャレ中華でそんなに美味しくない餃子を食べた。
ジムは有酸素のみ。着替えるときに派手に静電気を食らって、なんで静電気発電はないんだろうと考えていた。55.5kg。
1日のノルマをこなすともう15分しか活動可能時間がなく、大急ぎで日記と個人開発をやっている。
文脈の無い時間というものを考えている。子供の頃はあったが大人になるとなくなるものだ。今何をしているという文脈がなく、ただ自分の意識と周囲の環境に集中するような時間のあり方。時間の進み方が遅い。学校を休んだ日の午前11時の知らないテレビ番組みたいなやつ。
また芽が出始めている。
20250205 数学のセンス
7:30頃起床。とても起床感が悪かったので再度寝て10時頃起床。ノー散歩、ノー朝食、ノー体操、労働（上）、昼食（nosh）、夕食（nosh）、買い物、勉強会、ジム（強）、歯磨き、料理、掃除、ゴミ捨て、今。
勉強会ではDH鍵共有をやった。冪乗の結合法則とmodの分配法則を使って、公開の場で共有した4つの値から秘密の共通鍵を作れるらしい。式変形は一応walk throughしたが、全然感覚として理解できない。数学ができる人というのは高度な式変形も感覚として理解できるのだろうか。それとも感覚的な理解などなくても記憶できその上に理解を積み上げられる？
ジムが勉強会の後になったので時間が足りなかった。一通り筋トレしただけで有酸素もストレッチも省略。体重が55.5kgで珍しく増加しているが、今日に限っては夕食後だったからかな。
帰宅し、明日の朝食用にブロッコリーを茹でた（レンジ）。
インターネットの回線料金が、U30が終わって結構高くなってしまっている😭 。ネットの乗り換えの勧誘は頻繁に来るのだが、この部屋は配管に問題があり、変更先が無いかもしれないなあ。
そう言えば鼻うがいは1日1回やっているが、結構持続的な効果を感じる。
20250203 頭寒足熱
7:30頃起床。散歩（B）、朝食、体操、労働（並）、ジム（強）、料理、夕食、勉強会、歯磨き、今（頭痛）。
ジム
最近の課題はマンネリ打破。今日はインターバルを1分から2分に伸ばしてみた。各セットで上げられる回数は目に見えて増えるので、筋肉への負荷も増加してちゃんと効く…と思ったけどあまり違いを感じない。そして回転が悪い。
風呂上がりの体重測定で55.2kgが出た。基本的に54.3~54.8辺りで変動しているので、55kgを超えているのは珍しい。引き出物のカステラの力だろうか。
料理
今回は豆苗（3）を使ってまたもやし豆苗。今回の豆苗はなんか細く、香りもあまりない。
スリッパの威力
昨日からスリッパを履いて生活している。スリッパを履いてはじめて意識したのだが、実は床は冷たい。靴下を履いていても暖房が効いていてもカーペットを敷いてあっても冷たい。これまでそのせいで無意識に足を床から離したくて、それで椅子の上にあぐらをかいて、椅子の機能を発揮できず、姿勢が悪くなり、首も痛くなるという現象が起きていた。
考えてみれば体の部位で足だけが常に床に接している。頭寒足熱という言葉があるにもかかわらず足の保温を意識していなかったのは間違いだった。
20250202 ここに僕が居てあなたが居る
金曜はジム（強）。
土曜は政治の研究をしている友人が学生をやり続けるという目的（？）で渡米する予定らしく、会って近況を聞いてきた。けどいつも通り泥酔していて流暢に意味不明なことを喋り続けており、あまりよくわからなかった。
今日は特に予定なし。買い物、ジム（風呂のみ）、豆まき、RimWorld、歯磨き、ゴミ出し、今。
買い物
鼻うがい液・スリッパ・カードファイル・もやしを買った。もやしは豆苗（シーズン3）を収穫して合わせて食べるためのものだ。
鼻うがい液
特に理由のない鼻のかゆみに襲われることがよくある。たぶんハウスダストなのだが、頻繁な清掃・洗濯に加えて鼻うがいというやつもやってみたくて（ビッグバンセオリーでエイミーがやってたので）、買ってみた。
専用の液は鼻に入れてもツーンとしない。塩分濃度が調整されているかららしい。効果のほどは…よくわからない。確かに鼻は通ってスッキリしているような気もする。続報を待て。
スリッパ
前提としてスリッパ文化のある家で育てられていないし、これまでスリッパ文化を導入したこともなかった。
冬は寒く、特にキッチンにはカーペットを敷いていないので裸足で歩くのは少し嫌だ。しかし、だからといって室内で常時靴下を履いていると、特に暖房・加湿機を効かせている居室ではだんだん蒸れてくる。この辺りの絶妙なうまくいかなさをスリッパで解決できないか試している。デスクで仕事をしているときはスリッパから足を出し入れして温度を調節できるし、キッチンに麦茶を温めに行くときはすぐに履ける。
しかしまあ、生の足の裏感覚はやはり失われる。スリッパをつっかけて歩くのは少しイライラする。
カードファイル
いろいろなポイントカードや診察券等が溜まって財布を圧迫し、財布に入らない分はそこらにほっぽり出してあって管理が甘い状態だったのでカードを収納できる本型のファイルを買った。一通り収納しつつ、もう要らないものは棚卸しして捨てる。機密性の高いものは細長く裁断し、奇数番目の切れ端は今日、偶数番目は次回捨てる。
豆まき
今年は突然やりたくなった。独身男性が集合住宅で大声を出しても怖がられない貴重な機会だ。ただ豆を買ってくるのを忘れたので、手元にあったミックスナッツを適当にベランダに投擲しながら「ここに僕が居てあなたが居る〜♪」と叫んだ。けどやっぱりマックス声は出せなくて65くらいだった。
RimWorld
最近はmermaidでなんでも図にすることにハマっており、こんなのを作っていた。
まあどれだけ綿密に計画を立てても想定外のイベントでめちゃくちゃにされるのが楽しいゲームなのだが。
20250130 新しい
7:30頃起床。散歩（新コース）、朝食、体操、労働（猛）、昼食（定食屋）、御徒町、夕食、歯磨き、今。
今朝の散歩は新しいコースにしてみた。住宅や個人商店が多いエリアで、7時台はみんな出勤・開店準備をしていて、朝らしい光景だな〜と思った。
昼食は近所に新しくできた上品系ラーメン屋（麺が平行なタイプ）…にしようと思ったのだが、かなり並んでいたのでやめて、まだ行ったことのない定食屋にした。昨今の物価からすると中程度の価格帯で、肉肉しく量も多く、満足度は高かった。おそらく数ヶ月前にできた店で、その前も定食屋だったのだが火事で廃業してしまった（その少し前にはここで生焼けの魚を出されて追加で焼いてもらった）。
労働は猛。できるのは悪いことではないが持続可能性のために少しセーブしたい。
夜は大学のサークルの後輩に慶事があったとのことで、御徒町に軽く顔を出した。
帰宅して今に至る。
まだ萌える。
。