2023.01.11
https://www.youtube.com/watch?v=Sq-N28fukMY
観た
読んだ
思った
$ \TeXで\xiと書けば2文字できれいに書ける$ \xiを手書きで書くととんでもない事になるの本当にムカつく
現在のアレから論理体系の公理か推論規則からの導出であるような状態遷移であるようなTuringマシンなるものは存在するのか? 纏めた
いいね
https://open.spotify.com/track/4UPR9dSw2YcvJQAGJKPwCk?si=e5b3fbc2d1744a0a
今日ずっとこれしか聴いてないって言ったら笑うか?