2023.06.14
https://gyazo.com/4cce9caf2b9245770abeeac99b34ccff
やった
$ Tの証明可能性述語$ \mathrm{Pr}_T(x)の当然満たすべき要件
$ T \vdash \varphi \iff \N \models \mathrm{Pr}_T(\overline{\ulcorner \varphi \urcorner})
を満たすように$ \mathrm{Pr}_T(x)を構成すると導出可能性条件を満たすという
ことを確かめようとした 失敗
思った
サムネイルがないから今日は絵を描いた
人物画のよくない点 ポーズが思いつかない
買った
これだけ図書館で借りられずに非常に面倒なのでもう買うことにした
知った
VOCALOIDという名前は発表2ヶ月前まで思いつかなかったらしく，「商標取れるか？→もうありました」の繰り返しでなんとか生まれた難産な名前だったらしい メモ
今後の目標
1. 数学 ← なんとか行けなくもなさそう
これは多分無理で，やってたら多分パンクする
ギリギリ知識がある，とはいってもゲーム理論程度の話だけども…
4,5. コンピュータシステム & アルゴリズム & データ構造 ← 有り余る才能でなんとかカバーしたいと思っています
というか対策法が無いと思う．あっても基礎情報技術者のテキスト読むとかぐらいしか無いと思う