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

#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でわし的ヒットした!

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

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

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

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

「著者が著者なので」

おお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.

This Mastodon server #Mathtodon has many Japanese users on site, but of course we welcome any language speakers. Math topics, math-related gags, and chit-chat are all welcome.

Ce serveur Mastodon #Mathtodon compte de nombreux utilisateurs japonais, mais nous accueillons bien sûr tous les locuteurs de langues. Les sujets mathématiques, les gags liés aux mathématiques et le bavardage sont tous les bienvenus.

NaNの扱いはmaybeモナドで数学的に扱えているような気もする。たぶん(maybeとかけてトゥート)。

NaNの扱いはmaybeモナドで数学的に扱えているような気もする。