バール判定式のパラドクス
| 分類 | 判定理論（品質検品の形式化） |
|---|---|
| 提唱される形式 | 一次不等式＋符号規則 |
| 関連概念 | 偽バール、バールのようなもの、バールではないトマト |
| 主な舞台 | の測定協会資料、のちの検品講習 |
| 決定的な矛盾点 | “確定”と“未確定”が同時に成立する条件 |
| 普及経路 | 工場監査→大学セミナー→民間の『判定遊び』 |
| 成立時期（推定） | 1893年〜1907年 |
（ばーるはんていしきのぱらどくす）は、「ある物体がバールであるか」を数式で判定しようとしたときに生じる論理的矛盾であるとされる。19世紀末の工場検品ノートに断片的な記述が見られ、後に数学理論・品質保証・都市伝説的な民間工学へと連鎖的に発展したと説明されている[1]。
概要[編集]
バール判定式のパラドクスは、検査対象を「バールかもしれないもの」「バールと確定した物体」「バールのようなもの」「バールではないトマト」「偽バール」といった区分に落とし込む際に、分類が循環してしまう現象であると説明される。
具体的には、ある検査官が『この物体がバールかどうかは、観測値の符号と重みの和で決まる』と書き残した瞬間、その検査手順そのものが判定に巻き込まれ、結果として「バールではないものがバール扱いされる」または「バール扱いのはずが未確定に戻る」といった逆流が起きるとされる。さらに、数式の係数を変えると“バール判定式”が別の式にすり替わるため、同じ対象が別のカテゴリへ遷移する余地が残る。
このパラドクスは、数学史のどこかに位置づけられるというより、品質保証の現場で“判定ごっこ”として広まり、自治体の監査様式や大学の演習問題にまで入り込んだことで、理屈と実務の境界を摩耗させた事例として語られる。特に、の「清算検品協議会」が配布した青表紙の小冊子が、のちの民間講習で「笑って学ぶ」として転載された点が強調されている[2]。
定義と判定の作法[編集]
バール判定式の要点は、観測量を「長さ」「硬さ」「共鳴周波」「表面の“それっぽさ”」の四系列に分け、最終的に符号規則で可否を出す点にあるとされる。もっとも、ここでいう“それっぽさ”は光学的指標ではなく、検査官の前日の機嫌を含む補助変数だとする説もある。実際、1898年の監査日報では、係数に「検品室の換気回数」を入れる提案が書き添えられており、編集者が“要出典”を付けるほどだったと伝えられている[3]。
判定手順は次のように説明される。まず対象物を「未知」「確定」「類似」「非バール（トマトを含む）」「偽バール」に仮分類し、次に仮分類ごとに閾値（たとえば閾値A＝、閾値B＝のような値）を割り当てる。その後、判定式に対象物そのものだけでなく“判定式が適用されているという事実”を入力として含める。すると、未知カテゴリに置かれた対象は、判定式の適用によって未知でなくなるはずなのに、適用の事実が“未知として扱われる条件”に還元されるため、循環が生じる。
この循環が、パラドクスと呼ばれる所以である。特に「バールのようなもの」と「偽バール」は似ているが、判定式では同じ重みで扱われるため、同一対象が別手順では異なるカテゴリに落ちるとされる。結果として、検査官は“バールかどうかわからないもの”をバールと断言しながら、その断言を根拠として翌日の記録では未確定に戻すことになる。
歴史[編集]
起源：検品現場の「語感」問題[編集]
バール判定式の起源は、の金物問屋「オルデンベルク鋳工所」付属検品係のメモにあるとされる。1893年、彼らは硬質金具の規格で“バール”という言葉が社内で揺れていることに気づいた。当初は言葉の統一だけを狙っていたが、担当者が『言葉が揺れるなら数字が揺れてもいい』と半ば冗談で提案したことから、判定式が導入されたとされる。
ところが、判定式は「バール」「バールのようなもの」「バールではないトマト」「偽バール」を同じ実験棚に並べて比較する運用と結びついた。棚にはわざと市場で混ざる異物としてが置かれ、検査官は“硬いがバールではないもの”の例を覚える必要があったという。1889年に同社で実施された棚替えでは、トマトが誤判定されないように棚の前縁にミリの段差を設けたと記録されており、その細かさが後の研究者を驚かせたとされる[4]。
さらに、判定式が“検査官の報告書”と結合した点が致命的だった。報告書には『この判定式に従って分類した』という注記が必須であり、その注記が式の入力に含められた形跡が残っている。こうして、式は式を参照し、参照は判定を変え、判定は参照を更新するという循環が固定化されたと説明される。
拡散：監査書式と大学演習への侵入[編集]
1901年頃、の「測定協会中央審査局」が、工場監査の統一様式を作成する際に、バール判定式の“説明しやすさ”が採用された。様式はA4用紙に7段階のチェック欄を設け、判定結果に応じて朱印の色が変わるよう設計されていた。朱印の色は赤・青・黄の三色だったが、現場の運用では「黄＝偽バール」「青＝バールのようなもの」と短絡的に整理され、混乱が加速したとされる。
この時期に関わった人物として、測定協会の技官である（Matthias Krämer）が言及される。彼は講習で「判定式は数学ではない、儀式である」と述べたとされ、記録の裏面に手書きで「儀式＝繰り返し」とだけ書かれた頁が残っているという[5]。もっとも、この“繰り返し”がパラドクスの成立条件と一致するため、後年の解釈では彼の発言は先見的だったとも、単なる皮肉だったとも評価されている。
日本側への本格的な輸入は、1907年にで開催された「比較検品会議」によるとされる。資料の筆頭には“バール判定式”と同種の言葉遊びが並び、翻訳者の一人であるが「バールではないトマト」を「バールトマト」と呼び換えたことで、語感が再生産されやすくなったと指摘される[6]。なお、この呼称が後に“バール判定式のパラドクス”という題名に変換された過程は、当時の議事録が欠落しており不明とされるが、欠落しているからこそ民間の創作が入りやすくなったとも言われる。
具体例：『バールかどうかわからないもの』の扱い[編集]
パラドクスが最も分かりやすく表れるのは、未知カテゴリの対象であるとされる。ある工場では、夜勤明けの検査官が磨き残しのある金具を前にして、データシートに「バールかどうかわからないもの」と手書きした。すると翌日、同じ金具が「バールと確定した物体」欄に移動していた。
なぜなら、データシートに書かれた『わからない』が、判定式の補助入力として扱われたためであると説明される。判定式では、未知のラベルを含む場合にのみ、重み付き和Sが閾値Aを“ちょうど”超えるよう調整されていた。調整値は係数セットのうち二つだけで固定され、残りの一つは記録係の鉛筆硬度に比例して変化する、とされる。現場では鉛筆硬度をからへ替えた週に限って、確定欄の件数が増えたという報告が残っている[7]。
さらに笑いの核として、「バールのようなもの」が同時に「バールのようなもの」ではなくなる瞬間がある。判定式は類似度の高いものを“バールのようなもの”に分類するが、分類された時点で“類似度の計測方法”が変更される。計測方法が変更されると類似度が変わり、類似度が変わると再分類が起きる。ここまで来ると、対象はいつも分類されているのに、分類だけが追いかけられるような状態になると表現される。
批判と論争[編集]
バール判定式のパラドクスは、現場の統計を壊すとして複数の批判を受けたとされる。特にに発行された「検品統計の健全性に関する注意喚起」では、判定式が“分類の記録”を再入力する構造のため、検査結果が外部検証不能になる点が問題視されたとされる[8]。
一方で、擁護する立場からは「このパラドクスは、品質の本質を暴く鏡である」との反論が出たとされる。彼らは、バールかどうかを決めるのは数式ではなく、社会が合意する言葉の運用であると主張した。したがって、循環が起きること自体が“社会が合意を維持しようとする力”の証拠だと位置づけられた。
論争の最大の逸話は、の市役所監査室で起きた「偽バール騒動」である。偽バールの保管棚が“バール棚”の近くにあったため、風除室の気流が変わり、表面の共鳴周波が変化した。その結果、偽バールがバール側の閾値で記録され、監査が「偽バールは存在しない」という結論に至った。ところが当の棚から、翌月に誤って廃棄されたはずの偽バールがだけ見つかり、監査側は『存在しないはずが存在する』という珍妙な報告を提出したという。この顛末は、真面目に整理すると矛盾だが、滑稽に整理するとパラドクスの“勝利例”として扱われることがある[9]。
脚注[編集]
関連項目[編集]
脚注
- ^ 【東海林啓三】「バール判定式と検品儀式の連結構造」『品質と論理』第12巻第3号, pp. 41-58, 1906.
- ^ Matthias Krämer, “On the Sign-Rule in Baal-like Classification,” Vol. 4, No. 1, pp. 12-27, Leipzig: Central Measurement Review, 1903.
- ^ 渡辺精一郎「比較検品会議における“バールトマト”語彙の再翻訳」『横浜学報』第7巻第2号, pp. 201-214, 1908.
- ^ 【久米川理恵】「未知ラベル入力の自動確定化現象」『形式品質科学紀要』第5巻第1号, pp. 3-19, 1961.
- ^ 【東京検品協同組合】『青表紙マニュアル：棚の作法と閾値A/B』東京検品協同組合出版部, 1932.
- ^ Karl-Heinz Wolfram, “Circular Reporting and Audit Color Codes,” Vol. 19, pp. 77-95, Berlin: Auditorium Press, 1954.
- ^ 【清算検品協議会】「トマト段差【1.3】ミリが示すもの」『静岡県工場史料集』第2集, pp. 88-103, 1912.
- ^ 【田中義門】「偽バールの共鳴周波：誤廃棄からの逆推定」『北海道監査研究』第9巻第4号, pp. 331-347, 1970.
- ^ Samuel R. Platt, “The Paradox of Certainty in Field Inspection,” pp. 1-16, Journal of Practical Logic, Vol. 2, Issue 1, 1939.
- ^ 【大槻直政】『記録が数式になる瞬間』新潮理工書房, 2001.
外部リンク
- バール判定式研究会アーカイブ
- 閾値A/B計算機（非公式）
- 監査書式の朱印データベース
- バールトマト語彙館
- 検品儀式セミナー録