タグ: 基礎理論

投稿日:

20250218 今川焼き

8:00頃起床。散歩（柴・黒柴2）、朝食、体操、労働（上）、昼食（麺）、ノージム、夕食、買い物、勉強会、歯磨き、今。

黒柴ーズと柴（1Pカラー）はお友達だったらしい（新情報）。

労働は内容充実、ただしキリのいいところまでと思って延びてしまったのは良くなかった。昼食は近所の新しいラーメン屋に行ったが、許されざる美味しくなさで原辰徳。鰹節の雑味がモロにスープに残っており、意図するところがわからなかった。ジムは休養日。

買い物でちょっと新しい食への挑戦を意識した。サラダは新素材であるところの水菜を購入。冬だからね。加熱なしで食べられるしおもしろドレッシングを楽しみやすいプレーンな味に期待。通常の食事で不足するカロリーをお菓子で補いたくなったときに袋菓子を買ってしまうと逆にカロリーオーバーするので、1つずつ食べられる冷凍の今川焼きを買ってみた。そして米を炊き忘れたときにイライラしないように備蓄パックごはんも。

勉強会ではRSA暗号の仕組みに差し掛かっており、modの割り算が成り立つ条件について調べた。理屈としてはそう難しくないのだが、整数問題独特の手筋みたいなものを学生時代ほどは思い出せなくて勉強会仲間のmathematical monstersに助けてもらった。

投稿日:

20250208 validation

10時頃起床。のんびり個人開発とDota2をして過ごし、夕方に薬をもらいに病院に行った。生活がそこそこ安定しているので睡眠薬を減らすことにした。

その後少し散歩した。中古のPS2が欲しくてありそうな店を少し回ってみたが、あってPS4だった。そりゃそうか。いつも特に関心を持つこともなかった服屋に入ってみたら中が意外と広くて、道から見ると間に数件の別の建物を挟んでもう1つ入口があった、というか別の店だと思っていた2軒が実はつながっていたことを知った。不思議なこともあるものだなあと思いながら建物の全貌を知りたくで側面に回ったら参政党のポスターが貼ってあってうおｗとなった。

道道道道道
道■□□■
道■■■■

道から見えるものと実際の建物の構造が全然違うのってロマンあるよね。そもそも建物自体が外観と内装を分離する性質を持っていて、外から見るとただのマンションに見えるけど実は中は超巨大な1部屋かもしれないと考えることがある（大昔にブログに書いた気がしたが見つからなかった）。

それにしても寒い。僕も子供の頃は冬でも薄着だったが今薄着の子供を見ると暖かくしろ〜〜〜！！と思う。寒さか乾燥かにやられてずっと喉が痛い。参った。

帰宅してからは個人開発を再開。Dota2は負けてばっかりなのでまた引退します。バックエンド側でPOSTされるpayloadをvalidationする処理を何度も何度も書いていて、これもうちょっと統一的かつエレガントにならんか…？ということでこの辺を読んでいた

どうしてvalidation書くのにApplicativeとか半群のことわからなきゃいけないんですか（現場猫顔）。でも型の力を徹底的に活かそうとしていくとそうなるんだよな。暗号の勉強でもガチ数学が迫ってきているし、自分の力がそういう領域に到達しつつあるということは喜ばしいなと思う。

伸びる芽の数がとても少なくなっている。遅れて他も伸びるかな…？

投稿日:

20250205 数学のセンス

7:30頃起床。とても起床感が悪かったので再度寝て10時頃起床。ノー散歩、ノー朝食、ノー体操、労働（上）、昼食（nosh）、夕食（nosh）、買い物、勉強会、ジム（強）、歯磨き、料理、掃除、ゴミ捨て、今。

勉強会ではDH鍵共有をやった。冪乗の結合法則とmodの分配法則を使って、公開の場で共有した4つの値から秘密の共通鍵を作れるらしい。式変形は一応walk throughしたが、全然感覚として理解できない。数学ができる人というのは高度な式変形も感覚として理解できるのだろうか。それとも感覚的な理解などなくても記憶できその上に理解を積み上げられる？

ジムが勉強会の後になったので時間が足りなかった。一通り筋トレしただけで有酸素もストレッチも省略。体重が55.5kgで珍しく増加しているが、今日に限っては夕食後だったからかな。

帰宅し、明日の朝食用にブロッコリーを茹でた（レンジ）。

インターネットの回線料金が、U30が終わって結構高くなってしまっている😭 。ネットの乗り換えの勧誘は頻繁に来るのだが、この部屋は配管に問題があり、変更先が無いかもしれないなあ。

そう言えば鼻うがいは1日1回やっているが、結構持続的な効果を感じる。