自己言及とか不完全性定理との関連が強調されているのでかなり読みたくなってきたが読めるものなのかなあ
エー、これほんとに解けたってこと？　ウヒャー
一瞬 X を覗いたらいきなりデカそうなニュースが…… SAT requires exhaustive search | Frontiers of Computer Science
SpringerLink
SAT requires exhaustive search - Frontiers of Computer Science
In this paper, we identify the distinction between non-brute-force computation and brute-force computation as the most fundamental problem in compu...
全身がおちゃめ機能になってきた
とにかく今日は暑さがやばいらしいので外に出ないでおいてよかったということにしておく
髪を切りに行った方がいいのではという気持ちと、まだ切らなくてもいけるのではという気持ちがある
41.8 ℃ やっばい、いきなり 0.5 ℃ も更新？
ところで藝大や音大を首席で卒業という経歴をよく見る気がするのだけれどこれは科が細かいと首席も多くなるみたいなことなのかな