タグ: 外食

項目	内容	得点	換算点
睡眠時間	4時間55分	17	2.2/13.0
起床	7:04	100	8.0/8.0
散歩	実施・ゴミ拾いあり	100	5.0/5.0
朝食の栄養カバレッジ	2色カバー	80	4.0/5.0
体操	ノー	0	0.0/5.0
労働	passion: 60点, discipline: 55点	58	13.9/24.0
ジム	有酸素+筋トレ	100	12.0/12.0
勉強会	参加	100	12.0/12.0
個人開発	実施	100	7.0/7.0
あすけん	-	88	7.9/9.0
総合	1日の総合評価	-	72

睡眠が終わっており、その結果として日中の頭の回転も終わっている。ジムでも自分が使ったロッカーの場所を間違えたり、保湿クリームを塗る前にドライヤーを使ったりと、ルーティン化した行動が不意に崩壊する事例が散発しており、これも頭の調子が悪いことを示している。ちなみに今日はジム中に聞いていたNHKラジオニュースもよく噛んでいた。みんな寝よう。寝。

朝のゴミ拾い散歩でいつもと違うルートに行ってみたら、ある建物が珍しくシャッターを上げていて、その奥に落ち着く中庭があったことを知った。街のいろいろな場所には物理的距離とは別に到達困難性距離が存在しており、そのマッピングは不均等だ（ペンフィールドのホムンクルス、いあいぎりとも言う）。

水漏れ以降廊下の照明を使っていなかったのだが、今日漏電調査が入り問題なかったので復活した。おお、薄暗くない廊下に心が踊る。これはおおだろ。

昼食は肉汁餃子のダンダダンで餃子ライスを食べた。美味しかった。中華スープからはしばらく洗っていないコップの底の匂いがした（意図的かは不明）。

項目	内容	得点	換算点
睡眠時間	6時間17分	71	9.2/13.0
起床	7:23	100	8.0/8.0
散歩	実施・ゴミ拾いあり	100	5.0/5.0
朝食の栄養カバレッジ	3色カバー	100	5.0/5.0
体操	ノー	0	0.0/5.0
労働	passion: 75点, discipline: 75点	75	18.0/24.0
ジム	有酸素+筋トレ	100	12.0/12.0
勉強会	参加	100	12.0/12.0
個人開発	実施	100	7.0/7.0
あすけん	-	96	8.6/9.0
総合	1日の総合評価	-	85

なんか日高屋の生姜焼きを食べたらめっちゃあすけんが良くなった。アブラギッシュで味が濃い生姜焼きを更にアブラであるところのマヨネーズでまろやかにして食べるという、文字にしてみると二郎系にも劣らない背徳料理なのだが、そもそも俺脂肪不足しがちなんだよな。ちなみに日高屋は定食ではなく単品+ご飯で頼むと塩水…ではなくスープをカットして20円節約できるぞ！

久々の日高屋は、初めての配膳ロボとの邂逅でもあった。衝突防止にファンシーな音楽を大音量で流しながら歩くので、自分のところに来ると目立つし対応力を試されているようで恥ずかしい。

ジムは冗長性の日だった。冗長という単語はプラスの意味でもマイナスの意味でも使われる難しい言葉だ。普段の僕のジム→風呂のルーティンはかなり固定されていて、大部分同じ身体動作を繰り返しているのだが、今日はなんだかいつもの身体動作の順番が狂うことが多かった（と言っても具体例は思い出せないくらいどうでもいい話なのだが…）。そうではあっても結果的に効率はほとんど変わらずに行動はできるので、冗長ということ。実は身体運動の熟練というのは冗長化の過程という説がある。単一の動きの精度が上がっていくのではなく、一つ一つの動きは毎回バラけても統合するとベストな結果になるような冗長性が身についていくのだ。

ちなみに今日の洗い場（E1）はsHWLT（Shower Hot Water Linger Time）が長いのは良かったが、kHWLT（カラン）が長くあまり良くなかった。温度も高めにオーバーシュートすることが多かった。退出前の立ちシャワーブースは、なんとW3が埋まっておりW4を使う羽目になった。ここもsHWLTが非常に長く1プッシュで全身行けちゃいそうで微妙に足りなくてイラッとした。

誰にも伝わらない記号を弄ぶのが楽しくなるやつ、危険な兆候かも知れない。

項目	内容	得点	換算点
睡眠時間	6時間25分	77	10.0/13.0
起床	7:49	100	8.0/8.0
散歩	実施・ゴミ拾いあり	100	5.0/5.0
朝食の栄養カバレッジ	3色カバー	100	5.0/5.0
体操	ノー	0	0.0/5.0
労働	passion: 90点, discipline: 90点	90	21.6/24.0
ジム	有酸素	100	12.0/12.0
勉強会	参加	100	12.0/12.0
個人開発	実施	100	7.0/7.0
あすけん	-	53	4.8/9.0
総合	1日の総合評価	-	85

いくつかのルートでゴミ拾いして、どこが汚いかなんとなくわかってきた。掃除をする人間がいる道といない道があるんだよな。

昨夜TLで家系ラーメンの画像を見せられてしまい、勢いで昼に家系ラーメンを食べてしまった。猛烈に体に悪い一方でそこまでうまいわけでもなく、炭水化物の量を喜べる年齢でもなく、なんだかなあという感想で終わってしまった。

ジムは本来有酸素だけの日だったが隠れ肥満脱却のために、余力がありそうな腹筋はやった。

ジム中も風呂中もずっと仕事のことを考えていた。TSKaigiでモチベが上がっている。単に仕事をこなしていてもTypeScriptの極みには至れないと思うけど、僕が働きながらそこに近づくには、やはり仕事の延長線上で頭を使い続けることだと思うんだよな。食っていく必要もあるので。この年になると他に考えるべきこともないしな。

項目	内容	得点	換算点
睡眠時間	7時間40分	100	13.0/13.0
起床	9:00	50	4.0/8.0
散歩	ノー	0	0.0/5.0
朝食の栄養カバレッジ	3色カバー	100	5.0/5.0
体操	実施	100	5.0/5.0
労働	passion: 80点, discipline: 80点	80	19.2/24.0
ジム	休養日	100	12.0/12.0
勉強会	ノー	0	0.0/12.0
個人開発	実施	100	7.0/7.0
あすけん	-	76	6.8/9.0
総合	1日の総合評価	-	72

あすけんアプリのレスポンスの悪さとリクエストの失敗率、金取っていい水準に達してないと思う（有料会員）。

ランチはてんやの『海かぜ天丼』にした。てんやの季節モノメニューにはあまり関心がなくて天丼や野菜天丼ばかり食べていたんだけど、『海かぜ天丼』（海かぜ天丼って何？）はエビもあおさも太刀魚もそれぞれの鮮烈な香りが感じられてかなり良かった。食べる意義があった。あおさが形態上衣が多く油っぽかったのは少し辛かったが…。

思い立ってマネーフォワードを見て出費の確認などしていた。普段はしない。独身男性なので。固定費ではやはり割引が切れたJCOMがキツい。NTTの設備があるのに配管の問題で使えないのはお前らがなんとか旋回！と管理会社に問い合わせているが返事がない。たぶん来ないだろう。水漏れの補償の話も来てないし。なあ大東建託。

…なんか面白い話を書こうとしていたんだが忘れちゃった。GitHub Copilot ProとかOpenRouterとかさくらのVPSとかも削れるっちゃ削れるだろうけど、一応技術で食ってるので一時の節約のために腕磨きを怠るのは本末転倒だよな〜。

項目	内容	得点	換算点
睡眠時間	5時間5分	23	3.0/13.0
起床	9:12	40	3.2/8.0
散歩	ノー	0	0.0/5.0
朝食の栄養カバレッジ	3色カバー	100	5.0/5.0
体操	ノー	0	0.0/5.0
労働	休日	100	24.0/24.0
ジム	有酸素+筋トレ	100	12.0/12.0
勉強会	ノー	0	0.0/12.0
個人開発	実施	100	7.0/7.0
あすけん	-	72	6.5/9.0
総合	1日の総合評価	-	61

↑これのせいでOGPのdescriptionが意味ない内容になりがちだったのでちゃんと明示するようにしてみる。

遅く起きて朝食→ジム→ラーメン屋→買い物→帰宅→昼寝→個人開発→今

ジムで顔見知りの人と世間話をした。同じジムでも普段やることが違うといろいろ教わることがあって面白い。

なんとなく普段行かないラーメン屋に行きたくなって行ったら、定休日火曜という表示とともに中で客？と店員が和やかに談笑していて、（今日は休みで店員がまかない食べながら談笑してるのか…？）と思ったけど普通に営業してた。祝日だからかな。メニューが以前来たときから完全に変わっていて驚いた。デフォルトのトッピングがほぼ無な代わりに安いというモジュラー式電源みたいな構成になっていた。

楽しみ

休日と入っても特にやりたいことも行きたいところもないよなあ…と無気力決め込んでいたけどツイッターで友人がめちゃくちゃきれいな島の風景を上げていて俺も何かすればよかったなと少し悲しくなった。人生全部これ。段取り付けて準備してようやく得られる体験というものがあり、それをきちんと遂行できる人間と、最終的な体験は羨ましがるけど行動は起こせないで家で昼寝してる人間がいる。まあ風景が良いからなんだよとも思うが。

よく友人に付き合いが悪いとか遊ぼうとしないと言われる。人と会うのは好きなのだが、事実だ。昔から楽しむということが苦手だ。趣味もなんらかの形で自己研鑽につながるものじゃないとやる気にならない。100%enjoyの娯楽には罪の意識がある。ディズニーランドとか怖い。Dota2は対戦と上達という要素があるから楽しめるが、四川省はある程度は上達の要素もあるが結局配牌次第であり、あまりやる気が出ない。加えて初めてのことをやるのも億劫だ。まあこちらは「人生経験」「これも勉強」みたいな言い方をされれば割と簡単に乗り越えられる。ので僕に違法薬物を勧めないでください。でも誘われるのは嬉しいので何でも可。

ちなみにアニメの聖地巡礼旅行はかなり自由研究的要素があるので好きです。土地とストーリーと制作プロセスが重なって新しい発見が生まれてくるのはかなり楽しい。

最近はジメッとした内省的な話ばかりしていて嫌だね。ずっと睡眠が壊滅していてそのせいで気持ちが落ち込む。まあそれも含めての日記道だから。

IP fragmentation

パケットキャプチャの続きもやった。今日はIPパケットのfragmentationのことを考えていた。昔マスタリングTCP/IPを読んでいたときにはあまり実感していなかったけどIPパケットが下位レイヤのMTUの都合で自らを分割するのってちょっと違和感あるよね。まあこの辺りが教条的ではなく柔軟だったことがIPの広がりにプラスに働いたというのもあろうが。

IPヘッダのfragment offsetは13ビットの領域を割り当てられており、その表現は8ビット単位である。この説明はよく見られるのだが「8ビット単位って何？」という疑問が湧いた。13ビットで表現できる数値は2^13（8192）通りだ。つまりfragment offsetは8の倍数オクテットであって2^16までの数字しか表現できないということになる。そうなの？答えはYesだ。RFC791に明記されているとおり

そもそもIPデータグラムの最大長は65536オクテットなので2^16でちょうど足りる。

This format allows 2**13 = 8192 fragments of 8 octets each for a total of 65,536 octets. Note that this is consistent with the the datagram total length field (of course, the header is counted in the total length and not in the fragments).

そして分割は8オクテット単位でせねばならないと定められている。

The data of the long datagram is divided into two portions on a 8 octet (64 bit) boundary (the second portion might not be an integral multiple of 8 octets, but the first must be).

そう言えばもう一つ、Identificationも他の送信元と被ったら混線しない？と思ったんだけど、これは送信者IP・宛先IP・プロトコルも含めてユニークになるようにassembleせよと定められてたね。

To assemble the fragments of an internet datagram, an internet protocol module (for example at a destination host) combines internet datagrams that all have the same value for the four fields: identification, source, destination, and protocol.

Ethernetの仕様書は7000ページあった一方でIPは随分読みやすい。