適用前に確認
実際の動作を期待する結果と比較します。検証に失敗した場合は、次の変更を加える前に原因を調べてください。
def bezout(a, b):
if any(type(v) is not int or abs(v) >= 10**100 for v in (a, b)):
raise ValueError("integer.range")
old_r, r = abs(a), abs(b)
old_s, s, old_t, t = 1, 0, 0, 1
while r:
q = old_r // r
old_r, r = r, old_r - q * r
old_s, s = s, old_s - q * s
old_t, t = t, old_t - q * t
return old_r, old_s * (-1 if a < 0 else 1), old_t * (-1 if b < 0 else 1)実際の動作を期待する結果と比較します。検証に失敗した場合は、次の変更を加える前に原因を調べてください。
OpenAI互換またはAnthropicのエンドポイントを、ベースURLと必要なAPIキーで設定し、接続をテストします。ローカルのモデルサーバーは起動が必要です。リモートツールは別途データを送信する場合があります。
負の引数とゼロの場合を確認し、整数恒等式を検証して真偽値を拒否します。
def bezout(a, b):
if any(type(v) is not int or abs(v) >= 10**100 for v in (a, b)):
raise ValueError("integer.range")
old_r, r = abs(a), abs(b)
old_s, s, old_t, t = 1, 0, 0, 1
while r:
q = old_r // r
old_r, r = r, old_r - q * r
old_s, s = s, old_s - q * s
old_t, t = t, old_t - q * t
return old_r, old_s * (-1 if a < 0 else 1), old_t * (-1 if b < 0 else 1)BezoutValeは、出力が厳密な契約を満たす必要があるヘルパー処理を調べるWindows向けコーディングソフトウェアです。プロジェクトを開き、各返却値に対する呼び出し側の期待を説明します。特に複数の出力が個別には妥当に見える場合、リファクタリングの提案前にインターフェースを調べるようモデルに依頼してください。
bezout.pyに基づく作業では、符号付き入力と、公約数とともに返される係数に焦点を当てられます。負の入力例を提示し、結果が満たすべき恒等式を示します。正しそうな計算に隠れて返却順や符号規則の変更が見逃されないよう、呼び出し側のタプルの使い方もレビューしてください。
独立した検証で提案を評価します。プロジェクトのテストを実行し、0の入力の組み合わせ、符号の違い、非対応オペランドの拒否を調べてください。証拠は元の要件に結び付けます。モデルの説明はレビューを導きますが、アプリが必要とするのは数学的関係と実際の呼び出しインターフェースの両方を満たす結果です。
対応するOpenAI互換またはAnthropicのエンドポイントからモデルを選び、必要な認証情報を指定します。サービスが無検閲AIモデルを提供している場合も、プロバイダーの制限に従います。ツール対応とコンテキスト容量は選択したモデルとサーバーに依存します。セッションで確実に調べられる範囲にソースの検討を絞ってください。
必ずしもありません。アプリが必要とする性質と、特定の表現に依存するかを確認します。タプル全体の等値検証は契約より厳しすぎる場合があります。処理やテストを変える前に呼び出し側をレビューしてください。
符号処理で公約数は妥当に見えても係数の関係が崩れる場合があるためです。符号付きのテストデータを示し、定義する関係を独立に検証します。返却値が元のオペランドに対応するよう、入力境界での正規化もレビューしてください。
意図する結果か拒否方針を示し、現行実装と呼び出し側と比較します。通常の正入力の考え方だけで0の場合を解決したとみなさないでください。将来のリファクタリングでも契約を守るため、明示的にレビューに含めます。
はい。既存のタプル順、受理する型、符号規則を依頼に記載し、限定的な変更を求めます。検証の変更や出力の並べ替えが差分にないか調べ、プロジェクトに採用する前に契約レベルの検証を実行してください。
BezoutVale · 更新日 2026-10-25