数式の追跡と検証とは？他人のモデルを読む手順

30秒で分かる定義

数式の追跡と検証（Formula Auditing、読み方：すうしきのついせきとけんしょう）とは、Excelの参照元・参照先のトレース機能や数式表示機能を使って、ある数字がどの前提からどの経路で計算されたかを短時間で解明する技術です。ワークシート分析、トレース機能とも呼ばれます。自分が組んだモデルの検算にも使いますが、真価が出るのは他人が作ったモデルを引き継ぐときです。中身を推測して作り直すのではなく、既存の構造を正確に読み取ってから触る——これができるかどうかで、実務での立ち上がり速度が決まります。

なぜ実務で重要なのか

M&A案件では、売り手のFAが作ったモデルや対象会社の事業計画Excelが買い手側に渡ってきます。買い手のアナリストは、そのモデルの数字を信じてよいかを短時間で判断しなければなりません。PEファンドが投資先から受け取る予算モデル、事業再生案件で管財人や再生支援機関から渡される資金繰り表も同様です。いずれも「作った人がいない」「聞ける相手がいない」状態で読み解く必要があります。モデルがバランスしない時のデバッグ手順で扱う差額からの犯人特定も、その前提として数式追跡の技術があって初めて成立します。逆に、この技術が無いと「よく分からないので自分で作り直します」となり、丸2日を失います。

計算式（または仕組み）

数式追跡は、目的に応じて4つの道具を使い分けます。

実務での標準的な進め方は次の順序です。

ポイントは下流から上流へ辿ることです。前提シートから順に読み下ろすと、結論に効かない枝葉に時間を取られます。「株式価値」というゴールから逆に辿れば、結論に効く経路だけを最短で通れます。

整数設例で確認する

設例（架空数値）。単位は百万円です。受け取ったモデルのEBITDA行が次のように組まれていました。

• 営業利益：1,500
• 減価償却費：500（3期目の値）
• EBITDA：営業利益＋減価償却費 ＝ 1,500 ＋ 500 ＝ 2,000

参照元のトレースをかけると、EBITDA行の3期目セルが参照している減価償却費が、同じ3期目ではなく2期目のセル（480）を指していることが判明しました。実際に計算されている値は 1,500 ＋ 480 ＝ 1,980 であり、正しい2,000より20小さいことになります。

この20の差がどこまで波及するかを追います。EV/EBITDA倍率8.0倍で評価しているとすると、事業価値は 1,980 × 8.0 ＝ 15,840 となり、正しい 2,000 × 8.0 ＝ 16,000 に対して160の過小評価です。ネットデットが4,000なら株式価値は 15,840 − 4,000 ＝ 11,840 と 16,000 − 4,000 ＝ 12,000 で、やはり160の差になります。

1セルの参照ズレ20が、株式価値では160の差になる——これが倍率を掛ける評価モデルの怖さです。しかも1,980という数字は、単体で見れば何ら不自然ではありません。数式の追跡をしない限り発見できない種類の誤りです。

案件プロセス上の位置付け

他社モデルを受領した直後の15分間で何をするかが勝負です。実務では次の順で確認します。第一に、シートタブの数と役割（前提・計算・出力・実績）を把握します。第二に、最終アウトプットのセルから参照元を2〜3階層辿り、計算の背骨を確認します。第三に、数式表示に切り替えて全シートを流し見し、行の一貫性が崩れている箇所を記録します。第四に、外部ファイルへのリンクが残っていないかを確認します（外部リンクは受領モデルで最も見落とされる地雷で、リンク先ファイルが無いと値が更新されません）。ここまでで、そのモデルを信頼してよいかの一次判断ができます。詳細な検証手順は財務モデルのクオリティチェック（QC）完全ガイドで体系化しています。

財務モデル・Excelでの使い方

速度を出すための実務的な工夫を挙げます。

• 参照元へジャンプする操作を覚える。数式内の参照を選択して定義参照へ移動する操作は、トレース矢印を目で追うより速く、別シートへの参照も一発で飛べます。戻る操作と組み合わせると、上流と下流を往復しながら構造を掴めます
• 数式の部分評価を使う。長い数式のうち一部分だけを選択してF9キーを押すと、その部分の計算結果だけが表示されます。確認後は必ずEscで戻す——Enterを押すとその部分が計算結果の数値に置き換わり、ハードコードを自ら作り込むことになります
• ジャンプ機能で「定数」を選び、予測期間の範囲に直入力セルが無いかを確認する。ハードコーディングの発見に最も効きます
• ウォッチウィンドウに主要なチェックセル（BSの貸借差額、CFの現金残高一致）を登録しておくと、どのシートを見ていても壊れた瞬間に気づけます
• 循環参照の警告が出る場合は、反復計算の設定状態を先に確認する。設定が入ったまま渡されたモデルは、開いた環境によって数字が変わり得ます。詳細は循環参照を参照

ショートカット全般は投資銀行のExcel作法とショートカットにまとめています。

実務家が確認するポイントとよくある誤解

誤解1：「数式追跡は他人のモデルを直すための技術」→ 正しくは、まず信頼できるかを判断するための技術です。直すかどうかは判断の後です。信頼できないと分かった時点で組み直す決断ができれば、それも成果です。

誤解2：「トレース矢印を出せば構造が分かる」→ 正しくは、矢印は1階層ずつしか教えてくれません。複雑なモデルでは矢印が画面を埋め尽くして逆に読めなくなります。矢印は局所的な確認に使い、全体像は数式表示とシート構成から掴みます。

誤解3：「F9で部分評価すれば安全に検算できる」→ 正しくは、操作を誤ると数式を破壊します。Escで戻す習慣が無いなら、この機能は使わない方が安全です。検算はチェック行を別途作る方法でも代替できます。

確認ポイント：他社モデルでは、非表示になっている行・列・シートを必ず確認します。非表示領域に調整項目が隠れていることがあり、表示されている数字の合計が合わない原因になります。また、フィルタがかかった状態で保存されたシートは、見えている行がデータの全部だと誤認しやすいため注意します。

日本実務での扱い

日本のM&A実務では、対象会社が中小企業の場合、事業計画がExcelではなく紙や会計ソフトの帳票で提供されることがあり、そもそも追跡すべき数式が存在しないケースもあります。この場合は数式追跡ではなく、試算表と計画値の突合という別の検証に切り替える判断が必要です。逆に上場企業の子会社売却案件などでは、対象会社の管理会計モデルが数十シートに及ぶことも珍しくなく、追跡技術の巧拙が期限内に検証を終えられるかを分けます。

制度面では、金融商品取引法に基づく内部統制報告制度（J-SOX）において、決算・財務報告プロセスで用いられる表計算ファイルの正確性が評価対象となり得ます（2026年7月時点）。内部監査部門が実施するスプレッドシートの検証でも、参照の妥当性確認と直入力セルの洗い出しが基本手続きとなります。監査上の主要な検討事項（KAM）として見積りの合理性が取り上げられる場合、その見積りの根拠となる社内モデルの検証可能性も実務的な論点になります。

面接・モデルテストで問われるポイント

Q：他人が作ったモデルを渡され「1時間で妥当性を判断してほしい」と言われたら、何をしますか？
「まずシート構成を把握し、前提・計算・出力の分離ができているかを見ます。次に最終アウトプットから参照元を辿って計算の背骨を確認し、前提の入口を特定します。続いて数式表示に切り替えて行の一貫性を点検し、ジャンプ機能で予測期間内の直入力セルを洗い出します。最後にBSの貸借一致・CFと現金残高の一致という基本チェックが通っているかを確認します。1時間では全セルは見られないため、結論に効く経路と、壊れていたら致命的な箇所に絞って検証します。」

深掘りでは「外部リンクをどう扱うか」「循環参照が設定されたモデルをどう検証するか」が問われます。

よくある質問（FAQ）

Q. 数式追跡と検算チェックはどう違いますか？
A. 数式追跡は「どう計算されているか」を読む行為、検算チェックは「結果が整合しているか」を機械的に検知する仕組みです。前者は人が読む一回限りの作業、後者はモデルに埋め込んで継続的に働かせるものです。両方が必要で、片方では代替できません。

Q. 巨大なモデルで、どこから追跡を始めればよいか分かりません。
A. 意思決定に使われる数字を1つだけ選んでください。株式価値、IRR、EPS——何でも構いません。その1セルから上流へ辿るだけで、モデルの背骨は必ず通ります。結論に繋がっていない領域は、少なくともその判断においては優先度が低い部分です。

出典・参考（2026-07-21確認）

• Microsoft サポート（Excel「ワークシート分析」「数式の検証」の公式ドキュメント） https://support.microsoft.com/
• 金融庁「財務報告に係る内部統制の評価及び監査の基準」（内部統制報告制度） https://www.fsa.go.jp/
• 日本公認会計士協会（監査上の主要な検討事項〈KAM〉に関する実務指針等） https://jicpa.or.jp/

※本記事は教育目的の一般的な解説であり、法務・税務・投資助言ではありません。設例は理解のための架空数値です。