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
SnO₂WMaN retweeted
Ir_淺鏡 (@Ir_SK1125) profile picture
Ir_淺鏡@Ir_SK112512h
🐯
Image from Ir_淺鏡 (@Ir_SK1125)
4
304
1
2,743
13,453
NOW THAT'S WHAT I CALL RIDDIM VOL.5の最初のVaultのVIPに交響曲第9番を混ぜるやつ本当に好きすぎるからいつかこれ真似したい
1
249
昨日セプテンバー流れたからここで叫ぶぞー！と思ったら流れなくて（泣）にはなった
Image from SnO₂WMaN (@SnO2WMaN)
9
398
こんにちは～（平和の大切さを訴える乃愛） nicovideo.jp/watch/sm4702412… #sm47024121 #ニコニコ動画 #ニコ動アワード2026 号泣
こんにちは～（平和の大切さを訴える乃愛）

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

こんにちは～

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

エヴァ最新作 ネタバレ！

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

nicovideo.gay
8
491
日報(2026.05.16) scrapbox.io/sno2wman/2026.05…
2026.05.16 - Internet Explorer 2.0

2026.05.16 - Internet Explorer 2.0

前：2026.05.15 後：2026.05.17 #日報 メモ 最近2回シャークトレードという言葉を全然関係ない場所で聞いて驚いてる　造語だと思ってたから 思った 呼んだ論文の証明が全然通ってない気がして再構成し直してる 観た 上伊那ぼたん、酔へる姿は百合の花 #6 共同スペースでお酒飲んで寝るのやめてー；；

scrapbox.io
1
4
24,677
more replies
日報(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
日報(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,300
10,936
SnO₂WMaN retweeted
皿 (@saradisk2) profile picture
皿@saradisk215h
昨日流れたやつです！ #イベホラ
Image from 皿 (@saradisk2)
19
1
67
5,736
私の身体がフィニッシュ
341
皿さんのDJのとき「自販機ー！！」って声飛んでたのwwwwだったし普通に全然パーンって瞬間があったしおれらはおれらでアマハムさんと「人妻って聞いた瞬間───」で肩組んで音Young軍団になってたしであの40分全てがありえなかった
1
6
44
3,551
nicovideo.gay/watch/sm462254… これフル歌唱して神だった
沈降速満降線

沈降速満降線

K

nicovideo.gay
1
2
326
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,112
これのブートのステッカーを押し付けられて本当にさようなら
Image from SnO₂WMaN (@SnO2WMaN)
21
657
BLEACH5巻まで読んでるけど朽木ルキアさんいくらなんでも萌えすぎるだろ
3
643
秋葉原のラクスパずっとわたてんの全巻セット置いてるの本当に理由がわからなさすぎてこわい
10
586
LoctekさんのDJ本当に永遠にアンセムが流れてて本当の泪（なみだ）流しながら大暴走して楽しすぎた
7
545
#イベホラ ナイスパーティー！！！！
Image from SnO₂WMaN (@SnO2WMaN)
11
628
東方Project30周年
Image from SnO₂WMaN (@SnO2WMaN)
8
535
東京着いた！
Image from SnO₂WMaN (@SnO2WMaN)
26
1,031
Load more