諸事情で日帰りで実家に帰っていました。日帰り実家、数年前に祖父が亡くなったときに一度やったけど、やっぱりしんどいですね。十時頃に家を出たのに帰ってきたのは深夜だった。やれやれだぜ。
明日はお休みです。今は「一時期好きだったけどプレイリストに入れることはなかった、でも好きだった曲」みたいなのを順繰りに聴いています。平均的な人がどうかは知らないけど、僕は一つの（あるいは関連するいくつかの）音楽をある時期に集中的に聴く癖があるので、曲と人生の一つの時期とが強く関連づけられるということがよくある。中学入試の前に毎晩聞いていた曲、高校二年で言語処理系に関心を持ってＤ言語のコンパイラのソースを読んでいたときに聴いていた曲、大学入試の勉強の時に聴いていた曲、大学一年で謎の野望を抱いていた時期に聴いていた曲、就職してからの一時期に聴いていた曲、などなど。ヒット曲ってのはどれもある程度そうなのかもしれないけどね。
明日もお休み。うれしいな。
昼前ごろに起きて、ちょっとVPSで動かしている諸サービスの調整をした。具体的には、このblogはLet's EncryptでTLS証明書を取得・更新しているけれど、それらの処理も（他のすべてのサービスと同様に）Dockerコンテナ化されているために、他サブドメインにも適用しようとするとそのたびにdocker-compose.ymlの記述が増えて面倒だった（まあワイルドカードで取ればいいという話はあるんですが……）のを、単一のserviceで扱えるようにした。ちょっとだけ込みいったシェルスクリプトを書いた。bashって4系になるまで連想配列なかったんですね。
で、まあそれをやりたかったのは将来的に何らかのWebAPIを生やすときに必要になるからだったのだけど、そのテストとしてlogt.necocen.infoをTLS化した。首尾よく行ったので満足している。
ところで、あんまりいろんなサービスをいま借りてるVPSで動かすのは厳しいのかも？と思ってAWS EC2の値段を調べたりした。t3.mediumくらいだと、三年リザーブドインスタンスなら年間三万くらいなので、さくらのVPSのRAMを4GBまでスケールアップすることと比べるとまあまあお得な感じがある。まあ現時点でそこまでリソースが欠乏しているわけではないので今のところ予定はないけど、ちょっと意外だった。将来やるかも。すべてがDockerコンテナだから移動させるのも簡単だしね。サイコーかよ。
明日は諸事情で日帰りで実家に行きます。諸事情。
なんか眠かった。すこし体調を崩しかけているのかもしれない。まあ、そういうこと自体は珍しくはないので、よく休めば問題ないだろうとも思うけど。
仕事はすこし余裕がある。実は面倒そうな不具合があるが、納期が延び延びなので今日はあまりそのことを考えず、自分の趣味のプロジェクトのためにDjangoの勉強をしたりした。これけっこう便利だな、Railsとはけっこう趣が違うけど。
それはそれとして、Let's Encryptの更新スクリプトを複数サブドメインに適用できるように改修することを考えていた。別にいまの仕組みでもサブドメインごとにコンテナを三つくらい作れば動かなくはないんだけど、それはあまりにダサいので、最低限で済ませたい。最終的にはたぶん三つのコンテナだけで全部のサブドメインを管理できるような仕組みができた（と思う）。これはもうちょっとしたらtwlgあたりで試したいと思う。
明日はお休み。たぶん夕方にすこし買い物に行くと思う。
なんか昨夜は遅くまで酒を飲んでしまった。読書しながら酒を飲んでインターネットでくだを巻くのは楽しくて癖になってしまう。良くないなあとは思うのだけど……。
仕事はなんかいろいろ。五月雨に追加されてきた機能の実装とか。五月雨に来るせいで不具合対応がなかなか進まない。まあ納期も延び延びなので問題にはならないのだけど。でもそろそろまた別のプロジェクトが開始しそうなのでそこらへんの調整を考えなくては。
夜はスパゲティを作ったのたがひどく失敗した。茹でるときの適切な塩の量を完全に勘違いしていたために、なぜか３倍の濃度で茹でてしまったのだ。ひどくしょっぱいスパゲティができた。こうなるともう何の味でもない。塩だ。悔しい。せっかく成城石井まで行ってルッコラを買ってきたのに……。
明日は明日があります。たぶん比較的暇なので（まあなんか面倒くさそうな不具合対応はあるのですけども）いろいろな整理をしたり、あとたぶんDjangoの勉強とかをすると思う。今度趣味で作るサービスはたぶんPython+Djangoになるだろう。Ruby on Railsを思い出しながらやってもいいんだけど……
別に僕は米国民ではないのだけど、18年前のこの日に起きたことを毎年思い出す。なぜなのかはわからないが。あの頃の僕はまだちょっと世界というやつがわかっていなくて（今だって基本的にはそうだが）、ただ塾で算数の授業を受けていれば親が駅まで車で迎えに来てくれて、そしてその中で何かすごい事件が起きたと聞かされるのだ。帰宅してテレビを見るとビルに飛行機が突っ込んでいる。母は何か世界情勢に関するコメントを述べる。僕はその意味がよくわからない。わからなかったくせにこの出来事は今でも僕の中に強い印象を残している。
仕事はすこし落ちついた時期にある。五月雨に盛り込まれた機能を追加する実装などをする。そういえば新しいiPhoneが発表された。検証のために購入する端末と台数を決めなくてはいけない。しかし注文開始は午後九時なのだという。まあ、最近のiPhoneは昔と違って受付開始直後にF5を連打しないと買えないような状態ではないのだろうか。でも金曜日なんだよな、土日を挟むのはさすがに不安がある。うーん、これについても考えないと（最悪の場合は誰かが自宅で作業をする）。
典型的なサリーとアンの課題というのは、次のようなものである：
１．サリーとアンが青い箱と赤い箱とボールのある部屋にいる
２．サリーはアンが見ている前でボールを青い箱に入れる
３．アンが部屋を出て行く
４．サリーはアンが外にいるうちにボールを赤い箱に移す
５．アンが部屋に戻ってきたとき、
部屋に戻ってきた彼女は真っ先に赤い箱を開く。互いを睨めつける視線が交錯する。
「どうせあんたはそういうことをするのよ」
「そうね、あんたが迷いもしなかったみたいに」
「君が私に恋をすることはないんだ、ウェスターマーク効果があるからね」と薄笑いを浮かべる幼馴染概念。
なんだっけ。三連休だったからすこし調子を戻すのに時間が掛かった。並行で進めてる案件の一つを納品した。ただ検証項目書には書かれていない（これは同一ソースから複数プロダクトを作っているというこちらの事情ゆえに自然なことだ）既知の不具合はある。やれやれ、と思う。
あとは何したっけ。リモートワークに関する議論を少しした。僕自身は、成人女性の選挙権みたいなノリで要求してもいいと（あえて）思っているところはあるけれど、まあ「（何よりも）自分の生産性が落ちるのではないか」と心配している人がそこそこいることがわかって興味深かった。僕はそういうのわりと無頓着なので、そんなの会社が責任取ることだと思うし、だから無理だと思ったら会社はいつでもやめさせられるだろうし、とりあえず言うだけ言ってみて結果を見ればええのではと思う。正直なところ、最大瞬間風速的な生産性は落ちるとも思うよ。でも僕たちはそれで仕事を回すことを覚えていくべきだと僕は思っている（もちろん譲歩できることだってあるけど、制度として認めさせなければ何も始まらないからね）。
夜は数論の本をすこし読んだ。虚二次体の類数はある程度分類できていて、９個の体についてはその整数環が一意分解整域なのでフェルマーが問題にしたような問いには比較的簡単に答えられるし、それ以外についてもζが何らかの神秘的な力の片鱗を示すということがわかった。こういう、有理数体に何を添加するかで使える証明技法が大きく変わってくるというのは興味深いなと思う。
それはそれとして、今はただ復習？のために読み飛ばしているだけなので、やがていずれは勉強ノートをつけるくらいにやらなくてはなと思う。試行したいんだけど、積み本が多すぎる。
あと脳科学の本をすこし読んだ。これ系の本、「生卵に『ありがとう』って言うと腐らなかった」くらい眉唾だと感じることもあるんだけど、すくなくとも彼らの業界的には十分な批判な耐えてきているのだろうし、そうかー、これはいずれ「わたし」を司る金色の歯車が特定されかねないな、と思った。まあ、それで何かが変わるわけでもないんだけど（先に述べたように）。
明日は自明に仕事です。なんか別プロジェクトの納期がｇｄｇｄなのよね。まあでもやれる範囲でやりましょうか。今時点ではまだ重たいのは僕がやって後輩には軽めの不具合対応を任せてるけど、そろそろ入ってきてもええのでしょうかね。
なんか夜中に台風が来たらしく、朝起きると関東圏の交通網が破滅していました。僕はたまたま有給休暇だったので昼くらいまで知らなかったんだけど。なんかたまたま今日海外から帰国した知人が独立に三人いて、成田空港で足止めされたりタクシーで東京に出るのに数時間掛かったりしていました。成田エクスプレスも高速道路も破滅して、停電で信号機も止まっていたようだ。まじか。僕はラッキィだったらしい。
昼ぐらいにのろのろと起き出して、Yと指輪などを見に行きました。なんかこういうのはもう、UNIQLOの2000倍くらい怖いんですけども、こう、いくつか綺麗なのを見せてもらって、なるほどねえと思った。まあでも、これを毎日目にすることになってどう思うのかはよくわからないよね。ウーン。
明日はまた仕事です。そういえば、Yの休みに合わせて雑に有給を取ったんだけど、そうすると今月は三連休が三回あるんですね。まじか。ずっとそうだったらいいのにな。
お昼からほこらんさんとねておきたさんと東京藝大の学園祭に行った。台風が近づいていたせいか、途中で謎の土砂降りに遭ったけど、それはただの通り雨だったようなので、しばらくやり過ごしたら止んだのでよかった。ただ陽射しと大雨が交互にやってきたので蒸し暑くてかなわんと思った。
学園祭そのものは、まあ、普通？僕は自分の大学の学園祭をあまり楽しむことなく卒業したからよくわからないけど、模擬店の類は基本的には似たようなものだなと思った。ただ学生の数が少ないのか規模は小さかった。まああんまり模擬店ばかりあっても仕方ないしなという気持ちはある。
あと校舎のほうでは有志による作品の展示があった。若者のやる芸術というのはこういう感じなのか〜と思った。正直あまりピンとこない（現代の芸術家の作品の多くがそうであるように）。でも彼らは日本で一番芸術がうまい学生たちなんだろう。あるいは日本の芸術家たちが求めているものに一番近い学生なんだろう。僕などよりよほど狭い門を潜ってきたのだと思う。その世界観を僕はうまく想像できない。
それはそれとして、一番「藝大だ！」と感じたのは、トイレに「排水溝が詰まってしまうので絵具を流さないでください」と注意書きがされていたことでしたね。これはね、うん、芸術系の大学なんだなと思った。あと、時間割が張り出されていて、ああこの人たちも普通に第二外国語とかやるんだ、と思ったのもなんだか新鮮だった。
あとはなんか居酒屋でだらだら飲んだりした。「嬉し恥ずかし」的な恋愛について話した。
明日は有給休暇なのでお休みです。そういえばめずらしく台風が関東に直撃するそうですね。まあ、よくあるように夜中のうちに通り過ぎてしまうようですが。
特になにもしていない。考えごとをしたりしたけどだいたいは寝てた。進化心理学の本を読んだ。進化論そのものに対してはまあおおむね妥当だと思うんだけど、「進化論的説明」というやつは往々にして胡散臭くなりがちなきらいがあるのよね。そもそもすべての形質が淘汰によって作られたというのは非自明な前提だと思うし、具体的にどんな淘汰が本質的に効いたと考えられるべきなのかは僕らにはわからないし。もちろん彼らはそんな批判は想定しているから、反証可能性が担保されている事例を持ち出して反論したりもするのだけど、それはどちらかというとレアケースなのではという気もするんだよな。まあ、だとしても彼らの着眼点が興味深いことに変わりはないし、そういう学説的裏付けがなければ広く知られることのない統計資料なんかもあるだろうけれどもね。ただあれだね、進化論に拠ってしまった瞬間にそれは生殖可能性の増大ですべてを説明しようとする力を生むんだよね。あと心理学なので「僕らがどのように意図して行動しているか」ではない「本当の」意図、みたいなのが存在することにされるし。こういうの、僕はわりと警戒心を持つなあ。
明日はねておきたさんとほこらんさんと東京藝大の学園祭に行くつもりです。藝大のお祭りってどんな感じなんだろ。まあ僕は自分の大学の学園祭もほとんど参加したことがないですが……
仕事は比較的暇だったような気がする。ああ、リモートワーク導入に関する議論を行ったのだった。前は「どんなスタイルなら回せそうか」みたいな観点から意見を出したけど、今日は「どんなスタイルなら上層部（およびリモートワークを特に活用しない社員）を説得できるか」という観点で話をまとめる方向に進めた。まあまだ試しの段階なんだけど、うまく動いてくれるといいなと思う。
そういえば私的な情報共有と整理のためにScrapboxを使ってみたんだけどなかなか調子がいい。高すぎもせず低すぎもしない自由度。ただまだスマートフォン向けのクライアントアプリがないっぽいのが少し残念かな。Safariからでもまあ読むだけならぜんぜん問題ないのだけど（そしてSafariでうまく編集できないならたぶんアプリでもうまくできないだろう）。仕事でも使おうかな。ビジネス用途ということになるとこれは課金対象になるか？
それはそれとして、ちょっとひさびさにコードを書くことで作りたいものができたのでいろいろ考えていたのでした。ただ僕がこれまで作ってきたものよりはだいぶ大規模になる（そもそもバックエンドとフロントエンドとアプリを全部作ることになる可能性が高い）ので、拡張性を意識しつつ小さなものから作っていく、みたいなことになるのではないかなと思う。希望する要件はだいたい出したので、あとは一旦実装のほうに頭を使って、それで落とさざるを得ない機能を落としていく、みたいな感じで進めたらいいのかな。デザインは知らん。
これはけっこう長いプロジェクトになると思う。でも僕からこのソフトウェアへの要求が消滅することは今後数十年ないだろう。だからまあ、ゆっくりと作っていけたらと思う。
さて、月曜日に有給をとることにしたので三連休です。今夜はお酒を飲んで本を読んだりしよう。ちょっと気が向いたので整数論の復習をしたりしています。これは別にノートを取ってちゃんとやるタイプのではなくて、単に気楽に読み返して思い出すだけのやつなんだけど。そういえばScrapboxでMathJax使えるんだよな。数学のノートに使うことはできるだろうか？（計算用紙は別途必要だとしても）