diary

0910

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

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

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

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

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