なかにゃん @naca_nyan@mathtod.online
Logic, Category Theory, Type Theory
ふれあど https://fla.red/@naca_nyan
Twitter https://twitter.com/naca_nyan
Joined Apr 2017
コードスニペットも数式も貼れる https://fla.red 、わりといいかもしれない
@keep_OC Are you an $\mathcal Kimarian$?
naca_nyancat
そいういうことだったのか
なかにゃん
boosted
$\underbrace{{\rm Math}}_{数学}\underbrace{{\rm to}}_{徒}\underbrace{{\rm don}}_{丼}$
おっこれは知らなかった
kirakiratter.com 、デザインがたいへんかわいいので好き
なかにゃん
boosted
ラスカルってタイピングしようと思ったらラプラス、パスカルってタイプミスして手癖って怖いなってなった。
なかにゃん
boosted
BSTがbinary search treeに見えた
なかにゃん
boosted
@naca_nyan
$x$に関する二次方程式、
$$ax^2 + bx + c = 0$$
を解こう（$a,b,c$は実数で$a \neq 0$）。
この方程式の解は、
$$x = \dfrac{-b\pm\sqrt{b^2-4ac}}{2a}$$
で求められる。
>BT つくって
なかにゃん
boosted
naobou.fun作りたいンゴねぇ
rietion.funつくるかあ
ぼくもmstdn.jpの垢つくったほうがいいかなあ…(意志薄弱)
ていうかだれもmath丼に来ない…
バラバラ を プリパラ に空目
へえへえも丼始めたのか
Logic, Category Theory, Type Theory
ふれあど https://fla.red/@naca_nyan
Twitter https://twitter.com/naca_nyan
Joined Apr 2017
