andante

別に僕は米国民ではないのだけど、18年前のこの日に起きたことを毎年思い出す。なぜなのかはわからないが。あの頃の僕はまだちょっと世界というやつがわかっていなくて（今だって基本的にはそうだが）、ただ塾で算数の授業を受けていれば親が駅まで車で迎えに来てくれて、そしてその中で何かすごい事件が起きたと聞かされるのだ。帰宅してテレビを見るとビルに飛行機が突っ込んでいる。母は何か世界情勢に関するコメントを述べる。僕はその意味がよくわからない。わからなかったくせにこの出来事は今でも僕の中に強い印象を残している。

仕事はすこし落ちついた時期にある。五月雨に盛り込まれた機能を追加する実装などをする。そういえば新しいiPhoneが発表された。検証のために購入する端末と台数を決めなくてはいけない。しかし注文開始は午後九時なのだという。まあ、最近のiPhoneは昔と違って受付開始直後にF5を連打しないと買えないような状態ではないのだろうか。でも金曜日なんだよな、土日を挟むのはさすがに不安がある。うーん、これについても考えないと（最悪の場合は誰かが自宅で作業をする）。

典型的なサリーとアンの課題というのは、次のようなものである：
１．サリーとアンが青い箱と赤い箱とボールのある部屋にいる
２．サリーはアンが見ている前でボールを青い箱に入れる
３．アンが部屋を出て行く
４．サリーはアンが外にいるうちにボールを赤い箱に移す
５．アンが部屋に戻ってきたとき、

部屋に戻ってきた彼女は真っ先に赤い箱を開く。互いを睨めつける視線が交錯する。
「どうせあんたはそういうことをするのよ」
「そうね、あんたが迷いもしなかったみたいに」

「君が私に恋をすることはないんだ、ウェスターマーク効果があるからね」と薄笑いを浮かべる幼馴染概念。

なんだっけ。三連休だったからすこし調子を戻すのに時間が掛かった。並行で進めてる案件の一つを納品した。ただ検証項目書には書かれていない（これは同一ソースから複数プロダクトを作っているというこちらの事情ゆえに自然なことだ）既知の不具合はある。やれやれ、と思う。

あとは何したっけ。リモートワークに関する議論を少しした。僕自身は、成人女性の選挙権みたいなノリで要求してもいいと（あえて）思っているところはあるけれど、まあ「（何よりも）自分の生産性が落ちるのではないか」と心配している人がそこそこいることがわかって興味深かった。僕はそういうのわりと無頓着なので、そんなの会社が責任取ることだと思うし、だから無理だと思ったら会社はいつでもやめさせられるだろうし、とりあえず言うだけ言ってみて結果を見ればええのではと思う。正直なところ、最大瞬間風速的な生産性は落ちるとも思うよ。でも僕たちはそれで仕事を回すことを覚えていくべきだと僕は思っている（もちろん譲歩できることだってあるけど、制度として認めさせなければ何も始まらないからね）。

夜は数論の本をすこし読んだ。虚二次体の類数はある程度分類できていて、９個の体についてはその整数環が一意分解整域なのでフェルマーが問題にしたような問いには比較的簡単に答えられるし、それ以外についてもζが何らかの神秘的な力の片鱗を示すということがわかった。こういう、有理数体に何を添加するかで使える証明技法が大きく変わってくるというのは興味深いなと思う。
それはそれとして、今はただ復習？のために読み飛ばしているだけなので、やがていずれは勉強ノートをつけるくらいにやらなくてはなと思う。試行したいんだけど、積み本が多すぎる。

あと脳科学の本をすこし読んだ。これ系の本、「生卵に『ありがとう』って言うと腐らなかった」くらい眉唾だと感じることもあるんだけど、すくなくとも彼らの業界的には十分な批判な耐えてきているのだろうし、そうかー、これはいずれ「わたし」を司る金色の歯車が特定されかねないな、と思った。まあ、それで何かが変わるわけでもないんだけど（先に述べたように）。

明日は自明に仕事です。なんか別プロジェクトの納期がｇｄｇｄなのよね。まあでもやれる範囲でやりましょうか。今時点ではまだ重たいのは僕がやって後輩には軽めの不具合対応を任せてるけど、そろそろ入ってきてもええのでしょうかね。

なんか夜中に台風が来たらしく、朝起きると関東圏の交通網が破滅していました。僕はたまたま有給休暇だったので昼くらいまで知らなかったんだけど。なんかたまたま今日海外から帰国した知人が独立に三人いて、成田空港で足止めされたりタクシーで東京に出るのに数時間掛かったりしていました。成田エクスプレスも高速道路も破滅して、停電で信号機も止まっていたようだ。まじか。僕はラッキィだったらしい。

昼ぐらいにのろのろと起き出して、Yと指輪などを見に行きました。なんかこういうのはもう、UNIQLOの2000倍くらい怖いんですけども、こう、いくつか綺麗なのを見せてもらって、なるほどねえと思った。まあでも、これを毎日目にすることになってどう思うのかはよくわからないよね。ウーン。

明日はまた仕事です。そういえば、Yの休みに合わせて雑に有給を取ったんだけど、そうすると今月は三連休が三回あるんですね。まじか。ずっとそうだったらいいのにな。

お昼からほこらんさんとねておきたさんと東京藝大の学園祭に行った。台風が近づいていたせいか、途中で謎の土砂降りに遭ったけど、それはただの通り雨だったようなので、しばらくやり過ごしたら止んだのでよかった。ただ陽射しと大雨が交互にやってきたので蒸し暑くてかなわんと思った。

学園祭そのものは、まあ、普通？僕は自分の大学の学園祭をあまり楽しむことなく卒業したからよくわからないけど、模擬店の類は基本的には似たようなものだなと思った。ただ学生の数が少ないのか規模は小さかった。まああんまり模擬店ばかりあっても仕方ないしなという気持ちはある。

あと校舎のほうでは有志による作品の展示があった。若者のやる芸術というのはこういう感じなのか〜と思った。正直あまりピンとこない（現代の芸術家の作品の多くがそうであるように）。でも彼らは日本で一番芸術がうまい学生たちなんだろう。あるいは日本の芸術家たちが求めているものに一番近い学生なんだろう。僕などよりよほど狭い門を潜ってきたのだと思う。その世界観を僕はうまく想像できない。

それはそれとして、一番「藝大だ！」と感じたのは、トイレに「排水溝が詰まってしまうので絵具を流さないでください」と注意書きがされていたことでしたね。これはね、うん、芸術系の大学なんだなと思った。あと、時間割が張り出されていて、ああこの人たちも普通に第二外国語とかやるんだ、と思ったのもなんだか新鮮だった。

あとはなんか居酒屋でだらだら飲んだりした。「嬉し恥ずかし」的な恋愛について話した。

明日は有給休暇なのでお休みです。そういえばめずらしく台風が関東に直撃するそうですね。まあ、よくあるように夜中のうちに通り過ぎてしまうようですが。

特になにもしていない。考えごとをしたりしたけどだいたいは寝てた。進化心理学の本を読んだ。進化論そのものに対してはまあおおむね妥当だと思うんだけど、「進化論的説明」というやつは往々にして胡散臭くなりがちなきらいがあるのよね。そもそもすべての形質が淘汰によって作られたというのは非自明な前提だと思うし、具体的にどんな淘汰が本質的に効いたと考えられるべきなのかは僕らにはわからないし。もちろん彼らはそんな批判は想定しているから、反証可能性が担保されている事例を持ち出して反論したりもするのだけど、それはどちらかというとレアケースなのではという気もするんだよな。まあ、だとしても彼らの着眼点が興味深いことに変わりはないし、そういう学説的裏付けがなければ広く知られることのない統計資料なんかもあるだろうけれどもね。ただあれだね、進化論に拠ってしまった瞬間にそれは生殖可能性の増大ですべてを説明しようとする力を生むんだよね。あと心理学なので「僕らがどのように意図して行動しているか」ではない「本当の」意図、みたいなのが存在することにされるし。こういうの、僕はわりと警戒心を持つなあ。

明日はねておきたさんとほこらんさんと東京藝大の学園祭に行くつもりです。藝大のお祭りってどんな感じなんだろ。まあ僕は自分の大学の学園祭もほとんど参加したことがないですが……

仕事は比較的暇だったような気がする。ああ、リモートワーク導入に関する議論を行ったのだった。前は「どんなスタイルなら回せそうか」みたいな観点から意見を出したけど、今日は「どんなスタイルなら上層部（およびリモートワークを特に活用しない社員）を説得できるか」という観点で話をまとめる方向に進めた。まあまだ試しの段階なんだけど、うまく動いてくれるといいなと思う。

そういえば私的な情報共有と整理のためにScrapboxを使ってみたんだけどなかなか調子がいい。高すぎもせず低すぎもしない自由度。ただまだスマートフォン向けのクライアントアプリがないっぽいのが少し残念かな。Safariからでもまあ読むだけならぜんぜん問題ないのだけど（そしてSafariでうまく編集できないならたぶんアプリでもうまくできないだろう）。仕事でも使おうかな。ビジネス用途ということになるとこれは課金対象になるか？

それはそれとして、ちょっとひさびさにコードを書くことで作りたいものができたのでいろいろ考えていたのでした。ただ僕がこれまで作ってきたものよりはだいぶ大規模になる（そもそもバックエンドとフロントエンドとアプリを全部作ることになる可能性が高い）ので、拡張性を意識しつつ小さなものから作っていく、みたいなことになるのではないかなと思う。希望する要件はだいたい出したので、あとは一旦実装のほうに頭を使って、それで落とさざるを得ない機能を落としていく、みたいな感じで進めたらいいのかな。デザインは知らん。
これはけっこう長いプロジェクトになると思う。でも僕からこのソフトウェアへの要求が消滅することは今後数十年ないだろう。だからまあ、ゆっくりと作っていけたらと思う。

さて、月曜日に有給をとることにしたので三連休です。今夜はお酒を飲んで本を読んだりしよう。ちょっと気が向いたので整数論の復習をしたりしています。これは別にノートを取ってちゃんとやるタイプのではなくて、単に気楽に読み返して思い出すだけのやつなんだけど。そういえばScrapboxでMathJax使えるんだよな。数学のノートに使うことはできるだろうか？（計算用紙は別途必要だとしても）

仕事は仕事。不具合を直したりした。なんか今週に入って不具合が急にたくさん上がってきたので焦ってたけど、おおむねなんとかなりそうな感じになってきた。良かった……。

僕は意味不明マナーしぐさとかを蒐集するのが大好きなんですけど、ああいうのって、見ているうちにだんだんと内面化してしまう効果があるんですよね。そういうのを見ているうちに、それに従わない人間を見るたびに「あっ、この人はあのマナーを守っていないな」と思ってしまう。そういうのは避けたいんですよね。でも意味不明マナーしぐさは見たい。うーん、難しい。

仕事。困難な不具合をなんとか解消する。何かを解決するために作られたと思われるフラグがあり、しかしそれはどこでも使われていない（し、結果的に不具合を孕んでいる）。この案件に関わっていると「なんなんだ」以外の感情がなくなっていく。なんなんだ、これは。

でもなんとか不具合を倒しきることはできそうな気がする。明日もがんばろう。やれやれ。

仕事は順調ではない。なんか不具合報告が急に相次いできた。まあさ、僕（の前任者！！）が悪いんだけど、今回何も変えてないところの不具合報告が余裕ないときに上がってくると、多少モヤモヤはする。前に言ってよ……みたいな。いや、まあもちろん検証チームもスケジュールのことを考慮した上で小出しにしてくれてるのかもしれないけどさ。やれやれ。これ間に合うのかなあ。

夜はすこし読書をした。法学の入門的教科書を読んでいる。法律というものがどのような立場に拠って立っているのかがすこし分かる。あとすこし民法について調べた。法律のコーナーケースを考えるの楽しい気がしてきたけど、たぶん法学をちゃんとやってる人たちはこんな素人考えは全部わかってるんだろうなとも思う。その上で法の理念に則って解釈と運用をしていこうという世界なんでしょ？すくなくとも理想的には。

さてさて、明日も自明に仕事です。なんか難しそうな不具合をなんとかしなくては。ウー。

ᴋ ĸ κ к ← フォントによっては似て見える文字たち

仕事はなんか順調。不具合を直したり派生プロジェクトがだいたい終わったり。うん、順調。でもなんか今フェーズに追加したい機能の見積もりとかしてるからもしかしたらなんか増えるかも。その分延びるならそれはそれでいいけども。

明日は仕事の前に病院（定例）。