xは文字列ではないかと超予想