2025
https://gyazo.com/49edadc8daeac6de02facabc05bd059f
前：2024
後：2026
#年報
まず時系列で振り返る．重要なのは太字で
1月
https://hof.otomadb.com/
作ったが．
OTOMADB V2が再始動する．しかしこれは頓挫する．otoDBになるから
https://scrapbox.io/files/678a648c70eddc08950fe4c1.mp4
2月
2025.02.01：OTOGUMOに行った．　
https://gyazo.com/918d855b5579413182afb042a94bd02d
Basic Propositional Logicなどを知る．
LogicsKiteを作る．
様相論理KHのKripke不完全性を形式化する．
memo: https://sno2wman.github.io/notes-on-kripke-incomplete-modal-logic/main.pdf
分解mix(1)を作る．
https://soundcloud.com/sno2wman/disassembled-mix-1
これいずれ作り直して映像当てたい．
MLG59に出席する．
3月
https://github.com/FormalizedFormalLogic/Foundation に統一
Modal Companionの諸々の形式化
$ \rho(\mathbf{LC}) = \mathbf{Grz.3}
https://gyazo.com/b5fc50abd3bc5db3864ad5045b5bf0cd
$ \rho(\mathbf{KC}) = \mathbf{Grz.2}
https://gyazo.com/e0108eeba5a9e1a13a8e6feec4264159
俺の妹がこんなに可愛いわけがないを観る．素晴らしい．
俺の妹がこんなに可愛いわけがない。も観る．
https://gyazo.com/93b3f5a126ed67384e4f7553ab75b9a2
空色ユーティリティを観終える．すばらしかった
機動戦士Gundam GQuuuuuuXの映画を観る．速すぎる．
2025.03.23: ELECTRO WIZZARD EPISODE 3で人生初めてのDJをする（B2B DJ DEKAMESHIVIVE）．　
セトリは以下
https://gyazo.com/f1000d4ce2779e870c40ff5bc2fac57f
Setlist for ELECTRO WIZZARD EPISODE 3
アマハム2さんと眼点さんにウケていたのでやりきった感がある
CAR CRASH AND SIREN 3に行った．
https://gyazo.com/33b41945a53294108badf3b4fcb66004
niceさんがすごかった．このミックスまだ聞いてます
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/tweeter_jpn/ccs3#.png https://soundcloud.com/tweeter_jpn/ccs3
楽しかったが，正直EDMという感じになっていた感はあり，しばらくここからhyperflipからは離れている．
大きな音が以前より楽しめなくなった気はする．
梅ラボの作品を見に行きました
https://gyazo.com/94f1e23ec1857ad048875d712ae33ecd
衝撃的だった．現実に顕現しているとやっぱりすごい
4月
2025.04.06: GLの算術的完全性定理の形式化をした．w/ Palalansoukî
https://gyazo.com/818dd4b83bf4c83e130e336ddf098142
長い間Formalized Formal Logicでやりたかったことがついに結実して本当に嬉しい．
とらドラ！を観返す．やっぱりすばらしいね
春アニメ？を観る．
ブートレグ神社に行った．
https://gyazo.com/2475ec854e5087d4ae0d7b403c37a245
nerdtronics3の前哨戦として行った．
後で暴れるからチルな感じでいくぜと思ったのに96-glassさんのミックスで知らない外人と踊りまくっちゃって終わった
2025.04.19: nerdtronics3へ行った．
https://gyazo.com/98918a45e079f1562af5ea3e85151ba8
本当に情緒がおかしくなって今日死んでも良いなと思いながら終わった後歩いていた
fuluca & sleiman.jpのときにクーネルエンゲイザーの音MAD流れてるときに感極まって号泣してしまった
素晴らしい．行けたことは一生の誇りだった．
BCK.が開場前に流れていて，来て良かったと思ったが，終わった後ずっとこれ歌いながら帰ってた
https://nicothumb2img.vercel.app/image/sm44769600#.png https://nico.ms/sm44769600
魔法少女まどか☆マギカを観た．
面白かった．
それはそれとして身体がゾンビ化しているということになんであんな狼狽してたのかわからなかった
劇場版まどか☆マギカ 叛逆の物語も観た．
来年楽しみだな～音符
当時の人は15年待ってるのヤバい
ﾐｸｰｽ(2025/04/29)を作る．
https://nicothumb2img.vercel.app/image/sm44927984#.png https://nico.ms/sm44927984
nerdtronics3に影響を受けて音MADミックスっぽいことをする．
でも音MADだけでDJは難しいので色々混ぜているが，逆に自分の色が出ていると評価をされている．よかった．今後もやる．
音MADエキスポの作業が一旦終わる．
https://gyazo.com/6e6e924cb9b80eb8ae09d6054a9777d2
あんまり力になれなくてすいません…もっとリッチなサイトが作れればよかった．
精進したい．
5月
Virtual River -E komo mai-
農園爆破すごい
はいベラジョンでが面白すぎてることを再発見する
https://gyazo.com/9ab57f2cdf2ad1516e8fc980bfd89f99
https://nicothumb2img.vercel.app/image/sm44698553#.png https://nico.ms/sm44698553
東方錦上京 〜 Fossilized Wonders.の体験版をやる．難しい．
けいおんを観てる
なんかこう思ったより変だった．
https://gyazo.com/e53b71787beb21d9d8a15c55dee8008c
Nitro Expressをやる．難しい．
このあたりでotodbに関わっている．lachrymaLやMMaker，誘ってくれてありがとう．
吉田寮の #音MADDJ に 行った．
ここで今年における最重要情報を手に入れている．話すことは出来ない！
6月
ﾐｸｰｽ(2025/06/01)
https://nicothumb2img.vercel.app/image/sm45043040#.png https://nico.ms/sm45043040
告知動画も作る
https://scrapbox.io/files/683bd4370de9c38d094236a2.mp4
ここ会心の繋ぎだと思う．
これなんか音MAD関係ない文脈にもめっちゃ評価されてたらしくておもしろい　　
ボニボニアさんがRTしたのが意味がわからなかった
2025年のいいねした音MADをニコニコ動画のマイリストに入れる．思えばマイリスト機能を使ったのは初めてだ．
ツイートが関数型まつり 2025で晒される
https://gyazo.com/856bd749c41e7ba35b35e79448766984
https://github.com/pandaman64/kansuugatamatsuri-2025/blob/main/main.pdf
Princess Principal Clown Handler 第4章
ﾐｸｰｽ(2025/06/22)を作る
https://nicothumb2img.vercel.app/image/sm45112415#.png https://nico.ms/sm45112415
https://scrapbox.io/files/6857853c20d0fc4da4fefae4.mp4
これ全然ウケてなかった
ALL NIGHT SEXで繋ぐのは絶対やりたいと思ってここで出した．
誕生日だから80分繋いだら全然再生数伸びてない
#lastdive
VRChatの仕様よくわかってなくてTwitchみたいなサービスから観てた．誰かがnerdtronicaを流しててよかった．
7月
近傍意味論を形式化した．
サマーウォーズを観てまた感動した．
otoDBリリース
Announcing otoDB: a community-driven website indexing the comprehensive body of work pertaining to 音MAD and YTPMV! http://otodb.net
https://gyazo.com/4c4bb32cd067b37ea265b20286118137
ゲイマスオ関連とかひどいやつをおれが入れまくってたりランダムに出てくる作品のチョイスがめちゃくちゃだった．
2025.07.19: Realsampleへ行く
https://gyazo.com/8173b6abbc0db8ca7d77412a0064fd28
YTPMVの方はよくわかってなくて楽しめるかなと思ったけど，杞憂だった．
yithさんのミックスあまりにもヤバすぎた．早く単品だしてー；；
MADDRIFT2の告知が出る．全然誰が出るのかよくわかってなくてBaN長さんとかぇろｙさんとかと一緒にやるということよくわかってなかったと思う．
https://gyazo.com/53ee29d3138031979be5505ef84eeaab
1時さんとbondbondさんと何故か京都旅行をした．なぜこの面子で…？と思ったが色々おもしろい話が出来てよかった．
Gödel-Rosserの第1不完全性定理を形式化されて本質的不完全なLindenbaum代数は稠密という事実の形式化が完了した．
https://gyazo.com/f25fec8771ed738e795938e9aa7702a5
8月
Boxdot予想の証明E. Jeřábek; "Cluster expansion and the boxdot conjecture"を形式化した．
https://gyazo.com/9139a309855b9287665e434b9556ad80
「Robinson算術$ \bf QはCobhamの最弱の算術理論$ \bf R_0（Cobhamの最弱の算術）よりは真に強く$ \bf PA^-よりは真に弱い」という事実を形式化した．
https://gyazo.com/f9aaf000c730c9a53086f6f2ac7cfd19
OTOMAD ONLINEを観る
Shittypediaが本当にひどかった
YabloのパラドックスをLeanのレベルで形式化した．
https://github.com/SnO2WMaN/lean4-yablo
東京に行き，色々話を伺い，脳future2に誘った．よろこんでもらって何より．
MADDRIFT2の練習会をした．
DDJ-FLX4とDDJ-FLX400でパッドのあれとかが全然入れ替わってることに気づかなかったら危なかった．
2025.08.16: HIKIGANERIOTに行った．
https://gyazo.com/de9efe31b39be97f736d0793d402e562
感想はページに切り分けている．hyperflipとJ-Coreを交差点にしたcitrusさんのイベントが素晴らしい．
2025.08.16: OTOLIVEを観た．
感想はやはりページに切り分けているが，中華圏の音EDMはすごい．
2025.08.17: コミケ(C106)に初めて行く．おもしろかった．意外と空いてた．
J-Core大戦争に行く．実はJ-COREオンリーのイベントって多分行ったことがなくて，新鮮で楽しかった．
コロナにかかる．本当に喉がヤバい．
「任意の$ nに対してYablo文$ \mathrm{Yab}_T(\overline{n})は$ Tで証明できない」を形式化した
https://gyazo.com/c27ba91f170170143272e3a222f5928b
東方錦上京 〜 Fossilized Wonders.をやる．難しすぎる
https://gyazo.com/e039b950e5641e2ac2f5c2e4f41ecfa4
かっこいい犬が登場
9月
紙の音MAD Vol.0を読む
人の修論にハンドルネームで載る
https://gyazo.com/6a577449e59a35101430d406d9bb0701
https://studenttheses.uu.nl/bitstream/handle/20.500.12932/49881/master-thesis.pdf
Bram Swaanen; "Formalizing Axiomatic Theories of Truth"
証明可能性論理の分類定理の形式化について色々模索していた．が結局上手く行ってない．
2025.09.07: 大トロニクスへ行く
https://gyazo.com/98b692e97b56ebf19535fabfc79dc5f3
2025.09.07#68bd90d00000000000844708
アマハム2　ありがとう
https://nicothumb2img.vercel.app/image/sm45382934#.png https://nico.ms/sm45382934
https://gyazo.com/a667a38f6eb4fe13215a596127457fa7
；；
参催の人に「 ガチ内輪ですけど大丈夫ですか」という連絡受けて不安だったんだけど、行ってみたら普通に破壊的音MAD大量に流れて神すぎた
18th Asian Logic Conferenceに行く．
面白い話を色々聞けたが，遠すぎる．
京都産業大学の学食アナザーレベルすぎる
普通に店のラーメン500円ですごすぎる
大西琢朗先生がいたが，挨拶できなかった…
Formalized Formal Logicの集合論に関することに関して@Kory__3や@mr_konnなどと話たりした．
https://gyazo.com/c8c5b64659573348f91a3f45a0789728
わかる
K. Kopnev; "The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom"を形式化した．
https://gyazo.com/f8a2a2bc575671cd33b5186c1a94080e
$ \bf E4,ET4,EMC4,EMT4は有限フレーム性を持つ
これ未査読論文だからちゃんと発表したり連絡したりするなりした方が良いんだけど，K. Kopnevはもうアカデミアから離れていて厳しい状況になっている
10月
この月はこれだ．
https://gyazo.com/c55406c0ee872174b4b033d457c8b7aa
MyGO!!!!!とAve Mujicaを観る．めっちゃおもしろい．意味不明すぎる．　
sno2wman.netをリニューアル
https://gyazo.com/edaa75dad1cf2bb5092b600a8828584a
https://sno2wman.net/
MADDRIFT2の告知動画を作る．
https://scrapbox.io/files/68f4db2a8eb876f585464f1a.mp4
ここの繋ぎ会心だ．結果として出来てなかったから，またいつかどこかでやりたい．
2025.10.25 - 2025.10.26: MADDRIFT2
https://gyazo.com/15c2aee403d1595cd62ebe00f6db7b74
やった！
めっちゃ忙しかった．DJとVJ同時にやるのは無理だ．
しかしおれの手番中に途中でアンプ壊れる事件が発生して最後のMashcoreパートが流せなかったのは残念だが…
2日目出来るかどうかすら怪しかったが，どうにかなったのは本当に良かった．
人と打ち上げしたけどまあまあメチャクチャな面子だった．
あのとき奢ってもらって申し訳ないです！
それはそれとしてかなり余裕持ってさよならしたのに電車大遅延して帰りのバス乗り遅れた．
新幹線に載ったけどなぜかviveisdeadと同じだったのおもしろい
ﾐｸｰｽ(MADDRIFT2)投稿．本当はこれをやるつもりだった．
https://nicothumb2img.vercel.app/image/sm45563050#.png https://nico.ms/sm45563050
いろんな人からイイネといわ思われていてよかった．
解釈可能性論理のVeltman意味論の形式化
11月
解釈可能性論理の色々な形式化．構文論的にやることだけはやったが，あまりにも面倒くさい！
https://gyazo.com/e48942bdf78476de9b8a759cdb03ca10
Formalized Formal LogicのOpen Collectiveが開設
https://opencollective.com/formalizedformallogic
おれの2025.11.10時点のニコニコのいいね欄を大公開
https://github.com/SnO2WMaN/niconico_liked
Subintutionistic Logicを知る．まさかあんなことになるとは
いいね欄(discordサーバー)を開く．意外と人が増える
https://gyazo.com/97f52cf743f8778a733e31e171dba973
紙の音MAD Vol.1にlachrymaLと一緒に受けたインタビューを出す．
結構色々話した．ぜひ読んでみてくれ！
日報を2000日書いた．
roxy.otodb.netを作るった
https://gyazo.com/7d70adf9a52eba3b897b13f2fa41f834
ただあまりにも使いづらいことがわかった．．
音MADのタイトルとサムネイルを透過的に取得する: roxy.otodb.net について
https://github.com/otoDB/roxy/blob/main/docs/notes_20251206.md
12月
TPP2025で発表した．
https://github.com/SnO2WMaN/slides-for-tpp2025
懇親会で面白い話と，良い感じの話がまとまる．
ac.sno2wman.net
https://ac.sno2wman.net/
自分のアカデミックな業績一覧を書いた．
MLG60で発表
https://sno2wman.github.io/slides-for-MLG60/main.pdf
論理学を（Lean）でつくるを各
https://github.com/SnO2WMaN/Logic101
PDF: https://sno2wman.github.io/Logic101/CPL.pdf
感想
今年は3年あった．
クラブやいろんなイベントに行ったり，出たりした．かなり外向的だったと言える．
来年もお楽しみに．
誰もが無断転載という行為によってあらゆる情報を未来の誰かに託すことが出来るという本質的な感動に抗えない
ﾐｸｰｽは音MADも所謂サンプリング音楽も本質的に境界はそんなに無いだろうという自分の考えも込めて全く区別無く思いついた繋ぎをゴチャゴチャにして作っているのだけどもいずれ何かしらの怒られや意見の相違が発生しそうでずっと怯えながら生活しています
PCがおもすぎる！！！！！！！！！！！！！！！！！！！！
来年の抱負
音MADを作る．アイデアはあるが，動画を作るPCをのスペックがない．
プログラマティックに頑張りたい．GLSLとか勉強してみたい．
DJを頑張る
RekordboxでDJをすることは楽しいが，手枷が付いている感もある．
2デッキしかないのは難しい．4デッキで出来たら…
いろんなソフトウェアとか機材を試したい．
様相論理を極める．
結局様相代数とかに関することは何も追えなかった．
論文を書く
ネタはあって書けるかもしれない．
定理証明支援系を頑張り，メクマニーにまでもってく
Formalized Formal Logicで今年は最後ギリギリ新規性のある事実が生えた．
otoDBをより色々する
lachrymaLに全部任せっぱなしになってる…色々しなければ
感謝すべき人
抜粋，敬称略
オフライン：指導教員，同僚，論理学の先生
Palalansoukî
いつもLean4や論理学に関する事実に関して相談させてもらってありがとう．
Solovayの算術的完全性定理の形式化は悲願だったから，あれが完成して本当によかった．
いつか論文を書こう．
cannorin
様相論理やDJの相談について乗ってくれてありがとう．
viveisdead
B2Bを組んでくれたりDJの色々を教えてくれてありがとう．感謝しております．
アマハム2
今年本当に尊敬の念が強まっていきました．
音MADやそのDJミックスやブレイクコアとかの激しい曲を混ぜまくって良いんだというのはotoMAD-mix.bangerで本当に感じました．
MADDRIFT2で自分がやる前に観れてよかった．ありがとうございます．また来年も楽しみにしています．
有坂水面
MADDRIFT2を開催してくれてありがとう．当日のトラブルの際は申し訳なかったです．
とぼけがお
MADDRIFT2においてDJとかの相談にのってもらってありがとうございます．
来年の音TOUCHなど，音MADを通常の方法ではない方法で作る試みは見ていて本当に楽しみです．
naari3
音MADエキスポやその他DJの色々な際に技術的な相談にのってもらって助かっています．
citrus
HIKIGANERIOTを開催してくれてありがとう．素晴らしい試みだと感じた．次回も楽しみにしています．
lachrymaL, MMaker
otoDBに招待してくれてありがとう．全然開発にコミットメント出来てないんだけど，来年はなんとかちょっと時間を作って見ようと思います．
農園爆破
いろんな名前があるからなんと呼べばよいのかわからない．ともかく，いろんなイラストや音楽を私と共有してくれて本当にありがとう．あなたにはとても感謝しているし，おそろしいと思う．
*********
作ってくれて，そして色々ありがとうございます．あなたのおかげで2025年は素晴らしい年だったと行っても過言ではないでしょう．
ここに書けなかった多くの人にも感謝しています．ありがとう．
良かった音MAD
感想全然書けない！
マイリスト
2025年にいいねした音MAD
1. https://www.nicovideo.jp/mylist/78076337
2. https://www.nicovideo.jp/mylist/78110237
3. https://www.nicovideo.jp/mylist/78982639
2025年音MAD10選
https://www.nicovideo.jp/user/118012640/mylist/78934252
2025年隠れすぎ音MAD
https://www.nicovideo.jp/mylist/79094166
抜粋：すいません全部書くと↑のリスト全部書かなては…
BCK.
https://nicothumb2img.vercel.app/image/sm44769600#.png https://nico.ms/sm44769600
本当にありがとう．
花子 math
https://nicothumb2img.vercel.app/image/sm44983380#.png https://nico.ms/sm44983380
【告知】 Nrbi Theme
https://nicothumb2img.vercel.app/image/sm45088017#.png https://nico.ms/sm45088017
【音MAD】小原好美マイムマイム合作
https://nicothumb2img.vercel.app/image/sm45128746#.png https://nico.ms/sm45128746
chromeme
https://nicothumb2img.vercel.app/image/sm45330770#.png https://nico.ms/sm45330770
otoMAD-mix.banger
https://nicothumb2img.vercel.app/image/sm45382934#.png https://nico.ms/sm45382934
る mix
https://nicothumb2img.vercel.app/image/sm45257419#.png https://nico.ms/sm45257419
地球は狙われている
https://nicothumb2img.vercel.app/image/sm45066052#.png https://nico.ms/sm45066052
私にMADが舞い降りびゅ～と！
https://nicothumb2img.vercel.app/image/sm45476124#.png https://nico.ms/sm45476124
M.A.D(Multi Addict Detonator) - otoMAD - Construction(touhou)
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/madauno2guilty/otomad-constructiontouhou#.png https://soundcloud.com/madauno2guilty/otomad-constructiontouhou
これあまりにもすごくて自分の理想形に近い
.｡*ﾟ+.*.わーるどわいど・ぷーにゃーぷにゃー｡+..｡*ﾟ+
https://nicothumb2img.vercel.app/image/sm45649874#.png https://nico.ms/sm45649874
姫ンサーカ乃愛ぬ
https://nicothumb2img.vercel.app/image/sm45554135#.png https://nico.ms/sm45554135
ai generated cartoon boyfriend in dreamcore
https://nicothumb2img.vercel.app/image/sm44918764#.png https://nico.ms/sm44918764
Bass Boilerplate 音MAD-mix
https://www.nicovideo.jp/watch/sm44898247
私にMADが舞い降りびゅ～と！
https://nicothumb2img.vercel.app/image/sm45476124#.png https://nico.ms/sm45476124
【合作】Chromeme【OTOLIVE】
https://nicothumb2img.vercel.app/image/sm45330770#.png https://nico.ms/sm45330770
ビリーへリントレーラー
https://nicothumb2img.vercel.app/image/sm45232115#.png https://nico.ms/sm45232115
鷺谷ミンコはすごい．
オンリーセクース2
https://nicothumb2img.vercel.app/image/sm45418474#.png https://nico.ms/sm45418474
ミュージックのBCK.
https://nicothumb2img.vercel.app/image/sm45562469#.png https://nico.ms/sm45562469
アニメに夢中
https://nicothumb2img.vercel.app/image/sm44920756#.png https://nico.ms/sm44920756
咲MIX
https://nicothumb2img.vercel.app/image/sm45777647#.png https://nico.ms/sm45777647
観たアニメ
よかったアニメを抜粋．
TO BE HERO X
パイロット版を観たときから本当に楽しみだったけどめちゃくちゃ面白かった．
絵がリッチだったのもそうなんだけど，後半に向けて全てのストーリが一挙に収束していくのがすばらしい
空色ユーティリティ
美波が萌えすぎる．それはそれとして水色なのがすばらしい．
WORKING!!
伊波さんの暴力すごすぎる
俺の妹がこんなに可愛いわけがない
豊かさを感じた．
忍者と殺し屋のふたりぐらし
シャフトありがとう！原作のドライな残酷さとシャフトの演出が噛み合いすぎてる
前橋ウィッチーズ
のっぴきならない問題が起こりすぎてる
mono
本当に丁寧なアニメの描き方だ．グラスの歪みとかを描写しているところにこだわりを感じた．
日々は過ぎれど飯うまし
楽しい！おしんこのような全てを巻き込む人間いいね
アポカリプスホテル
変．
小市民シリーズ (2)
小佐内ゆきさん，やめてください
瑠璃の宝石
学術的な姿勢がすごすぎる．問題の発見→問題の解決→考察することによる知識の獲得のループが素晴らしい．
CITY THE ANIMATION
京都アニメーションすごい．アニメーションとして面白すぎる
よふかしのうた 2期
1期もよかったけど，2期になってから明らかに演出とかのギアが上がったというかかなり色見を出すようになってて良い．
フードコートでまた明日
和田がおもしろすぎる
NEW PANTY & STOCKING with GARTERBELT
PANTY & STOCKING with GARTERBELTのノリをそのまま今持って来るのすごい．TRIGGERありがとう．
ミルキー☆サブウェイ　
同人?というか少人数の3Dアニメでここまで出来るんだな～と思った．
私を喰べたい、ひとでなし
題材はシリアスで実際描写もシリアスに寄せてるんだけど，なぜかたまに急転直下でギャグになるプログレッシヴさが良い
MyGO!!!!! & Ave Mujica
MyGOに対してAve Mujicaが変すぎる．それはそれとしておもしろい人間たちが色々あってトラブルに巻き込まれてほしい！
読んだ漫画
今年これで読んでるはずなんだけど上書き
響 小説家になる方法
すごすぎる！！
ひとりぼっちの地球侵略
まだ全部読んでないけどおもしろい
memo
https://gyazo.com/8847aa75b105a61ca9a9a67c186db777
#2025年のニコニコ視聴
https://gyazo.com/3da58f4def7915e224986db1febc4b7b
原口沙輔さんこれはどうなったんですか
終