REA 実践ガイド / 全13ガイド
REA チュートリアル
と実例
知りたい機能を選び、根拠を追い、再実装した動作を確かめましょう。
13件のガイド
Dino：ゲームはなぜだんだん速くなる？
REA で Chromium 系の恐竜ゲームを調査。加速ルールを読み解き、速度調整を追加して、浮動小数点の境界ケースを検証します。
TH04：16発の弾はどうやって自機を狙う？
REA で TH04 の円形弾幕を調査。1バイトの角度、照準、回転を追い、操作できる図で小さな再実装を検証します。
DX-Ball：音だけでブロックの左右が分かる？
REA で DX-Ball のステレオパン関数を調査。命令と定数を追い、音のデモを試し、読み解いた計算を検証します。
Windows 電卓：なぜ 200 + 10% は220になる？
REA で Windows 電卓のパーセントキーを調査。加算と乗算を比較し、分岐を読み解いて、二つのオペランドを使うデモで検証します。
Aegis：なぜ60秒で認証コードが変わる？
REA による Aegis APK の調査をたどり、時刻を操作できる TOTP デモを試します。公開テストベクトルで計算結果を検証しましょう。
Notion：Electron アプリは書式付きテキストをどうコピーする？
REA で、Notion の報告にあるコピー経路をレンダラーから IPC、システムのクリップボードまで追跡。その調査方法を自分の Electron アプリに応用します。
REA の Android 解析：この APK はどこへ通信する？
REA で Android APK を解析。リクエストを組み立てるコードと呼び出し元を追い、候補のエンドポイントと実際に観測した通信を区別します。
REA のネイティブ解析：「File too large」の条件を探す
REA と Ghidra でエラー文字列からネイティブ関数を追跡。ファイルサイズの判定を読み解き、代替実装の境界テストを設計します。
REA のブラウザー解析：エクスポート後に何が起きる？
REA でブラウザーのエクスポート操作を調査。通信と読み込まれたコードを結び付け、サーバーを使わずページ内でダウンロードを生成する場合を見分けます。
REA のバージョン比較：更新で何が変わった？
REA で Electron の2リリースを比較。動かなくなった操作の原因コードを探し、同じ入力を再実行して、焦点を絞った回帰テストを作ります。
コーディングエージェント向けに REA をインストール
REA をインストールし、MCP で Claude Code・Codex・Cursor に接続。接続確認から、調査対象に必要な解析ツールの選び方まで解説します。
REA の使い方：アプリのエクスポートボタンを追う
Electron のエクスポートボタンを追いながら REA の使い方を学びます。notes.csv の保存先、IPC の経路、CSV 整形処理を確認・テストします。
slugify：URL に「!」が残るのはなぜ？
REA で slugify 1.6.6 を調査。URL に記号が残る理由を探り、lower と strict を比較して、8件の実行可能な検証を行います。