2025.08.14
https://gyazo.com/bf76e2a02933e7b0ed01164493d1eb44
あった
かなり刺激になった．協力していきたい．
行った
どういうイベントなのかよくわかってなくて突然行ったけどかなりよかったな
自分があんまり聞かない音楽の音楽イベントはやっぱり新鮮な気持ちになる
ボカロ多かったな～
https://pbs.twimg.com/media/GyTf8Tna4AA6tti?format=jpg&name=large#.png
エグいヘッドホン渡されたんだけどWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW
これが一番ありえない
電話のオペレーションみたいになってた
メモ
以前形式化したSolovay の算術的完全性定理は健全な理論に対してのものだったが，それを一般化した，健全とは限らない（ただし$ \bf IΣ₁ を含む算術の$ \bf Δ₁）理論の可証性論理が$ \mathbf{GL} + □^n⊥で特徴づけられることの証明を形式化した． https://pbs.twimg.com/media/GyUCyz4a4AA5JrD?format=jpg&name=medium#.jpg