こんにちは、ヤング図形です。
11/24
1時就寝、7時起床。
Xのアカウントの所在地がわかるようになっていた。どういうアルゴリズムで出してるんだろう。それがわからない以上は「所在地が日本になっているからこいつは日本にいるんだ！」といったふうに騒ぐのは控えた方がよさそう。まあ、X民の知能では「表示される所在地＝実際の所在地」となっているようなのでお祭り状態だけど。
無理数の無理数乗が有理数になる例という定番ネタでは√2^√2が有理数または無理数ということを使っている。Chompゲームが先手必勝という別の定番ネタでは、1つだけ取り除いた盤面が先手必勝または後手必勝であることを使う。似ているなと思っていたけど、無理数が有理数でないものである一方で後手必勝は先手必勝でないものとして定義されていないので、よく見ると違う。Chompが先手必勝であることの証明に排中律は使わない。指摘されて気がついた。やはり他人から指摘をもらうことは大事だね。
コートを買いに行った。
疲れ果てた。
11/25
22時就寝、6時起床。
労働をした。
11月はSkebキャンペーンが連続していたので出費が増えてしまった。来月は控えたい。
11/26
22時就寝、6時起床。
労働をした。
数学モチベが高い。たくさん数学してたくさん文章を書きたい。特に代数モチベが高い。解析モチベが高かったことはないけど。でもいつかは解析にも取り組まないといけない。
記事を書き進めた。
11/27
22時就寝、6時起床。
労働をした。何もしてない。圏論をやりたくなった。
共同通信がデマを流したらしい。むしろ正しいニュースを流したことがあるのだろうか。
冬休みにやりたい自由研究のネタが見つかった。うまくいくかはわからない。
11/28
22時就寝、5時起床。早く起きたので数学をした。
労働をした。今日も何もしてない。
Skebが納品された。かわいいね。これで現在6人いる公開済みオリジナルキャラクターのイラストは全員分描いてもらったことになる。本当は早稲くみあさんたちも含めて8人だけど、早稲くみあさんはVRoid Studioで作ったのでちょっと系統が違う。
数学とプログラミングの両方ができる人は実はそう多くないのかもしれない。能力を活かしていい感じのものを作りたい。
11/29
22時就寝、6時起床。寝る前に数学、起きたら数学！
もちろん記事を書き進めた。12月までに間に合わせるぞ。
おひるねした。
東北大学が留学生の学費を値上げするらしい。こういうことできたんだ。記事には「留学生の学費が高いのは海外では当たり前」と書いてあったけど本当だろうか。河東先生の記事ではアメリカの大学院ではTAに給料が出て、授業料免除になることもあると書かれていた。アメリカ以外では違うのかもしれないし、昔と今とでも違うのかもしれない。本当に海外では高いのが普通なら、日本がそうするのも変な話ではないよね。東北大以外にも広がっていきそう。
11/30
アドベントカレンダー前日ですが、記事を公開した。代数学の基本定理をいろいろな方法で証明するおはなしの続き。
ついでに組合せ論サイトのアップデートを実施した。既存のテーマを魔改造して使っているのでそろそろ限界かもしれない。自作テーマづくりを少しした。
2時就寝、7時起床。
yukicoderで作問作業をした。そろそろアドベコンが始まってしまう。ぼくの出題は21日なのでまだ余裕あるかしら。とはいえ早めにテスター募集をかけたい。
気力を振り絞ってブルアカのイベントストーリーを読んだ。最近ログインすらしていなかったが、過去のぼくに刺さったヤクモがいるということで、これは読まないといけないということで読んだ。面白かった。ヤクモからは計算ずくめという雰囲気が漂ってくるけど、その根底には本への愛がある。他の生徒もキャラが立っていていいね。
本を出したくなった。売るかどうかはともかく、これまで書いてきたものがたくさんあるので、本という形にしてみたい。実は昔やったことがある。数学のおはなしを本にして友人にプレゼントした。またやりたい。