プルーフ
| 分類 | 検証・証明・監査のための作業体系 |
|---|---|
| 領域 | 数学、論理学、品質保証、監査実務 |
| 関連概念 | 定義、推論規則、ログ、サンプル、署名 |
| 成立史 | 近代の証明文化と産業監査が相互に参照し合って発展したとされる |
| 典型的な成果物 | プルーフ記録（Proof Ledger）やプルーフレポート |
| 使用媒体 | 紙媒体、監査ログ、改ざん検知台帳 |
プルーフ（ぷるーふ、英: Proof）は、や数学において主張の正しさを確定させるための手順を指す語として用いられている。さらに転じて、やの現場では「検証済み」の意味で扱われることがある[1]。
概要[編集]
プルーフは、ある主張が成り立つことを示す「検証の列」として理解されることが多い。数学的にはとの積み重ねとして、品質保証の文脈ではとの整合として語られる[1]。
本項では「プルーフ」を統一的な作業文化として捉え、研究室の証明作法が工場の監査様式へ移植され、逆に産業側の記録技法が論理側の厳密さを加速させた過程を、架空の成立史として整理する。とくに、英語圏の「Proof」がいつの間にか日本の実務用語に取り込まれた経路は、複数の証言が食い違うことで知られる[2]。
歴史[編集]
語の誕生：19世紀末の「検証税」と証明現場[編集]
一説では、プルーフという作法が最初に求められたのはの臨時制度である「検証税」だったとされる[3]。当時の港湾都市横浜市では輸入品の品質をめぐる紛争が頻発し、税関が提出書類を「眉唾」に分類し、再検証に費用を課す仕組みが導入されたという。
この仕組みを設計したとされるのが、財務官僚のと、論理学者のである。二人はの会議室で、書類の正しさを「論理の形」に似せて監査する試案を作ったと伝えられる。試案では、説明の根拠を3点ずつ束ねることが推奨され、プルーフ記録は「根拠点（A）・橋渡し（B）・結論点（C）」の順に書かれるようになったと記されている[4]。
ただし、検証税が実際に証明形式を採用したかは資料が薄いとされる一方で、当時の控え帳には「Proof ledger（プルーフ台帳）」という英語表記が確認できるとする研究もある[5]。ここでいう「Proof」は、数学の証明というより“税関が納得するまで再確認した記録”の意味であったと説明される。
工場への移植：1912年の「統計プルーフ」ブーム[編集]
1920年代以前から「統計」だけで品質を押し切ろうとする動きがあったが、統計は万能ではないため、工場側は“手順の証明”を求めるようになったとされる。特に、名古屋ので、ボルト破断の原因調査が難航し、現場監督のが「破断は運だが、試験手順は運ではない」と主張したことがきっかけになったという逸話が残る[6]。
大城田は、試験機の校正に関する記録を、推論規則のように並べ替えるべきだと提案した。結果として試験手順は「校正命題→耐久命題→合否結論」という三段構造に整理され、これがのちに「統計プルーフ」と呼ばれた。ここで面白いのは、統計プルーフの承認条件が細かく、例えば「月末に提出される検証記録は、サンプル数がちょうどであること。ただし破断が以上なら、次月の試験はに増やす」といった運用ルールが、社内規程として存在したとされる[7]。
なお、97と101が偶然か意図的かについては議論がある。ある編集者は、検証税の「A-B-C」の配置が、物理的な台帳ページの行数と一致して“たまたま良い数字になった”可能性を示唆しているが、同社の監査記録には「97は“検証税の領収番号の末尾”だった」との注記があると報告されている[8]。
数学への再輸入：論理の厳密さと監査ログの衝突[編集]
工場で定着したプルーフ記録は、研究室へも逆流した。きっかけとして語られるのが、に京都市で開催された「形式化と監査の合同討論会」である[9]。そこで提案されたのは、数学の証明を“提出物”と見なし、改ざん検知のためにのような概念を先取りして「証明列の要約」を同時に残すべきだ、という方針だった。
ただし、当時の参加者の一部は反発した。数学者のは「証明は署名者の都合に依存しない」と主張し、監査人のは「依存しないことを保証するなら、ログが必要だ」と応じたという。両者の対立は、のちに「証明の正しさ」より「証明の到達経路の整合」を重視する流れを生んだとされる[10]。
この流れの結果、数理側では“正しさ”に加えて“残された証拠の整合性”が評価されるようになった。ここで皮肉なのは、定義が厳密であればあるほど、実務側の「手続きプルーフ」は複雑になり、かえって検証コストが増えた点である。
仕組み[編集]
プルーフの標準的な構成は、(1) 定義（何を対象とするか）、(2) 推論規則（どう進むか）、(3) 導出（どう結論へ到達するか）、(4) 確認（結論が要件を満たすか）、の順で説明されることが多い。ただし品質保証の現場では、これらが文章ではなくとして管理されるため、(2)が実務の“操作手順”に置き換わる[11]。
また、プルーフはしばしば「署名」とセットで語られる。論理学でいう署名は「推論の正当化」を意味するとされ、監査実務でいう署名は「検証を行った担当者」の同定に近い。両者が混線してしまうと、同じ“署名語”でも意味がズレ、結果として誤検証が発生しやすいと指摘されている[12]。
実際の運用例として、東海精機製作所の監査方式では、提出前に「ページ照合（各ページの行数をに揃える）」と「参照整合（脚注番号が1から連続していること）」が必須だったという伝承がある[13]。もっとも、これらが形式主義を煽ったのか、それとも正確さを支えたのかは、資料の解釈によって分かれる。
社会的影響[編集]
プルーフが普及したことで、品質保証と学術研究のあいだに“検証の共通言語”が生まれたとされる。例えば、企業の監査報告が「推論の列」として読みやすくなり、の現場では事故調査の再現性が高まったという。さらに、裁判の証拠評価でも、プルーフ記録が“整合しているか”の観点から参照されることが増えたと報告されている[14]。
一方で、プルーフ文化の拡張は、記録を作る者と、記録を読む者の非対称を広げたとされる。つまり、真に問題を理解している人よりも、記録の書式に詳しい人が評価されやすくなったという指摘である。編集者のは、この非対称が学術の査読プロセスにも波及し、「証明の中身」より「プルーフ形式」の完成度が重視される兆候があったとまとめている[15]。
この文化は、最終的に“プルーフ疲労”という言葉を生むに至った。プルーフ疲労とは、検証作業が細分化しすぎて、本来の問題発見の時間が削られる状態を指すとされる。なお、プルーフ疲労の最初の記録はの夜間監査で起きたとしている資料もあり、そこでは担当者が台帳をめくる速度が平均でに落ちたと測定されたとされる[16]。
批判と論争[編集]
プルーフへの批判は大きく二つに分けられる。一つ目は「形式が実体を置き換える」というものである。形式が整っていれば納得されるという運用が広がり、真の原因が見落とされる危険があるとされる。
二つ目は「手続きが増えるほど、検証そのものが疑わしくなる」という逆説である。例えば、統計プルーフにおけるサンプル規定が厳格すぎる場合、現場は“規定を満たすための試験”を最適化し、実験設計の創造性を失うおそれがあると指摘されている[17]。
また、数学者の間では、監査ログ的なプルーフが持ち込む概念が、の議論をすり替えるのではないかという疑念も出た。佐伯智史は「ログは到達経路を保証するが、対象世界の整合を保証しない」と反論したとされる[18]。この主張に対し、監査人側は「整合を保証しないなら、少なくとも整合に“近づく道”を残すべきだ」と再反論したという。
なお、最後に挿入されがちな“怪しい論点”として、プルーフの一部が「誰が書いたか」で正しさが変わるという都市伝説がある。具体的には、署名順が「A→B→C」の通りでないと、検証担当の自動判定装置が「正しいが不合格」という矛盾を返す事例がに発生したとする報告がある[19]。
脚注[編集]
関連項目[編集]
脚注
- ^ 小野寺清貴『検証税と台帳文化』横浜税務叢書, 1892.
- ^ Edward Grant『The Ledger Logic of Proof』Oxford Press, 1910.
- ^ 田島玲香『形式と実体のねじれ：監査から学ぶ推論』勁草書房, 2007.
- ^ 佐伯智史『証明の到達経路は世界を語るか』京都数理刊行会, 1956.
- ^ ハロルド・ケイン『Audit as Inference: A Proof-Oriented Method』Cambridge Academic, 1963.
- ^ 東海精機製作所『社内規程集：統計プルーフ運用細則（抄）』名古屋工業資料館, 1914.
- ^ 森口智也『プルーフ疲労の計測記録とその社会学的含意』日本安全工学会誌, Vol.12 No.4, pp.31-58, 1985.
- ^ 日本品質協会『証拠整合性の標準化：台帳ページ照合の実務』品質標準研究, 第7巻第2号, pp.101-146, 1999.
- ^ 井上恵『ハッシュ的証明の黎明—監査ログの数理化』情報理論年報, Vol.3, No.1, pp.1-22, 2001.
- ^ A. McRae『Proof, Signatures, and the A-B-C Convention』Journal of Applied Formalism, Vol.18 No.3, pp.77-95, 2012.
外部リンク
- Proof Ledger Society
- 横浜台帳史アーカイブ
- 東海精機監査手順庫
- 京都合同討論会（資料室）
- 日本品質協会・実務用語集