SnO₂WMaN (@SnO2WMaN) header
SnO₂WMaN (@SnO2WMaN) profile picture

SnO₂WMaN

@SnO2WMaN

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

sno2wman.net
Joined April 2016
  • Tweets29.6K
  • Following3.6K
  • Followers4K
3.7KMedia
Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)Photo by SnO₂WMaN (@SnO2WMaN)
Mechanizing Gödel's incompleteness Theorems and Provability Logic arxiv.org/abs/2609.13780 Palalansoukî(@_ni_nn_i_ )とずっとやっている、Lean 4での数理論理学：Gödelの第1/第2不完全性定理、Solovayの算術的完全性定理、証明可能性定理の分類定理などの形式化の報告を書きました！
Mechanizing Gödel's Incompleteness Theorems and Provability Logic

Mechanizing Gödel's Incompleteness Theorems and Provability Logic

We mechanized proof of Gödel's first and second incompleteness theorems, Solovay's arithmetical completeness theorem of \mathbf{GL}, and related results in the Lean 4 theorem prover.

arxiv.org
2
32
2
92
18,520
排気ちゃん #oc
Image from ハジ カイケイ【コミティア158】 (@K_haziK)
2
22
386
2,531
SnO₂WMaN retweeted
Ir_淺鏡 (@Ir_SK1125) profile picture
Ir_淺鏡@Ir_SK112512h
🐯
Image from Ir_淺鏡 (@Ir_SK1125)
4
307
1
2,789
13,685
NOW THAT'S WHAT I CALL RIDDIM VOL.5の最初のVaultのVIPに交響曲第9番を混ぜるやつ本当に好きすぎるからいつかこれ真似したい
1
253
昨日セプテンバー流れたからここで叫ぶぞー！と思ったら流れなくて（泣）にはなった
Image from SnO₂WMaN (@SnO2WMaN)
9
401
こんにちは～（平和の大切さを訴える乃愛） nicovideo.jp/watch/sm4702412… #sm47024121 #ニコニコ動画 #ニコ動アワード2026 号泣
こんにちは～（平和の大切さを訴える乃愛）

こんにちは～（平和の大切さを訴える乃愛）

こんにちは～

nicovideo.jp
6
670
世界が終わる日に音MAD見れるとは思えないけどもし見れるとしたら『エヴァ最新作 ネタバレ！』見たい nicovideo.gay/watch/sm383918…
エヴァ最新作 ネタバレ！

エヴァ最新作 ネタバレ！

賃・エヴァンゲリオン劇場版:||のネタバレ動画です！確かこんな感じだったとおもいますｗ

nicovideo.gay
8
492
日報(2026.11.08) scrapbox.io/sno2wman/2026.11…
2026.11.08 - Internet Explorer 2.0

2026.11.08 - Internet Explorer 2.0

行った EVENT HORIZON 本当にありがとう；；；；；；；；； 知り合いしかいなくてワロタ Loctekさんのライブセットがまた見れて本当に神だったし本当に爆泣きしました Salena - Cruel Noirのムンバーコアやばすぎたよ saradiskさんの本当に音MADの文脈からやってきたナードコア感マジですごかったなー こんな感じのDJも出来るようになりたいわ 皿さんのDJのとき「

scrapbox.io
136
SnO₂WMaN retweeted
三友花 (@mitomo_x) profile picture
三友花@mitomo_xNov 7
#灰羽連盟
Image from 三友花 (@mitomo_x)
203
1
1,301
10,941
SnO₂WMaN retweeted
皿 (@saradisk2) profile picture
皿@saradisk215h
昨日流れたやつです！ #イベホラ
Image from 皿 (@saradisk2)
19
1
67
5,741
私の身体がフィニッシュ
341
nicovideo.gay/watch/sm462254… これフル歌唱して神だった
沈降速満降線

沈降速満降線

K

nicovideo.gay
1
2
327
SnO₂WMaN retweeted
Loctek (@L__l______l__L) profile picture
Loctek@L__l______l__L19h
体が痛すぎる
Image from Loctek (@L__l______l__L)
1
24
1
72
2,114
これのブートのステッカーを押し付けられて本当にさようなら
Image from SnO₂WMaN (@SnO2WMaN)
21
658
BLEACH5巻まで読んでるけど朽木ルキアさんいくらなんでも萌えすぎるだろ
3
643
秋葉原のラクスパずっとわたてんの全巻セット置いてるの本当に理由がわからなさすぎてこわい
10
586
皿さんのDJのとき「自販機ー！！」って声飛んでたのwwwwだったし普通に全然パーンって瞬間があったしおれらはおれらでアマハムさんと「人妻って聞いた瞬間───」で肩組んで音Young軍団になってたしであの40分全てがありえなかった
1
6
44
3,551
LoctekさんのDJ本当に永遠にアンセムが流れてて本当の泪（なみだ）流しながら大暴走して楽しすぎた
7
545
日報(2026.11.07) scrapbox.io/sno2wman/2026.11…
2026.11.07 - Internet Explorer 2.0

2026.11.07 - Internet Explorer 2.0

前：2026.11.06 後：2026.11.08 #日報 メモ EVENT HORIZONに行っているはずなので今日の日報は多分書けない メモ

scrapbox.io
1
326
#イベホラ ナイスパーティー！！！！
Image from SnO₂WMaN (@SnO2WMaN)
11
628
東方Project30周年
Image from SnO₂WMaN (@SnO2WMaN)
8
535
Load more