andante

昼に起きてケバブを食べた。実はあんまり食べたことなかったんだけど、おいしかった。しかも安いし。

その後は買いものしたりなんだりした。無印でジップロック（みたいなやつ）をまとめ買いして、家にある余ったケーブル類を一つずつ収納した。こうすることでケーブルが好き勝手に絡まり合うこともないし、整理しやすくなった。もっと上手い方法はあるかもしれないが、とりあえずは満足。謎にHDMIケーブルが5本くらい見つかったので、3本くらい捨てた。

今日もちょっとKotlinを書いた。Web上で見つけたハンズオン資料を追っているのだけど、出てくるコーディングスタイルがKotlin（もしくはSpring）界隈の常識なのか著者の癖なのかみたいなのがたまによくわからなくなる。まあ、でもそういうのはあとで考えればいいや。とりあえずは何らかの型を身につけていこう。
昔と比べるとずいぶん頭がボンヤリしてしまったなと感じる。まあこれはビールをたくさん飲んだからかもしれない。

夜は餃子を焼いた。ちょっと遠くのスーパーで手に入る分厚い皮を使うとかなり旨いものができる。

そういえば昨日書いたListとMutableListの話だけども、これは直接的にJavaとの互換性の産物というわけでもないらしい。というかよく知らなかったけどJavaにおいてはListとMutableListはインターフェイスなのね。なので、この分類が関係あるのかないのかは調べないとわからない。
改めて考えると、Swiftがそうしたように値型として配列を考えるなら、確かに可変性は構文論的な問題にしておきたいが、狭い意味でのリストはあんまり値型っぽくはないし、それだとむしろ意味論的に扱う方がすっきりしているのかもしれない。よくわからないなと思った。
というかいま調べたけどArrayはArrayであるのか。そしてArrayは常に可変であるらしい。えっなにそれ。もうちょっと真面目に入門書を一冊読んだ方がいいかもしれないな……。

昨夜は夜更かししてしまったので今日はのんびり。何をしてたかな。ミルズ定数の無理数性についてのblogを読んだ。ミルズの定理自体がかなりキモいというか、こんなん成り立つのやばくね？って感じだった。グリーン・タオの定理とかもそうだけど、なんか素数の中に秩序があるのはやばいな（まあグリーン・タオの定理は素数性がどう効いてるのかよく知らないけど。素数じゃない別の何かでも似たような定理はあるのかもしれない）。

あとサーバーサイドKotlinをすこし学んだ。IntelliJ IDEAのことがもう嫌いになってきた。なんか重いし、手動でキャッシュをクリアしないとimportの解決が覚束ない？まあそれは今がプロジェクトの初期でいろんな依存性を追加する時期だから問題になるだけで、軌道に乗ったら関係ないかもしれないけれど。あと、Xcodeも大概イマイチだった気もするな。やっぱVSCodeしか勝たんのか？
Gradleってやつもあまり気に入らない。なんかゴツすぎない？依存関係管理とタスクランナーだけなのに？まあそのゴツさに支えられる柔軟性が必要になる日も来るのだろうか。ううむ。
Kotlin自身については、なんかJavaの残り香がけっこうするなあという気持ち。ListとMutableListなんかが象徴的だと思った。これ、可変性がval/varのシンタクスで表現されてる中でここだけクラスというセマンティクスの話になってるように見えて気持ちが悪いのだけど、Javaとの相互運用性でこうなってるのだろうか（違うかもしれないけど）。
一方、SwiftはObjCのNSArrayとNSMutableArrayをArray構造体に置き換えることを選んで、それは多分かなりの豪腕を要求するものだったろうし、開発者も（直接これがという話ではないけど）いろいろと地獄を見たが、結果としては一貫性を保つことができたと思う。それはまあ、ObjCなんて実質Apple界隈でしか使われてなかったからこそ可能になったのであって、Javaで同じことはできないのかもしれない。

寝ます。この四連休が終わったら仕事だ。

書類上は今日から入社なので、本格的に貸与MacBookの環境構築をした。8割くらいはできたと思う。しかし、まだ何をやるのか決まっていないので、これ以上は相談してから決めることになるだろう。
とりあえずはサーバーサイドKotlinに入門してみることにした。ZedやVSCodeで開発できないかと思ったが、結局IntelliJ IDEAでやるのが現実的であるらしい。ちょっとテンションが下がる。いや、別にでっかいIDEが嫌いというわけではないんだけど、なんか昔からJetBrainsのIDEに馴染めないんだよね。Xcodeは嫌いじゃないんだけど。
Kotlinは、まだほとんど書いてないけど、JUnit？があんまり型安全じゃない？気がしていていまいちだな〜と思っている。まあテストコードだし比較的どうでもいいのかもしれないけど。あと普通に別のフレームワークが主流だったりするかもしれない。

今日はそれくらいかな。明日はKotlin書くぞ。

忙しい日だった。朝起きてハローワークで失業認定を受けて、あと再就職に関する手続きの説明を受けて、洗濯をして、コートをクリーニングに出して、AirplayがVLAN越えない件の調査をしてサポートに打ち返して、などなど。あと貸与MacBookの環境構築もしようとしたのだけど、Apple IDの秘密の質問が思い出せなくて詰んでる。
そう、結局前々職に戻るわけだけど、その時使っていたApple IDにログインできないので困ってしまった。リセットしようとしたらなんかロックされてしまったし。なんだこれ。明日もう一度試す。

寝る。書類上は明日から有職だ。Slackとか入ったら驚かれるかな？

なんだか暑くて？早朝に目が覚めてしまった。もう夏だね。

午前中はAirplayがVLANを越えない問題の調査をしていた。サポートからの質問に答えるつもりで試していたのだけど、状況がますますよくわからなくなった。通信が全然通ってないというわけでもなさそう？明日も調べなくては。

あとAlacritty+Zellijの環境を整えた。多少オーバースペックでは？という感じもあるのだけど、とりあえず普段使いに支障ない感じにできたので満足。ホットキーもHammerspoonでいい感じになったし。

寝ます。明日はまたハローワークに行かなくては。

軽めの二日酔いで夕方までずっと調子が悪かった。やれやれ。そんなめちゃくちゃ飲んだ覚えはない（記憶がないという意味ではないよ）んだけどな。やっぱりワインがよくなかったりするんだろうか。

午後はすこし出かけた。妻の知人が何らかの絵画コンクールで入選したか何だかで展示されているというので観に行った。母も何らかに出してたまに入選するし、年に何回かこういうのがあるのはちょうどいい頻度だね。
今日の気づきとしては、配色がビビッドな作品は結構好きだということ。なんかね。別にそれ自体好きとも思わないんだけど、家に飾るならこういうのがあるといいな、みたいに思うから、まあ好きなんだろう。
賞を取るような作品はさすがに見事だなあと思うものが多かった。

ふと思い立ってターミナルエミュレイタをAlacrittyに乗り換えようか考えている。いろいろ設定すればわりとiTerm2と同じように使えそうな雰囲気になっているが、果たして。
せっかく画面が横長なので、マルチペインで使うことも考えたいのだけど、そのためにtmuxとかZellijとか入れるのはちょっと躊躇いがある。検索とかの使い勝手は悪くなりそうなんだよね。慣れかもしれないけど。慣れられんのかなあ？

寝ます。

昨夜はぜんぜん寝られなかった。寝室がそろそろ暑い。
次の日に用事があるのにぜんぜん寝付けないでいると、だんだん「明日の朝一で首を吊らないといけない」という気持ちになってくる。もう精神科に通うような状態では長らくないけれど、これは一生直らないのかなと思うと暗い気持ちになる。まあ、寝れば直るのだから些細なことではある。

起きてラーメンを食べて昼寝をして、kubernetesの勉強をした。これまでかなり雰囲気で使っていたので、ちゃんと体系的な知識を得たいと思ったので。ここまでのところ基本的な内容しかないけれど、それしかないということがわかるのはだいぶ安心感だ。

夜はほこらんさんと中華の店に行った。世の中いろいろな料理があるけど、一番は中華かなという気持ちがある。

寝ます。ちょっと飲みすぎたのか頭が痛い。

メインブラウザをFirefoxに変更してみた。次の会社ではBYODしないつもりなので、Googleアカウントを頻繁に切り替える必要がないため。しかし、微妙に表示が変わるので慣れるまではちょっとストレスだ。昔はFirefox使ってたのだけどな。

貸与PCが届いたけど、アカウントとかはまだ連絡がない。たぶん30日なんだろう。いよいよ労働者に復帰するのだなあと思った。マシンスペックは大したことなかった。

3ヶ月ばかり無職でいたことになるけど、あまり何かを成したという気はしない。就活のストレスでグンニョリしていた時期もあるし。あと、戦略ミスだったなと思うのは、手を動かすことにあまり重きを置かなかったことか。重きを置かなかったというとちょっと違うけど、なんというか、抽象論を学ぶのに時間を使ってしまったな。でも、もっと趣味に走ってコード書けばよかった。OS作るとか、エミュレイタ書くとか。うーん、まあ仕方ない。それに、手を動かすのは楽しいから別に仕事してても続けられるのだと思えば、これはこれで有意義だったかもしれないし。

寝ます。

昼前に鍵屋さんが来て玄関の鍵を交換してくれた。のでSwitchBotのスマートロックを設置した。とりあえずいい感じだが、これをどう使うのかはまだ決まっていない。NFCタグで開けられるようにするのとかってセキュリティ的にまずいのかしら？

AirPlayがVLAN越えてくれない問題、やっぱりmDNSゲートウェイの問題だと思われるので、NETGEARのサポートにメールで問い合わせた。チャットも試みたんだけど、一時間待って音沙汰がなかったので諦めた。基本的にチャットサポートは体験がこんな感じで印象がよくない。だいたい、急にぶっつけ本番が始まるのもしんどいし。

交換した鍵のシリンダーをもらったので、いい機会だから分解してみた。YouTubeに動画があったのでわりと簡単にできて、へぇ〜こんな感じなんだな〜と思った。ディンプルキーじゃないからたぶんわりと単純なんだろう。わかりやすくていいね。

夜はホットクックで肉じゃがを作った。4人前作ると野菜を切るのがけっこうダルいなという感じだったが、切った後は放っておけばできるので楽だ。自分で作ると忙しくてかなわん。35分でできた。味はまあまあ。

寝ます。明日は新しい職場の貸与PCが届くらしい。いよいよ仕事か。環境設定を始める必要があるかな。

書き忘れ。ollamaを使うとローカルでllama3 70Bが動くと聞いたので試してみた。ちょっと遅いが確かに動く。RAMを64GB積んでたおかげか。ただまあ、それほど賢くはないので個人で使うぶんには当面Claudeでいいかな。ロマンはあるけどもね。

サウンドバーが届いたのでテレビに繋いだ。なるほど、音楽を聴くとかなりいい感じになるので嬉しい。これまで聞こえてなかった音が聞こえる。でも普通にテレビ観る時は別に変わらない、というか妻にはちょっと不評だった。まあリモコンで切り替えられるので適宜やっていく。

ただ問題があって、AirPlay経由でiPhoneの出力先にできるはずなのだが、VLANを切っている関係でうまくいかない。VLANを切るといろいろなことがうまくいかないので萎える。無線APの設定でなんとかなりそうなのだが、なかなかなんとかならない。はあ……。ネットワーク運用の変更も視野に入れることになるだろう。しかしなあ。
mDNS、というかbonjourは通せるのにまだ繋がらないのはなぜなのか？という部分に謎がある。

あとデスクライトも届いたのでつけてみた。思ったほど明るくないのだけど、それなりに満足できる感じ。なんか暗いな〜と思っていたのはマシになったのでよかった。

寝ます。明日は鍵の交換。