めぐみん2 (@coherence3cat) header
めぐみん2 (@coherence3cat) profile picture

鍛練 (discipline) 疑問を起こし、考え、考え抜く

Joined March 2026
試験のため進路のためではなくて数学そのものが社会にとって必要な状況にしたい。数学の立ち位置そのものを変えたい
4
693
読む人とそれを書く自分のためにキレイな言葉を使おう!
1
108
🍓テレビアニメ『アイカツ!』アンコール放送🍓 第6話「サインに夢中!」 このあと放送スタート📺 初めての方も、懐かしい方も、 ぜひリアルタイムでお楽しみください💕 TVerでも18時55分から配信開始📹 tver.jp/series/srnffjh3xq #アイカツ #aikatsu #Tver
253
26
1,471
43,698
一人は寂しすぎるからゼミ開きたいけど乗ってくれる人いるかなぁ… 小林・大島「リー群と表現論」を読んでます
1
16
735
これは2次実行列に画像のようなノルムを定めようとしたとき、これが三角不等式を満たすことの証明が由来です。 行列の各成分の2乗和の平方根はノルムになってこのノルムをフロベニウスノルムと言います。
1
9
582
【問題】 M(2,ℝ)にはフロベニウスノルムによって位相空間となる。GL(2,ℝ)はM(2,ℝ)の開集合であることを示せ。
2
190
もうナンプレはMoonshineみたいに一見無関係な解析/幾何/代数構造がハマっていることを見つけるしか進捗が出てこないんじゃないかと少し思った 筋よく数学で構造を浮き彫りにするの難しすぎる
1
7
798
めぐみん2 retweeted
Replying to @kokonoe_akari
し“ぜ”んすう じゃなくて し“げ”んすう かよ……
2
27
14,498
めぐみん2 retweeted
Replying to @tamago_Riku2
色々考えられるけど、例えば組み合わせ的に解くならこうとか
5
24
6
155
めぐみん2 retweeted
リストデータ型にのるモナド構造がどのくらいあるか興味を持っていたが、まさにその問題に言及している論文をみつけた。 cla.tcs.uj.edu.pl/history/20… 非可算無限個あるとのこと。 非標準的なリストモナドを集めた exotic-list-monads Hackage というのもあった。 hackage.haskell.org/package/…
1
4
23
1,648
今日の講演のスライドを公開します。タイトルは「KZ型方程式の積分変換と量子コンピューターへの応用」です。 量子コンピューターと表現論の関連とサーベイを載せています。GitHubに載せたので適宜バージョンアップも楽ですね☺️分かりやすくなるようにアップデートしていきます! github.com/HaruNegami/Presen…
1
14
2
68
7,589
機械学習を物理だと思って、先に現象があってそれを説明するのに数学を導入していくストーリーでAIに説明させたらとてもわかりやすかった 今回は協調フィルタリングです
1
2
217
いややっぱり無理かも…
1
103
研究したい問題はあるけれどその定式化がまだまだ下手なのと私の使える道具が少ないような気もするので勉強をもっと進めたい 問題の状況が複雑すぎて数学で分かるものは自明なもの以外ありませんでした!おわり!だと辛いから他にも気になる問題で大切だと思うものをストックしていきたい
9
375
代数幾何学する人はアティマク必須?? iwanami.co.jp/book/b265760.h… ここにある内容が理解できていればアティマク通らなくても先に進めるのかな
1
2
29
5,630
心入れ替えて気合いの数学書読破を淡々とやっていこう
5
263
数学をする意味って何なんだろうね…(虚無)
12
308
代数幾何寄りのLie理論をしてみたいなと少し思って調べたら幾何学的表現論になるらしい(?) 偏屈層とか出てきた
3
16
1,246
Spec気になる
4
137