オラクルつぶし

オラクルというのは、
0. 御神託。
1. がんばってチューニングしないとかなり重いデータベースサーバ。
2. 質問に瞬時に答えてくれる想像上機械あるいは論理的怪物。答えられる質問の種類によって、能力はいろいろ。計算量クラス, の定義に現れるチューリングマシンっぽいものにオラクルを追加してみると、 になったり、そうでなくなったりすることが知られている。したがって、 を証明したかったら、証明の中のとかを、とかにしたら壊れちゃうような証明を使わなくてはならない。

なんとなく元気に一日過ごした。眠いよー。