濃度$q$の有限線型空間$V$のテンソル代数が$F_q$になる気がするので、これで恐らく斜体のWedderburnの定理が示せた気がする(そうすればテンソル代数の普遍性から$V$と線型同型な斜体たちはみんな環としての同型を生やせるので)

\[\require{enclose}\def\tx#1{\style{font-family:inherit;font-weight:bold;text-shadow: 0 0 8px black}{\text{#1}}}\def\nl#1#2#3#4{\style{display:inline-block;transform:scale(1.1,1.3)rotate(#1)}{\enclose{circle}{\phantom{x}}}\mskip-#2 mu{\style{font-family:inherit;font-weight:bold;font-style:oblique;text-shadow: 0 0 8px black}{\sf\Tiny #3}}\mskip#4 mu}\begin{array}c\Huge\tx終\\[-1ex]\!\tx{制作・著作}\!\\\hline\!\!\nl{-40deg}{13}N9\nl{20deg}{17}H5\nl{-40deg}{13}K0\end{array}\]

Show thread

単独でも適切に描画できるように\require{enclose}宣言を追加し,また文字数をさらに削減。
ワトソン氏の教えのおかげでLaTeXマクロ部分(非CSS)の数値・単位はマクロ定義内に収めることができたので,一層の省字が実現できた。(一文字のマクロ引数は波括弧で囲う必要がないという仕様も利用できるようになった)

\[\require{enclose}\def\nl#1#2#3#4{\style{display:inline-block;transform:scale(1.1,1.3)rotate(#1)}{\enclose{circle}{\phantom{x}}}\mskip-#2 mu{\small #3}\mskip#4 mu}\begin{array}c\Huge終\\[-1ex]著作・制作\\\hline\nl{-40deg}{16}N7\nl{40deg}{20}H2\nl{-40deg}{15}K0\end{array}\]

269文字,この辺りが下限だと思われる。
(なにやってるんだろう私……)

Show thread

ここにも1000以下の素数がどうのというの出てくるようになってしまったのか…

「君、数学やってる?」
「あー…やってないですね」
「今度新入社員が数学やってるか聞いてくれって頼まれてさ」
「それだったら、自由の反対は何かと聞いてみるといいですよ。それで忘却と答えたら数学やってますね」
「…自由の反対は?」
「忘却」

\[\def\nl#1#2#3#4{\style{display:inline-block;transform:scale(1.1) rotate(#1) scaleX(1.2)}{\enclose{circle}{\phantom{x}}}\mskip-#2{\small #3}\mskip#4}\begin{array}{c}\Huge終\\[-1ex]著作・制作\\\hline\nl{-40deg}{15mu}{N}{8mu}\nl{40deg}{20mu}{H}{2mu}\nl{-40deg}{15mu}{K}{0pt}\end{array}\]

LaTeXも何も全く理解していないことがバレてしまう

マストドンで文字数制限引っかかるの初かもしれん

せっかくMathtodonにいるんだから……
\[\require{enclose}\begin{array}{c}
\Huge終\\著作・制作\\\hline
\style{display:inline-block;transform:scale(1.1) rotate(-40deg) scaleX(1.2)}{\enclose{circle}{\phantom{x}}}\mskip-15mu{\small N}\mskip8mu
\style{display:inline-block;transform:scale(1.1) rotate(40deg) scaleX(1.2)}{\enclose{circle}{\phantom{x}}}\mskip-20mu{\small H}\mskip2mu
\style{display:inline-block;transform:scale(1.1) rotate(-40deg) scaleX(1.2)}{\enclose{circle}{\phantom{x}}}\mskip-15mu{\small K}
\end{array}
\]

「君、数学やってる?」
「あー…やってないですね」
「今度新入社員が数学やってるか聞いてくれって頼まれてさ」
「それだったら、自由の反対は何かと聞いてみるといいですよ。それで忘却と答えたら数学やってますね」
「…自由の反対は?」
「忘却」

              終
            制作・著作
            ━━━━━
             ⓃⒽⓀ

ホーム画面にアイコン化して置いてるやつだと、トゥートする度に下の方のtlが消えたりして厄介なんだが、アプリになってるとそういうことがなくて楽

mathtodonはMath Jaxを使っているんだっけ
すると描画になるのか

なんて言ったらいいんだろう
ちゃんと数式を表示してくれない

Show more
Mathtodon

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