タグ: す勢ド

項目	内容	得点	換算点
睡眠時間	5時間28分	39	5.1/13.0
起床	7:03	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
個人開発	ノー	0	0.0/7.0
あすけん	-	80	7.2/9.0
総合	1日の総合評価	-	72

睡眠に関するスパースベッド仮説（ベッド上の物体を減らすことで睡眠姿勢が安定し睡眠の質が向上する）、第1日は仮説を指示する結果が得られた。引き続き実験を続ける。

いつも朝食のタンパク質・カルシウムを担当している魚肉ソーセージだが、内側の包装皮を破るのが困難だ。まず説明によるとつまみしろに直角に切り込みを入れるように破り、切り込みの上と下をそれぞれ魚肉ソーセージ長軸に対して時計回りと半時計周りに破り広げることで包装を除去せよとのことだ。

しかしこれは成功しない。直角に切り込みは入る。しかい破り広げることはできず、ただつまみしろがきれいに破り取られるだけだ。そしてこの状態になるともう人間の前足では手出しができず、カッターナイフで切り開くしかない。とてもとても悲しい。

実際にworkする開封方法はこうだ。つまみしろを破らないように引っ張り、巻物を開くように剥がしていく。これで6割くらいは成功する。しかし残りの4割はやはり上の失敗パターンに落ち着く。

興味深いのは、この魚肉ソーセージは4本セットで売っているのだが、成功するときは4本とも成功するし失敗するときは4本とも失敗する。製造や運送の過程における温度変化等に影響を受けるのだろうか。ちなみにいま食べてるやつはダメなやつです。

明日はちょっとした用事が複数重なったのでそれらをまとめて片付けるべく休みにした。グフフ。

昨日は静養。今日は朝から夜まで実家で用事。

帰りの新幹線は当然大混雑。自由席で立っていた。新横浜で空いたから一瞬座ったがすぐ子供に譲ってしまった。父親に随分感謝された。車内で友人にもらった『暗号と認証 しくみと理論がしっかりわかる教科書』を読了。さすがに最終章の準同系暗号や量子コンピュータは難しかったが、何を実現するためにどんな手段を使うのかというのはうっすらわかった。次はクリーンアーキテクチャを読む。例の図について適当な理解でやり続けるのもよくなさそうなので。

久々にキリンジ『Drifter』を聴いていた。初めて聞いたのが20代以降なのにTier1入りした数少ない曲だ。

流れるように美しいメロディに似つかわしくない挑戦的な和音の響き。優しい歌声。一行ごとに新しいイメージが浮かんでくるような不思議な歌詞。素材の味が生きた楽器隊。その全てが調和して何度聴いても飽きることがない。

大学生の頃、友人にハリー・ポッターのハリーの部屋と揶揄されたほどの狭くて古い部屋に住んでいた。深夜アニメが終わった静寂の中で、偽物のフローリングの上に寝転がって筋トレをしながらこの曲を聴いていた。そんなことを思い出す。

項目	内容	得点	換算点
睡眠時間	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

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

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

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

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

3/19 炭火焼きほろほろチキンカレー

今日は休暇の消化で半休の予定だったが結局そこそこまあまあ労働してしまった。まあ半休なら残りが半労働になるとはどこにも定義されてないからな。僕も同僚も年度末で休むので出勤してる日は逆にやらなきゃいけないことが詰まってて大変だ。

夕食はすき家の炭火焼きほろほろチキンカレーを食べた。炭火焼きほろほろチキンカレーのほろほろチキンの部分があまりにもほろほろ過ぎて生物の死体と認識できず、味だけそれっぽくした未来の合成食品のように感じてしまって怖かった。味は普通だった。カレーって外食する意味たぶんないよね。高級なレトルト買ってきた方が安いし美味そう。

3/21 驚く会

昼に友人が結婚したという報告を聞き、驚きでずっと気持ちがふわふわしていた。

午後はまたホムセンへ。電気代削減の考察を進めるため、まずはデータからということでワットチェッカーを買った。調べてみると加湿器は最初の数分が1000W、その後は300W。PC+モニター類は負荷によって100~200W（PCサスペンド中は30W）。電気ケトルは1200Wだった。エアコンはやめろと書いてあった。
思ったとおり加湿器の影響がバカでかい。そしてPCサスペンドはかなり違ってくるんだな。この調子でどんどん調べていきたい。

もう一つ、ロフトベッド下用の照明を買った。これまでも小さなクリップ付きLEDライトで照らしてはいたのだが、机はかなり強烈に照らしたほうがいいというのが先日会社で話題になり、強化したいなと考えていた。

仕事場を照度3倍にして半日テレワークした感想ですが、集中力上がるし目は疲れないしで今のところ最高です。むしろ今までの労働環境は何やったんや。やはり厚生労働省は正しかった。。。 https://t.co/OVl3g20TqX

— MORIDaisuke (@MORIDaisukePub) April 8, 2024

とりあえず工事不要のLED照明で1100ルーメン出るやつを買ってきて設置してみた。ルーメンは光を発する量であり、ルクスは面積あたりの受ける光の量であるため、ルーメンを光を受ける面積で割るとルクスが得られる。まあ光を受ける面積なんて正確にわかるわけないのだが、オーダーで言えば10m2くらいだろう。ざっくり110ルクスくらいの追加になる。確かにこれに慣れてみると付けてなかった頃は随分暗かったなあと感じる。視界の端に照明が入ってしまって眩しい問題があるので、紙などでカバーを作りたいね。

夜は結婚報告に驚いた連中を糾合して本人不在で驚く会@御徒町をした。主催が僕なので酒も食事も控えめにして解散にさせてもらったが、おかげで僕は胃がおかしくならずに帰宅できた（酒で行動はおかしくなった）。

ああ、自分の生活空間を自分の生活に最適化させていく生き様は、結婚とは正反対の営みであることよ。