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

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

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

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

とあったら

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

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

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

数学では、

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

のようによく書きます。

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

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

＿人人人人人人人人人人人＿
＞　なかとみのユニタリ　＜
￣ＹＹＹＹＹＹＹＹＹＹＹ￣

なるほどサイコロもチップも、dieは打ち抜いて作った型のことなのか

酵素 …… 化学物質なのかな……?

色素 …… いろんな物質

葉緑素 …… ?

酪素 …… これは化学物質かも

形態素 …… 物質ですらない

modeln't LOL

あ、そういえば \pmod というのがあります。

\pmod の場合:
$a\equiv b\pmod m$

\bmod もあります。

\bmod の場合:
$a\equiv b(\bmod m)$
(↑ \bmod は2項演算としての mod 記号なのでかっこを付けるには合いません)

普通に \mod と書いた場合:
$a\equiv b (\mod m)$
(↑あまりいい感じのスペーシングじゃない)

アニメーションがすごい

https://mathtod.online/web/statuses/108615982110373165

「行列」の微分は定義を確認した方がいいと思います。(そもそも行列の微分なのかどうかから)

$A$ が $n$ 次正方行列

$x$ が $n$ 次元縦ベクトル

だとすると、

$Ax$ は行列ではなく(いやこれも行列だけど) $n$ 次元縦ベクトルです。

あとは $\partial/\partial x$ の定義の確認ですね。

なるほどこれが改訂新版か < 類体論へ至る道 改訂新版｜日本評論社 https://www.nippyo.co.jp/shop/book/5226.html