表示名 @mathmathniconico@mathtod.online
Joined Jun 2017
Pinned post
ファジィ論理によるカルバック・ライブラー情報量の特徴付けをしたかった話
https://mathlog.info/articles/2866
Pinned post
マスターデュエルとりあえず始めてみたが、知識が無いので戦い抜く自信がない
うわIAの問4めんどくせぇ
https://twitter.com/HirokazuOHSAWA/status/1482865704634548224/photo/1
この問題いる？
散布図見て相関係数を推測することに何の意味が…
衛星画像だと噴煙が平面に見えるから地球って大きいなと改めて思った
というか現地どうなってるんだろ、情報何一つ出てこないけど
表示名
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$
$\lbrack\Bumpeq\rbrack$←Tie Fighter
線型代数からリー代数に進んで無限次元の表現論に進むコースとか結構良いのではないか。すぐ研究入れそうだし、string理論との関連もあって熱いし
https://www.youtube.com/watch?v=m4Uth-EaTZ8
これhighestって言ってるから、対戦ゲームにできるのか
5個茶駒おいて、順番に白駒置いてって、置けなくなったら負け。どんなんでも49手で終わる（らしい）
表示名
boosted
この仮定って本質的なんですか，緩めたらどうなるんですかみたいなのを逐一質問できる人がいないと勉強にならないよね
表示名
boosted
一周回って先生がいないとまともに勉強できないなと感じている
$\mathrm{times}(x, y, z)\equiv xy=z$という文を無限個用意したとして、結合性とかの証明に無限の長さの文が必要になる、たぶん
Joined Jun 2017
