JDF推理装置
| 開発時期 | 1978年〜1984年（試作・現場評価期） |
|---|---|
| 用途 | 証拠整合性推定、手続監査、ヒューマンエラー低減 |
| 設計思想 | 論理規則と確率重みを段階的に適用する推理系 |
| 出力形式 | JDF（Judgment Data Format）準拠の推定票 |
| 主要ユーザー | ・の関連部署、監査法人の特設チーム |
| 特徴 | 証拠の“矛盾点”を優先的に提示する検索順序を持つ |
| 後継 | JDF-Ω、JDF-Clockwork（いずれも派生仕様） |
JDF推理装置（JDF すいりそうち、英: JDF Inference Device）は、やにおける証拠の整合性を機械的に推定するための、日本発の推理支援装置である。1970年代末に公的研究機関の要請で試作され、のちに複数の民間プロトコルに派生したとされる[1]。
概要[編集]
JDF推理装置は、個別の証拠や記録を単に照合するのではなく、状況の矛盾を先に炙り出し、捜査側・監査側が「次に何を確認すべきか」を決めやすくするために設計されたとされる機械である[2]。
装置の核は、証拠を「出来事」と「制約」に分解し、出来事間の成立条件を“重み付き規則”として積み上げる点に置かれていると説明される。特に、矛盾が一定しきい値を超えると、装置は自動的に“再質問リスト”を作成し、担当者のヒアリング順序を組み替えたとされる[3]。
なお、装置が出力するJDFは、当初からフォーマットの規格化を重視していたため、紙とテープと端末が混在する環境でも運用可能だったとされる。実際には、紙の証拠を入力するための“転記係”がボトルネックになり、転記誤りを検出する逆推定モジュールまで追加されたという記述がある[4]。
歴史[編集]
起源：漁港の夜間計測から警務へ[編集]
JDF推理装置の起源は、の前身関連プロジェクトの“夜間計測”にあるとする説がある。すなわち、1970年代初頭にの検問データが霧で欠損し、証言と時刻の食い違いが頻発したことから、当時の測定技師である渡辺精一郎（わたなべ せいいちろう）が「欠損は矛盾であり、矛盾は問いの順番で潰せる」と主張したことに端を発するという[5]。
この考え方が、後にの鑑識系補助研究会へ持ち込まれたとされる。研究会は、現場で集めた証拠を時系列に並べるだけでは再現できない“成立の条件”が残ることを問題視し、最初の試作機では、転記データから矛盾を検出するために「1件あたり平均18個の制約」を暗黙に仮定していたとされる[6]。なお、この“18”は、当時の港湾記録の平均行数（端数を切り上げた値）に由来したという逸話がある。
当初試作は、のにある旧式の電算室で、テープドライブの回転ムラが誤差を生む問題が発生した。対策として、回転ムラを補正するための温度センサーが“推理装置側”に組み込まれ、結果として装置は温度と人の申告の両方から矛盾を推定するようになったと報告されている[7]。
発展：JDF規格化と“再質問リスト”の普及[編集]
1980年代初期、JDF推理装置は「出力が人の判断に依存する」という批判に直面した。そこで研究班は、推定結果の文章説明をやめ、代わりにJDF（Judgment Data Format）という機械可読の推定票に統一する方針を固めたとされる[8]。
この規格化において、出力票の行数は固定（全47行）とされ、47行のうち第3行〜第11行が“矛盾点の優先度”、第28行〜第35行が“追加質問案”、第46行が“担当者の確信度ヒント”に割り当てられたとする資料がある。尤も、現場では「確信度ヒント」が逆に決めつけとして機能し、担当者が早合点する事例が報告されているため、のちに“ヒント”は空欄にできるよう改修されたという[9]。
また、JDF推理装置は産業領域にも転用された。特に、の監査モデル事業では、領収書の整合性チェックに用いられ、検査項目を“制約”として並べ替えることで、担当者が見落としやすい矛盾を先に掘り起こしたとされた。実務担当者の間では「装置が先に疑うから、後から疑わずに済む」という言い回しが流行したとされる[10]。
一方で、転記係が入力する際のカタカナゆれ（例：「シーリング」「シーリング」）が、制約の意味を揺らし、矛盾優先度が入れ替わる現象も起きた。これに対し、JDF側では“表記ゆれ辞書”が追加され、辞書の採用件数は2,134語に達したとされるが、なぜその数になったのかは不明であると記されている[11]。
仕組み[編集]
JDF推理装置の説明は、しばしば「論理と確率の折衷」と要約される。装置は、入力された証拠をイベント（出来事）として登録し、イベント同士の関係を制約として保持する。制約には重みが与えられ、矛盾が生じた場合には重みの総和がしきい値を超えることで、矛盾が“優先”として可視化されるとされる[12]。
具体的には、矛盾の計算において「重み合計をログスケールで圧縮する」手順があったとされる。ログ圧縮の採用により、現場で頻出する些細な差（たとえば時刻の丸め）を、根本的な差（たとえば存在の有無）から切り離すことを意図したと説明される。ただし、切り離しが過剰になり、担当者が“重要なのに小さく見える矛盾”を放置する事態も起きたとされる[13]。
さらに装置は、矛盾点の提示に留まらず、矛盾を解消する追加質問を自動で生成する機能を持ったとされる。その際、質問案は「現場で最短で確認できる順」に並べ替えられるが、並べ替えの基準として“移動距離”と“手続時間”を点数化する方式が導入されていたという。移動距離の換算は、内の平均所要時間をもとに「1km=7分」という雑な換算係数が用いられていたという記録もあり、後に改められたとされる[14]。
運用と社会的影響[編集]
JDF推理装置は、捜査現場では「証拠の順序ではなく疑いの順序を作る装置」として歓迎されたとされる。例えば、初期の試行では、同一案件に対し人手で作られた捜査メモと装置出力を照合し、装置出力が提案した追加質問が、最終的な供述の分岧点に到達する確率を“約0.73”まで引き上げたと報告された[15]。
また、監査領域では、装置が作る“再質問リスト”が従来のチェックリストに比べて短いことが評価された。チェックリストが平均120項目だったのに対し、JDF出力は47行の票に集約され、実作業としては「平均36分の追加確認」が必要になったとされる。ここでの平均36分は、作業者が休憩を取り忘れることを織り込むため、敢えて“余白”を含めた推計値だとする記述があり、運用現場の空気がうかがえる[16]。
社会的には、装置が普及したことで「疑いは感情ではなく手順に落とせる」という語りが生まれたとされる。結果として、手続の説明責任が求められる場面で、装置のログ（入力・矛盾優先度・質問案）が“説明の根拠”として扱われるようになった。もっとも、説明責任が拡大したことで、ログの保管や形式の統一が新たな負担として増えたとも指摘されている[17]。
批判と論争[編集]
批判の中心は、装置が“矛盾を先に見せる”ことが、逆に偏見を作る可能性にあった。例えば、矛盾優先度の高い項目ほど担当者が深掘りするため、別の要因が見落とされるという懸念が示された。特に、矛盾優先度が高いのに最終的に解決しなかった案件が一定数あり、研究班内部では「優先度の高さが原因ではなく、情報が欠けた副作用である」と説明されたという[18]。
また、JDFの仕様が固定47行だったため、表現できない情報が切り落とされるという問題もあった。ある現場では、47行に収まらない長い供述を“削って”入力することが常態化し、装置出力が“短縮供述の矛盾”をさらに強調したと報告された。ここで、削り方が人によって異なるため、結果が入力者のクセに引きずられる可能性が議論された[19]。
さらに、研究班の一部では「ログスケール圧縮が小さな矛盾を過小評価する」という反証的な見解が出た。もっとも、その反証は装置の内部設定（ログ圧縮の係数）が当時の電算室の温度変動により揺れていたことに起因する可能性もあるとされ、真相は整理されないまま終わったと記されている[20]。この点は、出典が複数に分かれ、編集者の間でも「どの温度校正記録を根拠にするか」で意見が割れたという証言が残る。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『矛盾は手順で潰せる：夜間計測から推理票へ』海鳴社, 1986.
- ^ 田中恵理香『JDF規格化と現場運用の四年』情報処理協会誌, 1987, pp.45-62.
- ^ M. Thornton, “Weighted Constraints in Field Inference,” Journal of Practical Reasoning, Vol.12, No.3, 1985, pp.101-119.
- ^ 佐藤明太『矛盾優先度の設計思想としきい値問題』行政技術研究, 第4巻第1号, 1989, pp.12-29.
- ^ K. Alvarez, “Judgment Data Formats and Audit Trails,” Proceedings of the International Workshop on Evidence Systems, Vol.2, 1991, pp.77-90.
- ^ 警視庁鑑識技術部『試作JDF推理装置の現場評価報告書（港区電算室）』非公開資料, 1983.
- ^ 中小企業庁監査モデル研究会『監査における再質問リストの短縮効果』官公庁報告叢書, 1990, pp.201-218.
- ^ 日本規格協会『JDF-47行仕様案：票形式と例示データ』日本規格協会会報, 1982, pp.9-33.
- ^ E. Morita, “Log-Scale Compression and Human Confirmation Bias,” Journal of Forensic Systems, Vol.7, No.1, 1993, pp.30-41.
- ^ （編集上の疑義あり）『温度校正と推理出力の相関について』電算室技術年報, 1984, pp.1-8.
外部リンク
- JDF推理装置資料庫
- 矛盾優先度アーカイブ
- 再質問リスト設計手帳
- 港区電算室の記録
- 監査ログ運用ガイド（旧版）