@SnO2WMaN

ᖃᕆᓴᐅᔭᒃᑯᑦ ᑎᑎᕋᖅᓯᒪᔪᑦ

sno2wman.net
Joined April 2016
  • Tweets29.4K
  • Following3.6K
  • Followers4K
3.7KMedia
SnO₂WMaN retweeted
藪坂@yabu_sakai28h
40
153
1,115
SnO₂WMaN retweeted
さわららど@sawararado16h
クラウンピース
3
242
1
1,927
17,868
SnO₂WMaN retweeted
TT@TT__081117h
こちらの論文を大幅に改訂し、タイトルごと刷新しました。arXivに上げたその日に、Emil JeřábekさんにP≠NPの仮定を外す可能性について指摘していただきました。感謝です。 [2609.10872] Elementary modal logics and circuit complexity arxiv.org/abs/2609.10872

Non-elementary modal logics, assuming P $\neq$ NP

A modal logic is elementary if it is sound and complete with respect to an elementary class of Kripke frames. We prove that if a finitely axiomatizable modal logic L is elementary, then the...

arxiv.org
TT@TT__0811Sep 11
それはそれとして、新しいプレプリントを公開しました。まさか人生で自分が(AIがではなく)P≠NPを仮定して何かを証明することになるとは思いませんでした。 [2609.10872] Non-elementary modal logics, assuming P $\neq$ NP arxiv.org/abs/2609.10872

Non-elementary modal logics, assuming P $\neq$ NP

A modal logic is elementary if it is sound and complete with respect to an elementary class of Kripke frames. We prove that if a finitely axiomatizable modal logic L is elementary, then the...

arxiv.org
3
1
21
5,556
VFX-JS can 𝙙𝒂𝙩𝒂𝙢𝒐𝙨𝒉 your website (added new demo to the docs) #VFXJS #WebGL #HTMLinCanvas
1
11
60
3,344
迷子ですの？
6
324
14
2,969
30,667
#ぬるめた #NLMT
273
1,102
13,922
SnO₂WMaN retweeted
こかむも@kokakimumoseOct 18
というわけで、「ぬるめた」がアニメになります よろしくおねがいします！！！！！！！！！！
30
3,615
120
11,897
312,978
SnO₂WMaN retweeted
こかむも@kokakimumoseOct 18
2018年　→　2026年
29
2,552
59
13,638
438,617
SnO₂WMaN retweeted
SnO₂WMaN@SnO2WMaNMay 28
すごくなんとなくなんだけどソワネってぬるめたのアニメ化やって解散しそうな感じある
2
9
1,205
❑─────────❒ 　 日常アニメの シンギュラリティ 　　　 #ぬるめた 2027年アニメ化決定‼️ ❒─────────❑ 原作｜こかむも 監督｜五十嵐海 シリーズ構成｜髙橋龍也 キャラクターデザイン｜小笠原真 制作｜ソワネ 公式サイト🔗nlmt-anime.com #NLMT
51
5,643
726
12,894
739,843
SnO₂WMaN retweeted
青木@bluearcadegamesOct 18
80
434
4,976
SnO₂WMaN retweeted
とに@to3tai11 Dec 2022
256ポリゴンでせるふちゃんを作ってみた #256fes #diyアニメ
33
1,849
29
8,653
SnO₂WMaN retweeted
YASSU
@yasssssu_Oct 16
#迷宮迷子
1
12
108
1,496
へへ…///
19
337
4,744
“日常”が一変する 新作TVアニメーション ───────── 2026.10.18 21:00 ───────── ❚ TVアニメ初監督 五十嵐海 @kaiikarashi youtu.be/zWlRWnyZNE0
24
2,378
464
6,447
1,345,685
SnO₂WMaN retweeted
うねねみこ@unenemikoOct 15
照井有栖
1
389
3
5,491
32,461
SnO₂WMaN retweeted
Hanga@Hang_0002 Dec 2024
废墟
7
503
2
4,779
147,345
SnO₂WMaN retweeted
nuha@NnUwjHzAcC93239Oct 15
2
31
253
3,500
SnO₂WMaN retweeted
펩PEP@ansdj8181Oct 15
히로에마
2
764
12
4,856
41,587
SnO₂WMaN retweeted
SnO₂WMaN@SnO2WMaNOct 13
anm.sno2wman.net/?user=anili… 昔作った「こいつアニメ何観てんの？」を可視化するツールを改修した　AnnictとAnilistに対応
21
4
96
7,937
Load more