Notices by $\mathscr{N}_{yoho}$ (nyoho@mathtod.online), page 3

#Mathtodon開発
#Mathtodon にさらにMastodon v3.5.5 までマージしました。
- [[https://github.com/mastodon/mastodon/releases/tag/v3.5.1][v3.5.1]]
- [[https://github.com/mastodon/mastodon/releases/tag/v3.5.2][v3.5.2]]
- DMでの警告がもっとわかりやすく
- [[https://github.com/mastodon/mastodon/releases/tag/v3.5.3][v3.5.3]]
- 投稿フォームに language dropdown
- limited account
- [[https://github.com/mastodon/mastodon/releases/tag/v3.5.4][v3.5.4]]
- [[https://github.com/mastodon/mastodon/releases/tag/v3.5.5][v3.5.5]]

年末と言っていましたが年末年始に増加します。どうぞよろしくお願いいたします。

4時間半もメンテナンス状態だったのか……サーセン

#Mathtodon に Mastodon v3.5.0 までをマージしました。

ふぅ……

- モデレータの決定に対してappealができるようになった。
- explorerタブ(ページ)ができた。

一番大変だったのはPostgerSQLが14にアップグレードされたことでした。でも先人の知恵の便利コンテナを使うことでなんとかできました。

おかしいところがあったらお教え下さい。> all

やった! DockerコンテナのPostgreSQLのデータを9.6から14にアップグレードすることに成功した! tianon/postgres-upgrade という便利コンテナを使いました。

https://github.com/tianon/docker-postgres-upgrade
#Mathtodon開発

I posted a fun hash tag #証明追ったことない定理激白 in Japanese, which means "a theorem whose proof I've never followed".

Use #TheoremWhoseProofIHaveNeverFollowed if you're an English speaker.

#証明追ったことない定理激白
ゲーデルの不完全性定理まわり

(命題論理とかの完全性定理はちゃんと追ったつもり)

やった! #証明追ったことない定理激白 は初めてMathtodonでわし的ヒットした!

セカンドの定理ぐらいまでなら追ったんだけどなー(嘘)

#証明追ったことない定理激白
広中の特異点解消定理

証明を追ったことない定理を激白する企画とか面白いかも
#証明追ったことない定理激白 タグを作ろう。

@cuplysees Mathtodonはウェブ mathtod.online で見たときに数式がレンダリングされるようになっています。tootの中身のデータはいじってないので、他の専用アプリではTeXとしてレンダリングされないんです(特別に作られた専用アプリでない限り)。ご了承下さい?

$\mathbb{C}$ は、実数係数の $x$ の多項式全体を $x^2+1$ が $0$ になるように割って作るのが簡単ですしそもそもの動機通りですし筋が良いんじゃないかな〜と思います。

@MageManager TeXでは、カーネルは $ker$ ではなく $\ker$ を使われるといいと思います。 $ker$ だと $k$ かける $e$ かける $r$ と区別できないので。

@MageManager modはpmodとかおすすめです。かっこも書かなくていいですし、かっこのスペーシングもかっこよくなります。

$a (\mod n)$
↓
$a \pmod n$

「著者が著者なので」

おおJean-Pierre Serreさんじゃ

いろんな言語でいろんな言語でおけと書いてみた。

이 Mastodon 서버 #Mathtodon 에는 사이트에 많은 일본 사용자가 있지만 물론 모든 언어 사용자를 환영합니다. 수학 주제, 수학 관련 개그, 잡담 모두 환영합니다.

這個 Mastodon 服務器 #Mathtodon 網站上有很多日語用戶，但我們當然歡迎任何講語言的人。 歡迎討論數學主題、與數學相關的笑話和閒聊。

这个Mastodon服务器 #Mathtodon 上有很多日本用户，当然我们也欢迎任何语言使用者。数学话题、与数学有关的插科打诨和闲聊都是我们欢迎的。

Questo server Mastodon #Mathtodon ha molti utenti giapponesi sul sito, ma ovviamente diamo il benvenuto a qualsiasi parlante di lingue. Argomenti di matematica, gag relative alla matematica e chiacchiere sono tutti benvenuti.

Este servidor Mastodon #Mathtodon tiene muchos usuarios japoneses en el sitio, pero por supuesto damos la bienvenida a los hablantes de cualquier idioma. Los temas matemáticos, los chistes relacionados con las matemáticas y las charlas son bienvenidos.

Dieser Mastodon-Server #Mathtodon hat viele japanische Benutzer auf der Seite, aber natürlich begrüßen wir alle Sprecher dieser Sprache. Mathe-Themen, Mathe-bezogene Gags und Plaudereien sind alle willkommen.