0131
昨晩はapmの向こう側のDBに不整合を起こしてしまった?件について関連するらしきissueにコメントを書きました。いまのところ手動で直してもらっているようなので、僕も直してください、というような。
親しくない人への依頼の文章はただでさえ難しいのに、英語とかいう自分でなに言ってるのか三割くらいしか確信が持てない言語でやるのはもっと難しいです。はー。
あとは数学を少々。$\Z[i]$の素元について。これが素元分解環であることはまだ示していませんが。
今日は特になにもしていません。アニメを観つつ、ちょっとお酒を飲むつもりです。そういえば会社の人が関数プログラミングに関心を持っているようだったから、すごいH本の読書会しませんかって誘ったのだった。まあ、そんなに余裕があるのかよくわかりませんけれど(余裕は(大学時代にやっていたこととか考えると)絶対あるんだけど、会社員はもはや勉強会とかリソースを削ってまでやることじゃないと認識しているっぽいので、そんなに準備とかしてくれないことが経験的に知られている)。
「冴えない彼女の育てかた」観ています。絵柄がかわいいので楽しいのだけど、観ているととてもつらい気持ちになります。複数の意味で。最初はただ僕にはそういう交友関係がなかったな、って思っただけだったけれど、こないだの回で決定的に、僕にできないことをできる奴なんだと(あるいは、そう、彼は圧倒的に主人公なんだなと)思い知らされて、もっとつらくなりました。涙が出ないのが不思議なほどのつらさ。僕はなんだって、こんな。