アナログ予想の検証結果とは