測定の背後にあるもの

アーカイブの記録は、ユニットが何を返したかを述べます。ここにある主張が述べるのは、その返答の背後にあるものです。どのバイトがどのアルゴリズムを動かしているか、それがどう組み上がっているか。これは測定とは種類の違う主張で、測定にはありえない形で誤りえます。そのため一つひとつに、同定がどこまで進んだか、何を根拠にしているか、何があれば誤りと分かるかを添えています。

この頁の読み方

「特定完了」とするには、二つが同時に成り立つ必要があります。アーカイブが今もその主張を支持していること。そして、そこから組んだモデルについてのアーカイブ自身の判定が「ユニットの挙動を再現した」となっていること。どちらもアーカイブから読み取るだけで、ここで計算し直すものはありません。それ以外はすべて「調査中」とし、まだ開いている理由を横に置いています。

実装例を載せるのは、特定完了の主張だけです。証拠の上には立っていても、そこから組んだモデルは棄却されている、という主張がありえます。そのモデルをコードとして印刷すれば、アーカイブが拒否したアルゴリズムを公開することになります。

アルゴリズムをどう同定しているか

読み込み中…

測定の背後にあるもの ​

測定の背後にあるもの