今朝はすこし計画的寝坊をした。そのせいか比較的よい目覚めだった気がする。関係があるのかは不明。ちょっと暖かかった気もする。
仕事は今日で仕事納めなのであまりテンションは上がらず、とはいえ年内にやりたかったタスクのPRは出した。レビューコメントついてるけど年内は見ない。
夜はテレビを観たり数学をしたり映画を観たりRustを書いたりした。いろいろやったせいでどれも中途半端な気もする。アフィン空間の同型が定義された。DHCPはようやくリクエストのパケットを組み立てているところ。明日は送信までいきたいな。
寝ます。もうこんな時間！
今年で一番寒いって毎朝思っている。寒かった。
仕事はなかなか。手が空いてきているような、それは単にみんながだんだんと冬休みに入っていて静かなだけで実は忙しいような、謎の雰囲気。落ち穂拾いみたいなタスクをやろうとしたらまあまあの大工事が発生したりして疲れる。僕は明日まで仕事。
夜は数学をしたりRust書いたり。DHCPのパケットは情報量が多くて内容を表示するだけでけっこう大変だ。これはなんだか無意味なことをしているような気がしてテンションが上がらない……。まあ、黙々とやれば終わるでしょう。幸いすこし効率的にやれそうな方法は見つけたし。
寝よう。冬休みにやりたいこと、いろいろあるんだけど、冬休みはそんなには長くないんだよね。うーむ。
いよいよ寒い。まあ寒さの話ばかりしてもつまらないので特にそれ以上この寒さについて語ろうとは思わない。
仕事はいまいち。大きな問題があるというわけではないが、年末のせいかテンションが上がらない。もっとも、全体の進捗からすれば単にゆとりのある時期と言えなくもない。そうはいっても年内にできる限りを片付けたいが。
夜はRustを書いた。UDPを喋れるようになったり、UDPパケットに対してDestination UnreachableのICMPパケットを投げ返せるようになった。次はDHCPの予定だが、これはちょっと面倒そうなので明日に回した。
寝ます。なんかやっぱり年末の気分になってしまったのか、早く休暇に入ってほしい気持ちになってしまったな、月曜日だというのに……。
なんかクリスマスの実感があまりなかったせいか年末の感じもあまりない。今年最後の土日だったのだが。
二日酔いでけっこう死んでいた。いや、死んでるときはこんなもんじゃないのでマシな方か。ビールだとそんなにひどくはならないというのは今年得た学びであったな。そんなことを学んでも仕方がないのだが。
先週やりかけて挫折した部屋の片づけをした。昔から無駄に持っていたケーブル類を捨てたりした。これはなんだか年末っぽいな。机の上にかわいいペン立てを置きたいなと思うが思っているだけである。
夜は数学をした。Rustもちょっと書いた。これからUDPを喋るつもり。UDPはすごいシンプルでいいねという感じだ。TCPは大変なんだろうが。
寝ます。眠いので。
「メリィ・クリスマス」ってほんとは今日言うのが正解なのか？まあ、正解を選ぶのが僕の目的ではありませんが……。
昼ごろに起きてRust書いていた。昨日から取り組んでいたリファクタがようやく実を結び、あとログ出力も大幅に改善された。元ネタにしている本がCだから、それにあわせてCっぽく書いていたが、ようやくRustらしく構造体ベースに書けるようになった。まあこれも最善ではないだろうけど、とりあえず満足できる感じになったのでよしとしよう。明日からはTCPを叩きに行く。まえにSwiftで試したときはやってない領域だ。
夜は映画を観た。『シラノ・ド・ベルジュラック』。これは『素晴らしき日々』からの影響で原作の戯曲を読んで、それで観てみたいなと思っていたやつ。まあでも、あんま映画にする意味はなかったなという気はした。いや、悪くはないけど、舞台でやるほうがいいのかなという気がする。しかしまあ、こういう生きざまというやつは、それなりに憧れはする。
あとレヴュースタァライトの劇場版がアマプラで借りれたので観た。やはりこういう映像はビールとか飲みながら観るのがいいと思う。僕としては真矢クロ推しなんだけど、改めて観ると純ななもええなと思った。いやまあでも、僕は自分を西條クロディーヌだと思っている異常者だし、そのことが自分を高めてくれると信じているよ……。見栄でもなんでも背伸びしないとどこにも行けないという危機感があるからかな……。
あと数学もした。アフィン空間というのは要するにベクトルで平行移動ができるけどベクトル空間みたいに特別な点（零ベクトル）のない空間という気持ちなんだなと思った。ところでいま読んでいる本では「アファイン空間」表記だけど、たぶん日本語圏の多くの本では「アフィン空間」だよなとか、元がラテン語なのを思えば「アフィン空間」のがいいかなとか、悩ましい。まあどっちでもいいといえばそう。
寝よう。ビールたくさん飲んだ。
メリィ・クリスマス。
仕事は順調、すこし手が空いている？とりあえず年内は忙殺という感じではなさそうで安心している。しかしpsalmと大喧嘩してしまったので退勤は遅くなった。うーむ。
夜はRustを書いた。ソケットを叩くやつをリファクタリングしていて、とりあえず諸々の処理を構造体ベースに書きなおしているが、循環参照が発生していて悩ましい。けっこう粘ったがまだ名案がない。困ったな、土日にゆっくり考えなくては。
数学は今日はできなかった。二重双対空間の性質について証明しなくてはいけないのだが。
寝よう。夜更かししたわりには実りが少ないな。がっかり。
眠い。午前中に心療内科に。特に変わりはなく、同じ薬が出る。
仕事はわりと考えごと。バリデイションのこととか。電話番号のバリデイションをどこまでやるかみたいなのは難しいですよね。しかも最近14桁の電話番号が使われ始めているらしくて、これは既存の規則には合わないので厳しい。結局ハイフンが0個か2個で常識的な長さならいいでしょみたいな感じになってしまう。でもまあ、自動で電話するとかでもないし別にいいのかという気もする。しかし誤入力は適切に弾いてあげたいし。難しいよね。
夜は数学をやったりRustを書いたりした。書いてはない。とりあえずpingが通るところまできたのでリファクタしようと考えていた。しかし、送信時と受信時とで依存する向きが違うから設計が大変だなと思った。いや、そんなことないか？
寝ます。弊家は諸事情で今日クリパをしたのでワインを飲み過ぎた気がする。まあ明日は金曜日だしね。金曜日だったら何なんだ？
冬至らしい。それでこんなに寒いのかあと思うが、一年で一番暑いのが夏至ではないように、今日は一年で一番寒い時期というわけではない。気が滅入るね。
仕事は今日は調べごとメインだった気がする。バリデイションの書き方とか、これは常識に属することなのだろうが、僕はLaravel経験が浅いからいろいろ調べた。明日は実装に移れるだろう。残り期間はあまり長くはないが、なんとかなりそうで嬉しい。
あと面接もした。けっこう質問も慣れてきた気がして成長を感じる。
夜はRustを書いた。なぜpingが通らないのか、いろいろ調べていたのだが、結局はIPヘッダのチェックサムがおかしいだけだった。Wiresharkの初期設定でIPヘッダのチェックサムを検証しないモードになっていたので気づくのが遅れた。しかも他のチェックサムは合っていてIPヘッダだけが壊れていたし。これでやっとpingが通るようになった。大満足。明日からはちょっとリファクタしたい。あと数学をできてないのでそれをやりたい。やりたいことがたくさんある。
明日は午前中に心療内科に。早起きしないと。
あいかわらず眠い。仕事はいろいろ調整とか。もうだいぶ年末になってきてあわただしい。
仕事の後は友人と焼肉に行った。なんかこんな風に気軽に飲みに行くのは一昨年以来だなという感じだけど、しかしまた感染状況が予断を許さない感じになってきたし、またしばらくは無理になるのかもね。
帰ってからはRustを書いた。ICMPが喋れてない問題は、チェックサムを直したりしたらどうにかなった、はずなのだけど、まだうまくpingが飛ばない。ただこれはどちらかというとネットワーク設定の問題のような気もする。明日も調査かな。最近数学ができてなくて焦る。
月曜日。昼前までは家で仕事をして、昼は写真撮影のために外出。なんか謎の写真がいろいろ撮れたようだけど、この謎の写真が弊社の何を伝えるのかはよくわからない。楽しそうだと思われればまあよい。
今日はそれと面接などで全然進捗がなかった。明日はがんばる。
夜はRust書いた。ICMPをしゃべっているはずがうまく動かないのだけど、Dockerコンテナからなにか言っててもWiresharkで上手く拾えないので（これは結局IPパケットが壊れてるから外に出られないのかもと考えているがまだ不明）仕方なく仮想マシンのUbuntuを用意した。IPヘッダが壊れてることは判明したので、これは明日以降直していく。しかしチェックサムが間違ってるのはなんでなのか気掛かり。これテスト書きたいな。
明日は仕事の後で友人と飲みます。久々だ。