y. @waidotto@mathtod.online

petit1の詰め替え用のインクをとりあえず12個ほど補充．ペン本体が200円，インクカートリッジx3が100円とはいえインクが切れるのはかなり早い印象(30枚のノート一冊でカートリッジ3個使うくらい)．

有理数体$\mathbb{Q}$の部分環の全体(の初等同値類)がelementary classをなすか(言語に不等号$<$を加えるかどうかはお好みで)という問題を考えてみたがよくわからない．感覚的には超積で全然閉じていないような気がするが，どう示したものか．

2章23問目まで #アティマク進捗 http://iso.2022.jp/

いい感じの反例が構成できた気がするので証明の詳細を詰めてみよう

kamo_hiroyasu先生おすすめのPILOTのpetit1を買ってみた．書き味(interface)は万年筆と同じなのに実体(implementation)はサインペンなのでメンテナンスの必要がなく，私のようなものぐさにはぴったりという感じ．ただ，入手しづらいのが難点．

今日は圏を論して同型ったので有意義な一日だった

開被覆$\mathcal{V}$が開被覆$\mathcal{U}$の細分のとき，$\mathcal{U}$は$\mathcal{V}$の何と呼べばいいんだろう(気分的には$\mathcal{U}$ dominates $\mathcal{V}$とか$\mathcal{U}$ subordinates $\mathcal{V}$とか言いたいが)

hyperrefのリンクの枠が小さすぎて困ってたけど，これは
$ dvipdfmx -g 1pt hoge.dvi
などとオプション引数を指定すれば解決できるようだ(pdfborderstyleで枠を下線に変えてしまう方が楽ではあるが)．#メモ #memo

トーマス・トウェイツ『ゼロからトースターを作ってみた結果』読了．現代知識チート失敗談(？)．読後に周囲を見回すと，自分ひとりでゼロから作れそうなものがほぼ何もないことに気付く．

ベーシック圏論を購入した

POV-Rayで簡単なgifアニメを作ってみた．

あれ？ 画像が投稿できなくなってる

関東つどいに応募した．

@mathmathniconico こういうのです
https://www.encyclopediaofmath.org/index.php/Net_(of_sets_in_a_topological_space)

位相空間のネットワーク(network)の概念，ググラビリティが低すぎる(ググってもネットワークトポロジーの話しか出てこない)

関東つどいに応募するためにアブストを書くために内容を考えなきゃ

natureの"Learnability can be undecidable"，数学的な内容はCH(というか$\aleph<\aleph_\omega$)がZFCから独立であることをFactにすれば読める話で，重要なのはConclusionにある「"learnable"をアルゴリズムの存在でなく関数の存在で定義してしまうとこんなことが起きてしまうので注意しましょう」の方だと思った．

2019年の抱負:「淡々と 圧倒的に やっていく」
小目標:「腹八分」「手を動かす」「英語」

今回の問題は有名な割に名前がなかったので名前を考えるのが大変だった(最初はExistential Theory of the reals with the sine functionにしようと思っていたが，数理論理学を知らない人に伝わりにくそうなのでやめた)

あけましておめでとうございます．
2019年最初の決定不能問題ギャラリー第11弾は「正弦関数を含む式の求根問題」です．
http://iso.2022.jp/math/undecidable-problems/#root-finding-problem-for-expressions-with-the-sine-function
順序環の言語に$\sin$関数を追加すると，実数体$\mathbb{R}$の1階理論が決定不能になってしまうことを見ます．
#たのしいけいさんろん https://mathtod.online/media/_lgoFJBf0LpBmd108zw https://mathtod.online/media/NZ5gsWym4xUZ0_DZXOI https://mathtod.online/media/-5R4bIdp-n2a68KGX2s https://mathtod.online/media/qIHzvBhNDuxcvUutz58