カテゴリー: 日記

項目	内容	得点	換算点
睡眠時間	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は随分読みやすい。

項目	内容	得点	換算点
睡眠時間	4時間34分	3	0.4/13.0
起床	8:33	72	5.8/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
個人開発	ノー	0	0.0/7.0
あすけん	-	59	5.3/9.0
総合	1日の総合評価	-	52

人生、ゴールを決めてそこから逆算して日々のノルマを決めるのか、それとも自分のキャパシティと相談して毎日捻出できるリソースを決めてそれを積み上げていくのか。これは難しい問題だ。前者の方が達成度を厳密に管理しやすいが、ゴールと達成度という最初に決めた一本道の目標に囚われて寄り道が難しくなるという欠点もある。スマホのアプリアイコンを整頓した。これは特定のゴールを設定していないが、日々の改善活動によって今後の生活が遅滞することを防ぐタスクに分類される。人生も開発も同じなんだよな。全てが僕というレンズを通せば同じになるから、僕は文章を書いている。

久々に王将の餃子定食を食べた。やはりどこかのチェーンと違って餃子がちゃんと美味い。しかし高い！

なんとなく物欲しい気分だったのでお菓子を大量に買ってきて食べた。娯楽は何かを犠牲にするものだが、僕の場合栄養スロットには余裕がありがちなのでこの手に限る。

あまり気持ちがﾊｧーｻｯﾊﾟﾘｻｯﾊﾟﾘしない。これじゃ日記じゃなくてチラ裏だよ。それはやっぱり違うものだから。ﾈﾏｼｭ