Notices by 表示名 (mathmathniconico@mathtod.online)

ワンピース全話配信やってて草　何日かかるんだｗ

これ一年間垂れ流し続ける気が狂った企画だった

@cmplstofB どれ一つとしてやってない自信だけはある

エレベーターだって窓無いし、やろうと思えば窓無しもできると思う

中古で売ったり買ったりするのと、あとはまあ窓開けた方が安いし軽いとか？

モナドについてしっくりくる説明を思いついた

(1) モナドは、表象にどのくらい膨らみを持たせるか、を与えている
(2) その代数は、膨らんだ表象を簡約する操作、計算方法である
(3) 従ってEM圏は簡約のなす圏であり、クライスリ圏（＝ベースの圏とほぼ同義）は全部元に戻すという操作で自然に埋め込まれている

この意味でmonadicは簡約の圏と圏同値という意味で価値があることになる。どういった計算が成されるのかを具体的に追うことができる

言えた

チェビシェフ多項式を用いて$\cos{n\theta}=T_{n}(\cos{\theta})$だから、$\cos{\theta}$は$T_{2q}(x)-1$の根でなければならない。チェビシェフ多項式の最高次項は$2^{n-1}x^{n}$なので、$c$は$2^{n-1}$を割り切る。でもピタゴラス三角形の斜辺は必ず奇数なので$c=1$つまり自明な組$(a, b)=(0, 1), (1, 0)$しか存在しない

有理数解が存在しないので有限小数の解も存在しない

$\theta=\frac{p}{q}\pi$が$\cos{\theta}=\frac{a}{c}, \sin{\theta}=\frac{b}{c}$を満たすとする。（互いに素）

$z=e^{i\theta}=\cos{\theta}+i\sin{\theta}$について$z^{2q}=e^{2p\pi}=1$より$z$は$f(X)=X^{2q}-1$の根。
\[ f(z)=\cos^{2q}{\theta}+\dotsb+i(\dotsb)=0 \]
の実部だけ見ると、$\sin^{2}=1-\cos^{2}$より整数係数多項式となる。

最高次係数を計算して有理根定理を使えばある程度条件が絞れそう

@cmplstofB ドット記法いい感じですよね。subscriptなどが( )なのは慣れないとですが

ちょっとsyntaxが独特で拡張性が高そう（TeXとの互換性はない）

Typstとかいう強そうなサービスを観測した。Web出力も想定にあるっぽいので、TeXの代替になるかもしれない
https://typst.app

現状日本語は非対応っぽい

@cmplstofB
（ワイのＰＣ広告流れないとは口が裂けても言えない）

Youtube Audio Fixer
神プラグインをまた一つ見つけた
片側だけの音源をモノ化して聴けるようにしてくれる

https://chrome.google.com/webstore/detail/youtube-audio-fixer/kffimnekdgebaakicpmjkpafgkfejdmi

これくらいの機能は標準で付けてくれマジで（知らないだけであるのか？）

カリン酒ならある。梅酒とはまた違った味わい

mathjaxってポリモーフィズム的なことできないん？

@cmplstofB
ラクダみたいな唇だったらなんか嫌だな

General Purposeかどうかに疑問が残る気がしないでもない

このフィボナッチ数列への導入いいな

I’ve been on spring break this week, and so I’ve been catching up on things I’ve been meaning to do, like write this blog post: “an average number of 1s and 2s” https://thalestriangles.blogspot.com/2023/03/an-average-number-of-1s-and-2s.html
#math #blog

CSSが分からない？
大丈夫だ、俺も分からないからCtrl+Shift+I押して頑張れ、以上