Polymarketの取引アルゴリズムには、二人の確認者が同じ証拠へ規則を適用し、操作した理由や見送った理由を理解できるほどの具体性が必要です。「割安な結果を買う」という表現は目標を述べています。しかし、それだけでは、どの情報、予測、価格、数量、口座の条件から判断を出すのかが分かりません。

このガイドでは、調査用の架空のアルゴリズムを一つ組み立てます。日程が決まっている架空の任命議決の一群を扱い、公開された特定の手続き上の更新が有益な情報を加えるかを調べます。主張を検証できるよう、例の範囲を意図的に狭くしています。実績のある戦略を示すものでも、これらのイベントを取引するよう勧めるものでもありません。

取引先の文脈は国際版Polymarketであり、Polymarket USは別に扱います。以下の確率、数量、価格、手数料、しきい値はすべて架空です。計算には、単純な$1または$0の払い出しを仮定します。実際に実装する場合は、個別市場の規則、現在の取引制約、口座に与えられた認可に従う必要があります。

Polymarketの取引アルゴリズムを仮説から始める

反証できる情報上の仮説を定めます。ここでは、特定の手続き上の更新が、既に利用できる情報を使う単純な比較基準よりも、定めた対象期間における最終的な任命承認の予測を改善する、と仮定します。更新が予測上の価値を加えない場合、届くのが遅すぎる場合、または契約の結果とは違う条件を扱う場合には、この主張は成り立たなくなります。

更新を正確に定義します。この架空の設定では、指定した任命を含む最終的な議決日程の公表を指します。日程についての噂や、内容を変えずに再投稿したものは含めません。アルゴリズムは、その手続き上の事実で承認確率が変わるかを調べます。議題への掲載が成功を保証するとは仮定しません。

以前のPolymarketの取引戦略のガイドは、戦略に実際の優位性に関する仮説が必要な理由を説明しています。Polymarketのアルゴリズムの仕様にも、その仮説を残すべきです。そうすれば、結果を見てから成功の意味を定義し直すのではなく、元の調査の問いに照らして、後の修正を判断できます。

対象とする契約の一群を定める

調査の対象には、結果の定義と対象期間が一貫する契約を含めるべきです。架空の任命契約では、指定した期限までに、指定機関による最終承認が記録された場合をYESとします。候補者の指名、委員会の勧告、就任についての契約は除きます。

対象となる契約ごとに、正確な規則と情報源を記録します。題名が似ているだけでは足りません。一方が後の再審議を数え、他方が数えないなら、除外するか別のモデルを使う必要があるかもしれません。アルゴリズムの狭い主張は、同じ種類の結果を比べることに依存しています。

適格性は、最終結果を調べる前に決めます。そうしなければ、成績を悪く見せる扱いにくい事例を、調査から黙って除けてしまいます。曖昧な規則、利用できない情報源、対応していないイベント構造など、除外した契約と理由を残します。その記録により、どの範囲でアルゴリズムの主張を実際に評価しているかを説明できます。

判断を行う時点と対象期間を固定する

この架空のアルゴリズムは、議決前に定めた調査期間内で、最初に検証できた日程の更新を評価します。実際に受け取った時刻を記録し、その判断に使う新しい執行可能な提示を調べる前に、予測を完成させます。いつ判断するかは仕様の一部であり、値動きを見た後で選ぶものではありません。

後の更新は解釈しやすくても、残る機会を減らす場合があります。過去を使う検証でも、収集と計算の遅れを含め、その処理が実際に操作できた時点を使う必要があります。遅れて得た証拠と、その証拠を受け取る前の古い価格を組み合わせてはいけません。

提案に認める最大の古さを決め、何によって失効するかを特定します。日程の変更、新しい公式声明、判断期限の経過は、それぞれ古い提案を無効にする場合があります。そのときは、根拠が適用できなくなった指示を送信し続けず、新しい調査の版を作るか、操作を見送るべきです。

予測する前に入力を残す

入力の記録では、文書、版、分かる場合の公開時刻、受信時刻、抽出した手続き上の項目を特定するべきです。情報源に記された事実と、アルゴリズムが加えた解釈を分けます。解析処理が成功しただけでは、正しい任命や日程の版を選んだ証拠にはなりません。

採用した更新ごとに、確認者が分類を再現できるだけの証拠を残します。必要な項目が欠けている場合や曖昧な場合は、未解決の観測として返すべきです。取引の反復処理を動かし続けるためだけに、ありそうな値で不足を埋めるべきではありません。

入力の記録は、後で情報源の変更を評価することも支えます。機関が文書の構造を変えると、モデルが過去に示した動作は適用できなくなるかもしれません。正確な記録があれば、解析の失敗をイベント確率の急変と取り違えるのではなく、どこで前提が変わったかを特定できます。

予測と比較基準を定める

アルゴリズムには、日程の文言が好ましく見えるという得点だけでなく、正確な契約の結果に対する確率の推定が必要です。適切な過去の標本を使って変換方法を作り、その規則の選択に使っていない後のイベントで評価します。

比較基準にも、同じ判断時点で利用できた情報を使うべきです。調査の問いに応じて、過去の単純な頻度や、指定した市場の推定を使えるかもしれません。結果を見てから勝ちやすい相手を選ばないよう、比較する前に基準を保存します。

以下の数値による確認では、モデルが中心となる確率0.61と、不利な条件を置いたシナリオの確率0.56を出すと仮定します。判断の計算を確認するための架空の入力であり、実測による推定ではありません。別に検証した手順で確立しない限り、不利なシナリオの値を統計的な信頼限界と扱うべきではありません。

結果を見る前に費用を上回る余地を決める

架空の規則では、単純なドルの払い出しに対して、不利なシナリオの確率が、一口当たりに仮定した総費用の最大額を少なくとも$0.04上回ることを求めます。これは調査のために選んだしきい値であり、四セントの余地ですべての不確実さを補える証拠ではありません。

購入価格の最大値を$0.51、手数料のために確保する額を一口当たり$0.01とします。仮定した総費用の最大額は$0.52です。不利なシナリオの確率が0.56なら、モデル上の余地は一口当たり$0.04となり、架空の規則をちょうど満たします。

しきい値を選んだ理由を記録し、最終検証用の標本で最良の値を選ばずに、変更への感度を評価します。細かく調整した一つの余地でしか有益に見えないなら、その脆さを検討する必要があります。透明なアルゴリズムは、厳しく選別すること、機会が減ること、予測に不確実さがあることの間の兼ね合いを、確認できるようにするべきです。

予測ができてから注文板を読む

執行できる条件との比較には、予測と認可の確認を終えられる時点より後に利用できた注文板の観測を使うべきです。買い気配、売り気配、流動性の厚み、受信時刻を残します。画面に表示された中間価格は、意図した数量を購入する費用ではありません。

Polymarketの注文板の文書は、表示価格と、実際に執行できる売買の側を区別しています。架空の例では、十口が$0.48、十五口が$0.50で売りに出されているとします。$0.51の制限内に二十五口が見えますが、実際に提案する数量は口座の制限によって決まります。

注文板が古い場合、不完全な場合、または送信前に変わった場合は、定めた再検証の規則を適用します。古い有利な提示を、価格の制限を緩める理由にするべきではありません。イベントの予測が変わらなくても、新しい価格によって、モデルが示した機会がなくなる場合があります。

数量に関する制約を一貫して組み合わせる

提案する数量は、適用されるすべての制約を満たすべきです。架空の口座では、イベントごとの上限が四十口で、既に十二口を保有し、有効な注文からさらに八口を取得する可能性があります。そのため、追加で取得できる余地は二十口です。二十五口の流動性が見えても、口座の上限を上書きすることはできません。

新しい意図のために拘束できる資金の予算は$10.40です。一口当たりの費用の最大額を$0.52と仮定すると、二十口に使えます。したがって、この例では、流動性の厚み、イベントの残り枠、費用の予算のすべてが、二十口の提案を認めます。

実際の計算では、正確な単位と現在の市場要件を使います。認められる小数数量や最小注文数量によって、有効な結果が変わる場合があります。Kalshiの取引ツールのガイドは、調査と計算の責任を比べるのに役立ちます。ただし、実際の注文制約には、検討しているPolymarketの市場固有のものを使う必要があります。

架空の例で予想される費用を計算する

二十口を買う場合、観測した注文板には、十口が$0.48、十口が$0.50であります。購入費用は$4.80と$5の合計で、手数料を除いて$9.80です。一口当たり一セントの手数料を仮定すると、総費用の推定は$10.00になります。仮定した平均費用は$0.50です。

中心となる確率0.61では、モデル上の期待払い出しは二十に$0.61を掛けた$12.20です。モデル上の期待差額は$2.20になります。不利なシナリオの確率0.56では、期待払い出しは$11.20で、観測から計算した総費用の推定に対して$1.20が残ります。

認可に使うのは、観測から得た低い推定額ではなく、最大の資金拘束を仮定した$10.40のままです。この違いにより、承認した範囲内で注文板が変わっても、価格の境界を保てます。これらの計算はすべて、架空の予測と手数料の仮定に依存しています。内部の整合性を示すものであり、利益が実現したという主張ではありません。

注文が有効な間の動作を定める

この例では、現在の取引先の文書化された動作と認められるパラメーターに従い、一部の執行を認めて残りを取り消す、即時の指示を使います。判断期間が終わった後に、新しい待機注文は残しません。この選択は、アルゴリズムが負う保有リスクを管理する方針の一部です。

Polymarketの注文の状態遷移の文書では、FAKは利用できる数量を約定させ、残りを取り消すものと説明されています。待機注文を使う形なら、最初の観測と予測が古くなってからも保有リスクを取得する可能性があるため、別の仕様になります。

実際の注文種類を意図と一緒に記録します。後の確認者が、未約定の数量による資金拘束が残ったかを判断できるようにするべきです。一部が約定したからといって、不足分を後で必ず買う必要があると推論するべきではありません。追加購入には、現在の証拠と口座状態に基づく、新しい提案が必要です。

判断規則を満たしたことの記録を残す

判断規則への適合を記録するものに、入力、予測、注文板、口座状態の記録、認可を結び付けます。どの条件を満たし、どの正確な条件の指示を処理の外へ送ることが認められたかを述べるべきです。注文を送信する前に永続保存し、復旧が記憶や失われた画面状態へ依存しないようにします。

却下した候補にも、同じ構造の記録と短い理由を残す価値があります。契約の不一致、古い入力、不十分な余地、足りない流動性、使い切った余力などが例です。これらの理由から、仮説が実際に使える機会を生んでいるかが分かります。

以前の予測市場の取引アルゴリズムのガイドは、これらの段階を通じた設計と検証を説明しています。適合の記録を最終結果と分けておけば、有利な結果が出たことで、当時は規則を満たしていなかった判断を、後から正当化することを防げます。

一部だけ執行された結果を照合する

架空の二十口の即時注文で、八口が$0.48、七口が$0.50で執行されたとします。購入費用は$3.84と$3.50の合計で$7.34です。手数料の合計を$0.15と仮定すると、総費用は$7.49です。要求したうち五口は未約定となり、選んだ動作に従って取り消されます。

口座の保有は、元の十二口と取得した十五口を合わせ、二十七口になります。以前からの八口の有効な注文は、別の取得可能性として残っています。そのため、単純な数量の方針では、イベントに対する保有が三十五口まで増える可能性があります。新しい要求から取り消した五口は、有効な注文として残りません。

要求を受け付けたという応答だけでは、この最終状態を確立できません。関連する注文と取引の証拠を追い、口座と照合するべきです。送信の結果が不明なら、適切な余力の確保を残し、同じ余力を使う別の候補を検討する前に調査します。

無効になる条件と退出の方針を述べる

判断規則には、参入後に何をするかの計画が必要です。結果判定まで保有する方針、証拠に基づいて退出する方針、時刻に基づいて見直す方針のいずれでも、この例を評価できます。しかし、結果を知ってから、それらを混ぜるべきではありません。

この調査の仕様では、公式日程が変わるたびに予定に従って見直し、表示価格が動いたという理由だけでは自動退出しないと仮定します。元の契約への対応付けと、予測の仮定がまだ適用できるかを確認します。売却する場合には、それ自体の費用と認可の確認が必要です。

仮定の評価価格が取得費用を上回っても、保有分全体をその条件で売って退出できる保証にはなりません。売却を評価する際は、利用できる買い気配と適用される費用を使うべきです。同様に、不利な評価価格だけでは、変化の原因が予測、執行、市場の流動性のどれにあるかは分かりません。

無効になる条件と退出の方針を述べるRule matchFresh quoteCost marginAccount capacityAbstainTRADING FIELD NOTESEDUCATIONAL RESOURCE
規則への適合、情報の新しさ、費用を上回る余地、口座の余力は、それぞれ独立した確認です。どれか一つを満たさなければ、見送りになる場合があります。

予測と注文を別々に評価する

予測の評価には、価格や余力のために却下した候補も含め、適格として記録したすべての推定を含めるべきです。執行の評価には、実際の注文、約定、手数料、未解決の事例を含めます。この二つの対象集団は重なりますが、目的は異なります。

モデルが予測の正確さを改善しても、費用を引くと使える余地を生まない場合があります。執行処理が規則を完全に守っても、その基礎となる仮説が成り立たない場合もあります。記録を分ければ、すべての結果をアルゴリズムの質の単一の尺度と扱わず、どの主張を修正する必要があるかを調査者が特定できます。

Kalshiの取引アルゴリズムのガイドは、反証できる情報上の優位性について、別の取引先固有の例を組み立てています。他にも応用できる方法は、仮説を残し、後に起こる事例で検証することです。その際も、契約の定義、価格の慣行、口座の仕組みは区別して保ちます。

基礎となるイベントごとに評価用データを分ける

開発用と評価用のデータを分ける際は、一つの任命手続きに関係する契約を同じ側へまとめるべきです。そうしなければ、ある部分集合でイベントの詳細を実質的に学習し、別の部分集合の密接な契約を予測したこととして、モデルを評価してしまう場合があります。

契約の観測件数とともに、その基礎となるイベントの数も報告します。少数の任命に結び付く五十のしきい値や期限は、情報上の仮説を独立に五十回実証したものではありません。その関係も評価の設計に含めるべきです。

将来のイベントへ使う予定なら、時系列に沿って検証します。開発中に選んだ内容を評価するため、後の期間の標本を確保します。無作為に混ぜると、情報源の手順や市場の動作の変化が隠れる場合があります。アルゴリズムが実際に学習し、操作する順序に近い評価にするべきです。

規則を書き換えずに仮定の脆さを調べる

感度分析では、受信の遅れ、手数料の推定、利用可能な流動性、予測の不確実さなど、もっともらしい仮定を変えるべきです。目的は脆さを理解することであり、過去の最良の結果を出す形を際限なく探すことではありません。

架空の例では、総費用が高くなる場合や、不利なシナリオの確率が低くなる場合に、必要な余地がなくなるかもしれません。使える予算が小さくなれば、数量が減る場合があります。情報源の遅れによって、提案全体が失効する場合もあります。述べた条件に従い、こうした判断の変化を一貫して出せるべきです。

以前の予測市場のボットは利益を出せるかという解説は、公平な検証を重視しています。運用の中断も含め、損失が出た事例と却下した事例を残し、その基準を適用します。常に利用でき、有利に約定すると仮定した評価が答えるのは、手順全体が実際に役立つかという問いとは別のものです。

どの証拠で仮説が成り立たなくなるかを定める

反証できる仕様では、どの証拠が調査上の主張を弱め、または終わらせるかを述べるべきです。後のイベントで比較基準を上回らないこと、確率の校正のずれが続くこと、現実的な時刻を使うと見かけの優位性がなくなること、情報源の定義が変わり元の関係が崩れることなどが例です。

見直す理由を得るために、一度の劇的な失敗を待つ必要はありません。データの質が徐々に下がることや、却下する候補の割合が上がることから、運用条件の変化が分かる場合があります。逆に、少数の不利な結果は、合理的な確率予測と矛盾しない場合があります。それを理由に、管理せずパラメーターを変え始めるべきではありません。

最終の標本を調べる前に、見直す予定と判断の基準を書きます。アルゴリズムの価値の一部は、自らを否定し得る証拠を生むことにあります。条件を変えながらすべての損失を後付けで説明する規則は、評価で検証するはずだった具体的な主張ではなくなっています。

一つのアルゴリズムと複数手法の組合せを分ける

二つ目のモデル、気配提示の戦略、別のイベント群を加えると、複数の手法を調整する問題が生じます。元の規則の貢献を理解できるよう、独自の識別と評価記録を保つべきです。共有する口座の制限には、それらすべてから生じる資金拘束を含める必要があります。

Polymarketの複数の取引アルゴリズムのガイドは、複数の方法で重なる保有リスクを検討しています。名前が違うだけでリスクが独立するわけではありません。複数のアルゴリズムが同じ情報源を使い、または関連する結果を取引するなら、特にそうです。そのため、拡張には別途、口座と評価の見直しが必要です。

より大きなシステムへ育っても、狭い仕様を残します。このアルゴリズムだけが何を提案し、なぜ見送り、実際の注文が意図した判断とどう違ったかを、再構成できる状態を保つべきです。分けなければ、合算した結果によって、弱い構成要素が無関係な成功例の陰へ隠れる場合があります。

Polymarketの取引アルゴリズムを測定可能にする

完全な仕様は、反証できる仮説を、適格な証拠、固定した対象期間、予測、費用のしきい値、範囲を限った口座の操作へ結び付けます。一部だけの執行、不確実さ、無効化、評価をどう扱うかも述べます。各部分が、再現し問い直すことのできる判断を作ります。

まず、ここで示したような架空の事例で記録と計算を検証します。その後、有用性を結論する前に、適切に分離した実際の観測を使って、情報上の主張を評価します。情報源から得た事実、モデルの推定、選んだ方針上のしきい値を、明確に識別できるようにします。

操作と見送りの両方を説明できれば、本格的な検討へ進めます。常に注文を作ることが成功ではありません。正確な主張を立て、現実的な制約の下で一貫して適用し、後のイベントに照らしてその主張が成り立ち続けるかを判断するための証拠を、十分に残すことに価値があります。

さらに学ぶ

すべての資料を見る