2025.06.22
https://gyazo.com/b5c1afefc50669feafede63ab41abe0a
作った
https://nicothumb2img.vercel.app/image/sm45112415#.png https://nico.ms/sm45112415
ティーザー映像
https://scrapbox.io/files/6857853c20d0fc4da4fefae4.mp4
Twitterで全然ウケてなくて本当におもしろい．
16時間連続で映像作る羽目になった上に途中2回レンダリングと映像ミスって4時間ぐらい起きる羽目になって最悪だった
後日談は後でここに書くことにします
ミスがあってwindows版のビルドで？（後でLinux版でやったけども結局同じでしたが）ffmpeg -c copyで映像を切って差し替えることをやったのだけども前半4秒ぐらいの映像が消滅する謎のバグに見舞われて結局再エンコードする必要があった
映像の技術は2025年にもなってこんなことも簡単に出来ないのか？
AviUtlで80分の映像レンダリングするのが2時間かかるのそういうものなのか自分のCPUの性能がヘボすぎるからなのかよくわかってない 後者ならいい加減にCPU変えたい．
やった
https://gyazo.com/2de000c33a90bf635af1291070ab5f29
本質的に$ \bf KTMkで$ \sf 4のインスタンスが証明できないのでサッと示せるので置いておいた
https://gyazo.com/4d895cb309dfaceb76a6ff2ca7fa8a2d
これは教えられるまで知らなかった．昨日のゼミで気づけよという話ではあるが…
合流性があればkriesel-putnam条件の取れる点として$ xを取ってきてもいいことから従う．反例モデルは適当に見つければ良い．
観た
次回最終回のアニメがやることか？
ずっとかき氷食べててありえない
岐阜は恐ろしい．