0813
子午線一周の長さがほぼ40000km（言うほどほぼではないが）なのは偶然ではなく必然（メートルの最初の定義が子午線の長さに基づいているから）、という話があり、いややっぱり偶然だ（それ以前に周期が2秒になる振り子の長さによる定義があってそれが子午線一周の1/40000000にほぼ等しいのはたまたまだから）という話がある。あるのだが、後者は正確には誤っていて、メートルの定義を決める際にそれも候補として挙がりはしたが、長さの定義に時間が絡むことや、地域によって微妙に異なるなどの理由で子午線が選ばれたということらしい。これらがほぼ一致していることも子午線を選ぶのを後押しはしたという意味で関係もあるようだが、そもそも人間にとって使いやすい単位を作るというモチベイションなのだから、仮に1秒の長さが異なっていたとしても子午線に対して何らかのキリのよい比で定めることになったのだろうと思われる。そう言う意味でやっぱりこれは必然というか、trivialなことと言える。
お盆休みで会議も少なく、バタバタしつつ個人的野望のためにAIにコードを書かせる。でもDBセットアップしてテスト通せるようにするとかまで一発ではまだ厳しいらしいな。普通にコード書くだけならそこそこできる（もっとも、慣れればこのくらい自分でも書けるのでは？という気はする あまり気乗りのしない作業ではある）。
寝ます。