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