andante

社会復帰ーーーーー！！！！

そういうわけで新しい（以前の）職場に復帰しました。知ってる人も大勢いるけど知らない人も大勢いるので思ったほど古巣感ない。制度もいろいろ変わってしまったし。そのいくらかはあまり嬉しくはない。
とりあえずオリエンテーションを受けて、触ることになるコードを読んだりした。SpringBootの予習をしておいてよかったが、結局手許では動かなかった。明日相談する。
入って早々慌ただしいところに投入されそうで、しばらくは落ち着いて環境を整えるみたいなことがしづらそうだけど、まあやっていくしかない。

ところで興味本位でDocker Desktopのかわりにcolimaを試してみたけど、testcontainersと相性が悪そうだったから諦めて素直にDocker Desktopを入れた。いずれ有料化することになるだろう。

夜はMapnikと格闘して敗北した。なんか、これみんなちゃんと使えているの？だれも使ってないからこんな沼なのでは？という気持ち。しかし調べているうちに別にMapnikを使わなくてもgeojsonからd3.jsでSVGが出せそうだとわかったので、その路線を模索したい。妻からのさっさと納品しろという圧力が強いので、一旦何かしらの成果物を見せておきたい……。

寝ます。明日は会社の沿革？について説明を受けるらしいんだけど、僕ほぼ知ってるし何なら主役だったんだよなあという気持ち。

KotlinでSpringBootを触るのの続きをやった。一応テストも一通り体験したので、連休中にやっておきたかったことは達成かなと思う。いや他にもいろいろやりたかったけど。趣味とか。

無職期間は何連休だったのか数えてみたら、110連休だった。正確には一日だけ働いたけど。いまは早く仕事を始めたい気持ちだが、たぶん一週間もすればそういう気持ちではなくなっているだろう。貴重とも言える。

夜は、近所のバスマップを作ろうと思ってOpenStreetMapを物色していたが、ちょっとデータが足りていない感じだった。じゃあcontributeすればいいというのはそうなんだけど。行政が公開しているバス路線図って著作権で保護されてないから、OSMの情報源にしてもいい、んだよな？わからん。わからん時はそっと諦めるのが丸い、というのがこういうタイプの問題の常である。それもなあ。

寝ます。明日は何時に出勤すればいいのかまだよくわかっていない。

昼ごろに起きて、何してたっけ。そうだ、assertThatの型シグネチャのことを調べてたんだ。AssertJは追ってないが、AssertKについては理解できた。assertThatが生成するAssert<T>は、Tについて共変になっていて、つまりAssert<Any>のサブクラスでもあるため、Assert<Any>.isEqualToがいつでも呼べてしまう（のでどんな引数でもとれる）ということらしい。これに触れているissueもあるが、Assertが共変だと嬉しいことはたくさんあるので、今のところはこの仕様は変わらなさそうだ。まじか。まあ事態が理解できてよかった。
あとちょっと調べごとのついでにCloudflare Workersを触った。なんかポチポチしてたらデプロイできてすげー。今日から我が家も、エッヂコンピューティングだな！

「ゴジラ-1.0」をアマプラで観た。まあなんか、まあまあ面白かったけど、まあまあくらいだなと思った。そもそも怪獣映画というものはそんなものなのかもしれない。
艦これをプレイしたことがあるために、響とか雪風がここに来ているのは戦争を生き延びたからなんだなあみたいなことを思った。響だよ。

寝ます。三ヶ月にわたる無職が燃え尽きていく。もしかするとこんなに何もすることがない日々は何十年かないかもしれない。その割には何もなかったが。

昼ごろに起きて担々麺を食べに行く。ちょっと遠いのでついでの用事がある時しか行けないが、おいしいのでたまに行く。

午後はKotlinを書いていた。なんか、気づかないふりをしていたけど、これは、Javaだ。
AssertJのassertThat(actual).isEqualTo(expected)が、型が一致してなくても問題なくテスト実行されて（もちろん落ちるのだが）、なんでかなと思っている。ジェネリクスはどうなった？それともテストコードだからナメられてんのかな？

寝るよう

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

その後は買いものしたりなんだりした。無印でジップロック（みたいなやつ）をまとめ買いして、家にある余ったケーブル類を一つずつ収納した。こうすることでケーブルが好き勝手に絡まり合うこともないし、整理しやすくなった。もっと上手い方法はあるかもしれないが、とりあえずは満足。謎に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とか入れるのはちょっと躊躇いがある。検索とかの使い勝手は悪くなりそうなんだよね。慣れかもしれないけど。慣れられんのかなあ？

寝ます。