TODO: Oberwolfachの準備をする。 (@Alwe_Logic) header
TODO: Oberwolfachの準備をする。 (@Alwe_Logic) profile picture

TODO: Oberwolfachの準備をする。

@Alwe_Logic

音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://teapawt.net/t.co/p13p68sw6N

 初星学園情報学研究科
Joined August 2017
  • Tweets109K
  • Following3.3K
  • Followers3.9K
4.9KMedia
Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)Photo by TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
🎄 数学基礎論 Advent Calendar 2026！ 集合論・モデル理論・証明論・計算可能性理論など、数学基礎論に関する記事を持ち寄るアドベントカレンダーです。 入門的な解説から専門的な話題、ちょっとした雑談まで、どんな記事でも大歓迎です！ 🔗 [adventar.org/calendars/12859]
2
39
127
9,733
発表準備しなきゃいけないの思い出してきた。
1
4
561
よる
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
16
501
ワイン安すぎる。ワイン以外高すぎる
21
535
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
1
25
646
よる
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
18
591
揺れてないのお前だけ
2
1
27
829
リュブリャナ㊙️情報 寒い (半袖は馬鹿なのでやめましょう)
3
372
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
1
8
432
随伴関手定理の証明覚えてないし主張も覚えていないがち (専ら局所表示可能なときしか考えないから……)
1
17
815
TODO: Oberwolfachの準備をする。 retweeted
TODO: Oberwolfachの準備をする。 (@Alwe_Logic) profile picture
TODO: Oberwolfachの準備をする。@Alwe_LogicNov 1
🎄 数学基礎論 Advent Calendar 2026！ 集合論・モデル理論・証明論・計算可能性理論など、数学基礎論に関する記事を持ち寄るアドベントカレンダーです。 入門的な解説から専門的な話題、ちょっとした雑談まで、どんな記事でも大歓迎です！ 🔗 [adventar.org/calendars/12859]
2
39
127
9,733
朝2
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
26
621
Oberwolfachにもuse of AIセッションあるのか
6
440
あさ
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
32
766
うおおおおおアツい
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
1
1
24
1,465
Beklemishev's wormの計算機作ってる
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
2
1
28
1,690
more replies
元々知られていたアルゴリズムはEXPTIMEだけどO(n^3)くらいになっている
1
1
10
640
元々与えられていたアルゴリズムがほとんど多項式みたいになっているが著者たちが気づいていないためEXPTIMEと主張してしまっているみたいな感じだった
4
219
機内にWi-Fiがあるせいで優雅に読書でもしようかと思ってたのに論文を執筆する羽目になっている
12
554
よる
Image from TODO: Oberwolfachの準備をする。 (@Alwe_Logic)
23
589
修士終わったら数論 (幾何) とか、なんか習得に難しい分野も少しづつ勉強していきたいね
1
43
2,181
Load more