リーマン予想と素数判定のためのテスト | Synapse