あさしん (@_vjl2) header
あさしん (@_vjl2) profile picture

あさしん

@_vjl2

Abstract Algebra lover

 spm28th後半 Galois理論, 29th 圏論1
Joined July 2022
  • Tweets1.9K
  • Following1.4K
  • Followers1.2K
66Media
Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)Photo by あさしん (@_vjl2)
Leanではx≠yがx=y → Falseで表されるのほぇ～といった感じだ
1
5
301
あさしん retweeted
Wumpus Central (@WumpusCentral) profile picture
Wumpus Central
@WumpusCentralNov 10
Discord is adding support for rendering LaTeX math formulas in Markdown files
Image from Wumpus Central (@WumpusCentral)
78
406
149
7,106
174,306
あまりにも正しすぎる　全人類スライドの文字サイズはこれくらいデカくすべき
Image from 🐿️🐒🗻📚🐹🦈 (@SythonUK)
3
110
17
1,247
64,970
Leanのゲームで2+2=4 の証明をした
5
216
すうがく徒のつどいでのマルコフ過程の耳学問が大学の講義で活きて嬉しい
1
195
「複素数値連続関数fが領域Dで正則」の同値条件を70個挙げてみた
Image from 佐久間 (@keisankionwykip)
Image from 佐久間 (@keisankionwykip)
3
187
13
546
【あるある】BSD予想の正式名称を意外と知らない
1
276
あさしん retweeted
麩束 (@25S1_futaba) profile picture
麩束@25S1_futabaNov 5
「添加物は毒だから～」といい、群構造, 位相構造, 微分構造, その他諸々をすべて無視して集合論のみですべてを始末するおばさん
1
55
7
628
20,823
あさしん retweeted
ですらび (@desu_rabbit) profile picture
ですらび@desu_rabbitNov 3
相手の学術バーの発表聞きに行って「勉強させてください🥺」って言って名刺渡して学振の申請書の添削してもらってそのお礼でランチ誘ってデート3回ぐらいして告白して付き合いました🤗
やぶ (@Kh_Yabu) profile pictureやぶ@Kh_YabuNov 2
恋人がいる人は、みんなどこで出会って何がどうなって恋愛に発展したのだろう…みなさんの馴れ初めを教えてください パートナーのいない女性は……行ってみたいデートスポットと空いてる日時でも書いといてください
4
49
9
1,044
103,397
あさしん retweeted
さのたけと (@taketo1024) profile picture
さのたけと@taketo1024Nov 2
RIKEN iTHEMS の村上友哉さん、小泉淳之介さんと共同で「AI in Mathematical Research」というワーキンググループを立ち上げました。 初回のセミナーは 11/6(金) 15:00〜 で、小泉さんに講演をしていただきます。外部の方も Zoom でオンライン参加可能です。 ithems.riken.jp/en/events/co…
1
40
2
123
10,814
categories allegories, 計算機科学で用いられる圏論の本なのね
バタ=サン (@BATA_Niigata) profile pictureバタ=サン@BATA_NiigataOct 31
おお
Image from バタ=サン (@BATA_Niigata)
15
730
あさしん retweeted
さのたけと (@taketo1024) profile picture
さのたけと@taketo1024Oct 31
長女の学校の運動会で、同級生のお父さんから「佐野さんですか？ YouTube に上がっている Khovanov ホモロジーの動画を拝見しました」とお声がけをいただいた🎽
3
12
1
228
35,103
学部4年セミナーやM1セミナーで厳しめに鍛えて「数学が分かるとはどういうことか」の感覚さえ叩きこめば、以降は彼ら自身でどこまでも遠くに羽ばたけば良いのではないかと最近思っている。 論文の書き方とかキャリア相談とかあるので仕事がなくなったわけではないけど。
森の未知JK@㌠גודזילה (@morinomichi_311) profile picture森の未知JK@㌠גודזילה@morinomichi_311Oct 28
AIと数学教育について思うこと。 自分がどこが分からないのか分かる子ならAIはどこまでも遠くに連れて行ってくれるが、そうでない子にはどんなに賢いAIでも無力である。
1
22
1
151
8,408
爆笑
わんわん (@UIrRQYownm30035) profile pictureわんわん@UIrRQYownm30035Oct 28
Replying to @sameclieu @_to_wa_3150 @AmaseizunaBPD4 @NStella84 @Toma_Yoshioka @tatenoso
任意のε(キスします)に対し あるδ(いいですよ)が存在し…
5
647
あさしん retweeted
Castiel0x (@zercas0x) profile picture
Castiel0x@zercas0xOct 27
Dairy of a college student
Image from Castiel0x (@zercas0x)
Image from Castiel0x (@zercas0x)
Image from Castiel0x (@zercas0x)
Image from Castiel0x (@zercas0x)
7
1,400
63
6,916
100,629
あさしん retweeted
Hirosi Ooguri (@PlanckScale) profile picture
Hirosi Ooguri
@PlanckScaleOct 28
有限単純群の分類のLEANによる形式化ができたようだ axiommath.ai/research/the-en…
Formalizing the Enormous Theorem

Formalizing the Enormous Theorem

Axiom has formalized in Lean the classification of finite simple groups, the longest proof in the history of mathematics.

axiommath.ai
1
49
2
224
20,027
εをそう捉えるか笑 新視点
凛 (@rinrin_kobe) profile picture凛@rinrin_kobeOct 27
キスしますみたいな文字←おもろすぎる
7
5,493
これ読むと、日本の高校における数学教育は受験に重きを置きすぎていて、数学のもつ本来の面白さを十全に伝えきれていないと思ってしまう。自分が出会ってこなかっただけでこういう教員は沢山いるんだろうなぁ。 ms.u-tokyo.ac.jp/~oshima/pap…
3
412
148
3,879
1,076,543
Kerodonをほんの少し読んだ
2
308
あさしん retweeted
anomali (@Anomali210830) profile picture
anomali@Anomali210830Oct 24
Happy Pythagorean Theorem Day! 10/24/26 10² + 24² = 26² This is the last one we’ll experience in our lifetime.
546
56,451
1,669
305,679
3,911,041
Load more