RSS jeremykun | 数学 ∩ プログラミング

RH反例の探索 — パフォーマンスプロファイリング

「私たちは皮肉にも、リーマン予想への反例を探している。 Pytestの設定 データベースの追加 検索戦略 無限の整数 Dockerでのデプロイ 先ほどの記事では、デプロイされたDockerアプリケーションでパフォーマンスの問題に遭遇した。 この記事では、問題が何だったのかを調べて、問題を解決し、別の問題に遭遇し、それを解決し、RHの証拠値に基づく反例を、85個未満の素因数を持つすべての数値で排除するまで検索を実行する。」 または 「私たちは皮肉にも、リーマン予想への反例を探している。 Pytestの設定 データベースの追加 検索戦略 無限の整数 Dockerでのデプロイ 先ほどの記事では、デプロイされたDockerアプリケーションでパフォーマンスの問題に遭遇した。 この記事では、問題が何だったのかを調べて、問題を解決し、別の問題に遭遇し、それを解決し、RHの証拠値に基づく反例を、85個未満の素因数を持つすべての数値で排除するまで検索を実行する。」 RHはリーマン予想の略です。
favicon
jeremykun.com
Searching for RH Counterexamples — Performance Profiling