>>1 がいってることが理論計算機科学のテーゼなの?