Pinned post

ファジィ論理によるカルバック・ライブラー情報量の特徴付けをしたかった話
mathlog.info/articles/2866

Pinned post

mathlogに投稿しました

圏論に元を取り戻そう
mathlog.info/articles/2557

高評価、コメント、待ってます

マスターデュエルとりあえず始めてみたが、知識が無いので戦い抜く自信がない

計算しなくていいなら楽なんだが、この年になると3ケタ+2ケタの計算がもう面倒で草

Show thread

衛星画像だと噴煙が平面に見えるから地球って大きいなと改めて思った

というか現地どうなってるんだろ、情報何一つ出てこないけど

表示名 boosted

iPad Proほしいほしいって散々言っていたけど、いまあるGoogle Pixel Slate i5で十分な気がしてきた。。ターミナル使えるし、Jetbrains IDEも使えるし...

昼頃? のニュースだと心配ないとか言ってなかったか?

表示名 boosted

トンガの噴火の津波,奄美大島で1.2mを観測(NHKのニュース

表示名 boosted

$a^{x}=b$のとき$x\colon a\to b$とすると射が一個なのでthin category、更に全部同型なのでgroupoid

この辺応用してlog圏みたいなの作れそうだけど名前ついてないんかな

$\log_{a}b\cdot\log_{b}c=\log_{a}c$って射の合成じゃん

この圏は何だ?

$\lbrack\Bumpeq\rbrack$$\lbrack\Bumpeq\rbrack$$\lbrack\Bumpeq\rbrack$$\lbrack\Bumpeq\rbrack$
$\lbrack\Bumpeq\rbrack$$\lbrack\Bumpeq\rbrack$

  $\vert$
    $\vert$

$\square$  $\square$  $\square$

 $\vert$

$\bumpeq$

線型代数からリー代数に進んで無限次元の表現論に進むコースとか結構良いのではないか。すぐ研究入れそうだし、string理論との関連もあって熱いし

youtube.com/watch?v=m4Uth-EaTZ
これhighestって言ってるから、対戦ゲームにできるのか

5個茶駒おいて、順番に白駒置いてって、置けなくなったら負け。どんなんでも49手で終わる(らしい)

表示名 boosted

この仮定って本質的なんですか,緩めたらどうなるんですかみたいなのを逐一質問できる人がいないと勉強にならないよね

表示名 boosted

一周回って先生がいないとまともに勉強できないなと感じている

$\mathrm{times}(x, y, z)\equiv xy=z$という文を無限個用意したとして、結合性とかの証明に無限の長さの文が必要になる、たぶん

Show older
Mathtodon

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