自分自身より賢いコンピュータは作れない。
↑のようなことが証明されてたような気がしたんだが…。