創造と破壊。
7/21
23時就寝、7時起床。
今日は海の日。久々の祝日で体も心も潤う。
夏休みといえば自由研究、ということで数学の研究をしている。最近のプレプリントで定義された inversions tableaux と Kohnert diagram の間にいい感じの全単射が構成できそうと思ったのが探究の始まり。たぶんできたと思う。証明は後回しだけど。以下のページにまとめた。今後も更新されるかも。
こういうのって著者に連絡した方がいいんだろうか。するほどでもないしやめとこう。
7/22
22時就寝、6時起床。
労働をした。夏休みなのか通勤途中に生徒がいない。ぼくも夏休みになりたい。
8月が近いので、Natoriを完成させないといけない。
7/23
23時就寝、5時起床。寝れなくてつらい。
労働をした。いろいろな人からいろいろな仕事が来た。
Misskey.ioはドスケベすぎてちょっと合わないなと思っていたけど、センシティブファイルをオフにしてみれば大丈夫になるだろうか。試してみる。あとは小規模サーバーを立てることも考えてる。
首相退陣のニュースは誤報だったらしい。こういうFAKE NEWSを流布した人こそ辞めるべきなのではないか。
「某政党は外国人労働者に反対しているように見えて、実は外国人にも日本人と同じ給料を渡すべきと主張していた」とどこかで見たけど、ソースを確認できなかった。某政党に反対している人は「外国人労働者なくして日本経済は成り立たない！」と主張しているけれど、それなら外国人労働者の奴隷のような待遇を改善したらいいのではないでしょうか。それができないなら某政党のスローガンのようになってしまいますよ。
数式が使えるMisskey、通称Mathkeyの開発を進めた。
7/24
23時就寝、6時起床。
労働をした。やることがなくなってしまった。でも明日から大きい仕事がやってくる。
7/25
22時就寝、6時起床。
労働をした。システムを視察した。お金がかけられたシステムだそうだけど、案外大したことないのでは、という気持ちになった（未経験の世界だけどね）。今後の仕事はこれをうちの職場に合わせて作ることになる。
7/26
23時就寝、7時起床。
記事を書き進めている。
あつくておひるねができない。
東京でも金沢でも花火大会をやっているらしい。最後に花火を見たのはいつだろう。
スライドを作った。
7/27
0時就寝、8時起床。
なんかデカい数字の楽曲が大量の音ゲーに収録されていった。つよそう。同時収録、最近の流行りなのかな。
「数字であそぼ」を読んだ。