Show newer

I am not the person who is good at the mathematics, but I am the soul who loves to see Mathematical formula and the gentle world.

Therefore, I choose to join here.
mathtod.online/about

我不擅長數學
甚至可以說 數理能力很差

但是進來這裡後 看見那些數學公式 符號 覺得很美 因此follow

很奇特的感覺 不太會形容

曾經盯著一個數學公式看好幾分鐘 覺得每個符號都很美

這樣的我是不是很奇怪

「おーい,証明の行間埋めようぜ.オマエ行間な」

Mathtodon のユーザ数がジワジワ増えてて,もうすぐ三千人ですね.

左揃えにカスタマイズする方が見やすいという好みの人がいることはとても理解できる。

Show thread

別行数式 (TeXだとdisplayのもの) が中央揃えになるの確かにTeXだと何もしないと中央揃えになるし、左揃えにカスタマイズする方法を使っている人もときどき見る。

mathtod.online/@cmplstofB/1092

実は数日前にこっそりMathtodonをMastodon v3.4.4ベースからv3.4.6ベースにアップグレードしていた。

紹介のあった Categories and Sheaves

Categories and Sheaves (Grundlehren der mathematischen Wissenschaften, 332) | Masaki Kashiwara, Pierre Schapira | Algebra amazon.co.jp/Categories-Sheave

僕は未検証ですが $P\ne NP$ の独自の証明を持っています。

(証明)
$P=NP$ と仮定する。

$P$ はそもそもクラスである。クラスが $0$ なわけがないので両辺を $P$ で割って
\[
1=N
\]
を得る。

何らかのクラスである $N$ が $1$ なわけがないのでこれは矛盾である。

したがって $P\ne NP$ である。

数学クラスタにももうちょっと盛り上がれる賞欲しいよな

専門家が表に出てないというのもあるけど、フィールズ賞とか門外漢だと碌に誰も解説できんし

ああ〜なるほど確かに代入も合わせると違和感になるのがわかりました。
mathtod.online/@mathmathniconi

僕は勝手に結合度合いをコンパイラに合わせて

$A$: 環
$B$: 環 $= A$

とあったら

$A$: 環
($B$: 環) $= A$

こんな感じで結合させて読んでしまっていました。(勝手にコンパイラフレンドリに読んでいた)

Show thread

RustやSwiftなど変数名の後に型を書くのは数学と同じなので、僕はとても気に入っています。(前にある場合と比べてパーサを書くのがちょっと手間みたいですが)

数学では、

$A$: 環
$I$: $A$のイデアル

のようによく書きます。

unitaryは1っぽいものみたいな意味があるので、unitary commutative ring (単位的可換環) のときは単位元を持っているという意味に使われたりしていますね。unitary matrix 以外だと

🎉
おもにWebやEPUB上で数式を記述するための言語である,MathMLの最新版,MathML 4.0がW3C作業草案として公開されました。

(個人的に)大事な変更点
・負数の表現を<mn>ではなく<mo>で行うべきだということが規格票で明示されるようになった。(<mn>-2</mn>ではなく<mo>-</mo><mn>2</mn>)
これは負数に前置されている減算記号が単項演算子であるためである。

・数式の〝意図〟を対人的に示す,intent属性が追加された。規格票では主に数式の音声化を意図しているものの,それを必要としない人間にとっても,数式を分かりやすく表示できるようになるなど利点があると思う。
例::
<msup
intent="power(base, exp)">
<mi arg="base">x</mi>
<mi arg="exp">n</mi>
</msup>

w3.org/TR/mathml4/
w3.org/blog/news/archives/9677

$${}^t\overline{\text{中臣}} = (\text{中臣})^{-1}$$

_人人人人人人人人人人人_
> なかとみのユニタリ <
 ̄YYYYYYYYYYY ̄

Show older
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.