$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online

証明のところに「補題10.5から従う」とだけ書かれていて、どうやって補題10.5を使えばいいのかさっぱりわからないというところが強敵です。

キューネンの集合論の補題10.6の(2)が強敵過ぎるwww

ハイブリッド開催助かる〜

「ZF集合論はZF公理系より出でてZF公理系よりZFし」(謎)

あとMastodon version 4台のマージもできる準備だけはしています。(これも今年の夏前にやった)

夏のスペシャルが終わって少ししたら、このあたりできたらいいなあ #Mathtodon開発

もう6年以上 #Mathtodon をゆっくりゆっくりやっていますが、使っているとTeX形式部分がレンダリングされるのがかなり遅いときがでてきます。

それをどうにかしたいと思って何年も前からサンプルコードを書いたりして手元ではできそうなところまで夏前にできています。(できているつもり)

もっと快適な #Mathtodon にしますので、どうか気長に、生暖かく見守っていただければ幸いです🙏 #Mathtodon開発

中点を取って、ついでに番組名にならって「ー」を取ってみよう。

#なるほどザ夏の採点スペシャル はあらゆるものを終えてやっと決着をつけるにらめっこを残すのみとなった。

Mastodonの仕様では(Mathtodon含む)中点(・)はハッシュタグに入らないのか

#なーるほど・ザ・夏の採点スペシャル はあらゆるものを終えてやっと決着をつけるにらめっこを残すのみとなった。

人工衛星インターネット🛰️使ったことないけど、ちらほら使用されている話を聞くようになった。技術の分野は本当に着実に21世紀を進んでいると感じる。

これさすがにスパムだよなあ……