@Alwe_Logic profile picture
学びたい、ことばかり @Alwe_Logic

音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: amazon.jp/hz/wishlist/ls/CO1…

Joined August 2017
  • Tweets 107,260
  • Following 3,236
  • Followers 3,751
4,657 Photos and videos
私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは Instagram: _impredicativity discord: alwe_logic mathtodon: Alwe_Logic@mathtod.online です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。
1
4
48
189,529
一緒に無料で外国語を習ってみませんか？ Duolingoではゲーム感覚で学べて、効果も実証されています。 招待リンクはこちら：invite.duolingo.com/BDHTZTB5…
4
233
いいバージョンにinversionってね
4
550
youtu.be/Z5NoQg8LdDk?si=RaQM…

Polyphia - Playing God (Official Music Video)

Polyphia's new single "Playing God" is out now. Buy/stream at https...

youtube.com
2
8
1,382
adv真面目に一般位相空間論申し込もうかな
14
1,351
一般位相空間論 (一般化された位相空間を扱う分野 (いいえ))
1
2
23
3,275
アツい
3
729
一般位相空間論を建てました。なんでもありのオムニバスの予定です♩。counterexamples in topologyから面白そうな話題を引っ張ってきたり、気になる論文を読んだり、楽しみましょう〜♩。
数物セミナー公式アカウント@suubutu_PR
Jun 15
【数物セミナー合同合宿 Advanced9thのお知らせ】 #spmAd9th の参加受付を開始しました！ 本合宿ではより発展的な内容を扱います 円滑なリレーセミナーの開催の為、班紹介pdfをよくお読みの上ご応募お願いいたします ご応募お待ちしております！ ↓ 参加者募集フォーム forms.gle/TfMGS6PcgMrQ5pP47
1
6
31
1,936
なんもセミナー準備終わらないんだけどとりあえず寝てみようかな
7
567
学びたい、ことばかり retweeted
Kory@Kory__3
23h
数学をして疲れたということを言い訳に、この時間からこれをいただきます
1
18
954
お腹が空いてきたと思ったら食事してなかった……
9
737
普遍被覆をRとして構成するんじゃなくて、S^1→Uの型族として定義しているだけで、他のところの証明は本質的には被覆空間の証明と変わらないはず
1
9
1,351
学びたい、ことばかり retweeted
flag3@flag3833753
23h
円周の基本群がZであることの証明が知らない証明だった…
2
7
1,309
学びたい、ことばかり retweeted
るめなる@Re1yra
Jun 15
Rijke の Introduction to Homotopy Type Theory のゼミがついに終わりました！ ゼミで 1 冊の本を（演習問題を除いても）ちゃんと読み終えたのが人生で初めてなので嬉しい
3
36
2,394
学びたい、ことばかり retweeted
Kory@Kory__3
Jun 15
Rijke の Introduction to Homotopy Type Theory (arxiv.org/abs/2212.11082) を (modulo 演習問題で) 読み切りました（14ヵ月掛かった！） 本当にありがとうございました

Introduction to Homotopy Type Theory

This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and...

arxiv.org
7
42
2,380
うおおおおお円周の基本群が求まった！！ここまで来るのに1年と2ヵ月くらいかかった
5
17
393
49,400
セミナーにいったん区切りがつき、時間をあけてホモトピー論っぽいこと勉強しようということになった
1
16
4,100
最適化の課題が普通に分からなくて競プロの人はこういうのいつも改善するの考えているんですか！？天才？という気持ちになっている
2
3
47
7,464
今日中にやらなければならないタスクが4,5つあり、またこれからセミナーもあるので、厳しい気持ちになっている
6
643
IMSの学生発表セッションに申し込みたいんだけど、IMSで話すと面白そうな新しい研究成果がなくて困っている
7
898
あさ
1
20
1,039
Load more