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

SnO₂WMaN

@SnO2WMaN

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

sno2wman.net
Joined April 2016
  • Tweets29.5K
  • 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,164
日報(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,468
more replies
日報(2026.10.31) scrapbox.io/sno2wman/2026.10…
2026.10.31 - Internet Explorer 2.0

2026.10.31 - Internet Explorer 2.0

前：2026.10.30 後：2026.11.01 #日報 思った 研究費受かってたから来年から出張研究費で出せて神だ 出せるんだっけ？ 出せなかったら、おれは、もう．．．．．． メモ Gyazoの配信設定再開したので（そんなのあることしらなかった）サムネイルなど復活しました

scrapbox.io
1
318
日報(2026.11.01) scrapbox.io/sno2wman/2026.11…
2026.11.01 - Internet Explorer 2.0

2026.11.01 - Internet Explorer 2.0

前：2026.10.31 後：2026.11.02 #日報 観た ハッピーシュガーライフ 重すぎるよーーー；； とある暗部の少女共棲 美少女の拷問、すばらしい 思った B2B StudioでB2Bしたけど普通に難しすぎる

scrapbox.io
175
今年もゴールが見えてきましたが、 マイペースで転がっていきましょう🌱 １１月もガンバレ‼️ #ロリガ
Image from TVアニメ「ローリング☆ガールズ」公式 (@therollinggirls)
34
1,188
16
2,163
45,893
本当にうれしいんです、美少女の拷問シーン（やる側）があって
Image from SnO₂WMaN (@SnO2WMaN)
15
612
‘YO’ by LOLIPO on.soundcloud.com/mC9bQvB5Va… ドーン
2
514
噂に聞きしハッピーシュガーライフ観たけどかなり沈痛な感じになった
9
475
極一部のマニアが来週MOGRAに向かいます
Image from SnO₂WMaN (@SnO2WMaN)
3
16
1,060
マスに受けるかという問題は無視しても、アニメなどの既に出来上がってる動画を一回解体して文脈を無視して配置し直すという1960年頃に人類が映像技術や手に入れたことによって出来るようになった素朴な遊びが今後当分無くなるとは思えない　2026年にはたまたま音MADという名前が付いているだけで
5
1
33
3,181
Moetek - True Love流してみんなでゆりくまーーーーーーーーーーーーーーーーーって言いたいからユリ熊嵐観たい
1
420
直観主義論理/爆発律は矛盾定項⊥に対してあまりにも強い力を与えすぎているがしかし最小論理は⊥に対して実質的に何の力も与えなさすぎる、なにか中庸な体系はないのか？という切り口を前聞いておもしろかった
1
22
1,740
今日お菓子くれないといたずらしちゃうぞーの日か
344
いつも読ませて　れもんが考えたわけじゃなくて　ごはん作って　楽しく話してる　ところが想像できなくて
2
444
SnO₂WMaN retweeted
ْ (@y43xs) profile picture
ْ@y43xsOct 30
Image from ْ (@y43xs)
3
37
1
488
5,924
Image from SnO₂WMaN (@SnO2WMaN)
10
463
そういえば博士課程行くことになったので今後ともよろしくおねがいします
Image from SnO₂WMaN (@SnO2WMaN)
80
1,717
もっとDJがうまくなってLOLIPO - Lucky Lotus 8 VIPみたいなサンプリンガーメガミックスをリアルタイムで出来るようになりたい
4
471
そういえばGyazoが崩壊したせいでこの画像もしばらくインターネットから見られなかったらしいのですが設定で修正しました
Image from SnO₂WMaN (@SnO2WMaN)
1
34
915
来年から研究費が支給されるらしくこれになってる
Image from SnO₂WMaN (@SnO2WMaN)
18
670
SoundCloudがどんどんツイッターになっていくのを止められなくなってる
Image from SnO₂WMaN (@SnO2WMaN)
1
53
5
643
12,682
Load more