2024.07.11
https://gyazo.com/8750c6cb1bf6ce21c94b5844c092190d
前:
2024.07.10
後:
2024.07.12
#日報
メモ
GLの算術的完全性定理の証明
Solovay条件
というものを導入して見通しが良い書けたと思うがどうだろう
思った
恐ろしいことに自分のキーボードの
QWERTY配列
の部分が
QWRETY
になっていた
マウスが暴走していてクリックを失敗したりテキスト選択が出来なかったり勝手にクリックしてしまうといった事態が発生しています 何か良からぬことが起きた場合、それはマウスのせいであって私のせいではない