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

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モナドで数学的に扱えているような気もする。

#Mathtodon はこの年末のどこかで小一時間(目標の)メンテナンスしようと思います。なんか繋がらないと思われたら、生暖かく arXiv なりなんなりでもご覧になられながらお待ち下さい。

$\exists$ Maintenance time $M$ such that $M \subset$ from now to the end of the year and $|M| < 1\ \mbox{hour}$

#Mathtodon開発 #MathtodonDev

おもしろ

米田^H^Hヨネダ2000が数学(解析学)を学んでいるとき

「絶対に〜収束させようね〜♪」

(音声: https://twitter.com/NeXTSTEP2OSX/status/1606084419554623493 )

$\{M_n\}$: 「私たちが……、この級数 $\displaystyle \sum_{n=0}^\infty a_n$ の……、マジョラントだーっ!!!!!」
\[
\forall n, |a_n| \leq M_n.
\]

(音声: https://twitter.com/NeXTSTEP2OSX/status/1606112412515864577 )

あと6文字なら

切, 頂, 十, 二, 面, 体

の6文字とか(ぉ

@UniqueCity Are you a spammer?

記述統計があるなら
面接統計もあるはず

ついにMathtodonでRAの募集情報が!

@cartierboxing あなたはspammerですか?

「Taylor展開がまっったく収束しない関数」

ということは絶対、収束しないのか!

「定義を述べられる」という力はもうそれだけで数学レベルがちゃんとしている感じですね。

大学では逆行列の定義は典型例でしょうし、小学校では円周率が何のことなのかとか言えるだけで素晴らしいと思います。

矩形を「さしがた」、菱形を「りょうけい」と読む読み方を知らなかった!

@selbstdenker ゴレンキュー! (くーぅボケが思いつかなかったのでそのまま投稿)

(5連休のうちにMathtodonをアップデートするぞーと思っていたらもう5連休が終わりそう)

先週23日水曜日が祝日だったので、木曜日と金曜日に休暇を取れば5連休になることに火曜日に気付きました。

(22日火曜日に木曜日と金曜日の休暇を取った上でトゥート)

実は5連休

Let $X$ be a set.

I often use $\lvert X\rvert$ as the cardinarity of $X$.

I sometimes use $\# X$ when many vertical bars appear.

And I use $\mathscr{P}(X)$ as the power set of $X$.

I sometimes use $2^X$. It's useful to ask why we write $2^X$ for the power set.

集合$X$の濃度は
$\lvert X\rvert$ をよく使います。
縦棒が多くて混乱しそうなとき、割り切るとか書きたいときとかは、 $\# X$ を使うこともあります。

集合$X$の冪集合は $\mathscr{P}(X)$ をよく使います。

$2^X$ もときどき使いますが、むしろなんで冪集合の記号が $2^X$ という記号になっているんだろうねという問いとして使うことが多いです。