ハンク議論
| 分野 | 科学哲学・論理学・計算社会科学 |
|---|---|
| 提起主体 | ハンク（個人名として伝承） |
| 主な論点 | 反証可能性／反例探索の設計／検証コスト |
| 関連語 | 反例最適化、観測バイアス、探索予算 |
| 起源とされる時期 | 1960年代後半（諸説あり） |
| 影響 | 研究計画書・査読基準・模擬実験手続の設計 |
| 特徴 | 結論よりプロトコルを評価する傾向 |
ハンク議論（はんくぎろん）とは、ある人名を冠した「反証可能性をめぐる議論」系列として、・・の境界で言及されることがある概念である。特に、結論の真偽よりも「反例探索の設計」が中心になる点が特徴とされる[1]。
概要[編集]
ハンク議論は、一般に「理論の主張」ではなく、その主張を支える「反例探索の手続き」を評価すべきだとする見解群を指すとされる。言い換えれば、同じ結論でも反例探索の設計が粗い場合、その結論は学術的に脆弱である、という方向性が核になると説明される。
この議論は、の研究者と、現場の査読・審査制度に関わる実務者の間で、いつのまにか“通称”として流通したとされる。その後、社会実装の場でも「探索予算（どれだけの観測・計算を許すか）」という語が独り歩きし、会議の議事録にまで残ることがあるとされる。なお、用語の由来や初出は複数の系譜で語られており、どれも“決定打”と呼べる証拠が乏しい点が特徴でもある[2]。
定義と構成[編集]
ハンク議論は、典型的には「命題Pが科学的であるためには、反例候補の探索が仕様化されていなければならない」といった形で要約される。ここでいう仕様化とは、反例探索の手順、優先順位、停止条件、観測の粒度、そして（後述されがちだが）探索の総予算にまで及ぶとされる。
また、議論はしばしば“3層”で説明される。第一層は「反例が存在し得るか」を問う層であり、第二層は「どう探すか」を問う層である。第三層は「探す前提となる観測データが、どのような偏りを持つか」を問う層で、特にの話題と結びつくとされる。
ただし、ハンク議論の厄介さは、反例探索の設計が“正しさ”の指標になりすぎる点にある。つまり、実際には理論そのものが間違っていても、探索手続が整っていれば「間違いが見つからない」状況が正当化され得る、と批判されることがある[3]。さらに、その正当化は研究倫理や資金配分にも波及するため、単なる理論遊びではないとされる。
歴史[編集]
名称の由来と「ハンク」の正体[編集]
ハンク議論の「ハンク」は、ある時期に付属の審査ワーキンググループで“手続の細工”が上手い人物として噂された、という伝承が知られている。伝承では、彼（または彼女）は書類の誤字ではなく「反例探索の欄の書き方」を採点するよう強く求めた人物であるとされる。
一方で、の内部史では、ハンクは研究室の“ハンドブック担当”の通称だったともされる。ある編集者は、ハンクが作ったとされる「反例探索テンプレート」の配布が、いつのまにか“議論名”に転用されたのだろうと述べたとされる。ただし当該テンプレートの現物は所在不明であり、当時の同僚の証言も矛盾するため、確証には至っていない[4]。
さらに、最も“それっぽい”が最も“怪しい”説として、ハンク議論は実は一度だけ開かれた公開討論会の誤記から生まれた、とする見解もある。その討論会の参加者は「反例探索」を“Hank’s proposal”と呼んでいたが、司会がなぜか「ハンク議論」と書き換えてしまい、議事録がそのまま配布された、という筋書きで語られることがある[5]。
発展：審査制度への侵入と「探索予算」[編集]
ハンク議論が急速に広まったきっかけとして、の小委員会が採用した「探索予算の申告」様式が挙げられる。様式では、提案者が“探索に使う計算量・観測回数・人員稼働”を、単一の換算係数で提示することを求めたとされる。
ここでの数字が異様に細かいのが、ハンク議論の伝播に拍車をかけたといわれる。ある年度の規定では、探索に割く計算資源が「総CPU時間 1.37×10^6 時間以内」、観測は「3,204回まで」、予備実験は「各条件につき7回以内」といった具合に記載されたとされる。もちろん、それらは“目安”として書かれていたものの、提出者は競って厳密に守ったため、逆に審査側がそれを形式的な真偽指標にしてしまった、と回顧されている[6]。
この結果、理論の新規性よりも、反例探索の“設計の美しさ”が評価される傾向が生まれたとされる。特ににある「手続監査室」では、探索設計が整っている提案は優先採択され、逆に理論が秀逸でも探索欄が簡素だと減点される運用があった、という噂がある。なお、この運用は後に「探索設計は真理の代用品にならない」として部分的に見直されたとされるが、完全には消えなかったと報告されている。
社会的影響：査読と訴訟の“プロトコル化”[編集]
ハンク議論は学術機関の外へも滲み、特に企業の品質保証部門や法務部門で“手続の評価”として利用されたとされる。たとえば、製薬系の案件では「副作用の可能性」を議論する際、統計的有意性よりも「反例探索がどれだけ行われたか」がまず問われるようになった、とする指摘がある。
また、訴訟の文書でも奇妙な項目が増えたとされる。ある判例批評では、損害賠償の争点が「仮説が正しかったか」ではなく「反証手続が適切だったか」に移っていった、と述べられている。その背景に、の「証拠手続標準化会議」がハンク議論の語法をそのまま採用し、弁護士が“探索予算表”を添付するのを流行させた、という逸話がある[7]。
一方で、このプロトコル化は、探索予算を“削る”ことで反例が見つからない状況を作る誘因を生んだともされる。実務者は、反例探索を豪華にするとコストが増えるため、結局は「予算に合わせて反証可能性を調整する」ことになる、と警告したとされる。この点が、後述の批判と論争の火種になっている。
批判と論争[編集]
ハンク議論には、反証可能性の概念を“手続の形式”に置き換えてしまう危険があると批判されることがある。すなわち、反例が見つからないのは理論が正しいからではなく、探索の設計が狭かったり観測が偏っていたりするだけかもしれない、という反論である。
さらに、探索予算の数値化が“水増し”と“縮小”の両方を招いたとされる。ある調査報告では、採択率が高い提案ほど探索予算の項目が“整っている”が、同時に探索の対象空間（仮説の揺らし幅）が狭くなっていた、という相関が示されたとされる。報告書はの民間シンクタンク「都市推論研究所」がまとめたとされ、内訳として“対象空間の平均半径が0.63に収束”したという記述が残っている[8]。
なお、最も笑い話として語られるのは、査読者がハンク議論を“採点表”化し始めた結果、提出者が探索欄を美しくするためだけに観測装置の仕様を盛るようになった、という逸話である。装置の仕様は現場の担当者によって「本当にそんな精度は出ない」と否定されたが、提出書類の見栄えが勝って通ってしまった、と関係者が苦笑したとされる。もちろん、この種の改善運用は後に厳格化され、形式だけでは評価しない方針が唱えられたとされるが、完全な後戻りはなかったと指摘されている。
脚注[編集]
関連項目[編集]
脚注
- ^ エリス・マロウ『反例探索の設計論』Vol.3 No.2, 偽装学術出版, 1971.
- ^ ハロルド・グリーン『手続きと真理の距離』第4巻第1号, 中央論証研究所, 1984.
- ^ Dr. レイラ・カント『観測バイアスと形式化』pp. 41-79, Cambridge Circuit Press, 1992.
- ^ フランソワ・デュラン『プロトコル主義の台頭』Vol.12, Éditions de l’Atelier, 2001.
- ^ 若林ユウキ『探索予算が査読を変える』日本審査制度叢書, 第2巻, 2010.
- ^ S. ブレア『Falsifiability as an Operational Budget』Vol.7 No.9, Journal of Method Engineering, 2016.
- ^ マリアンヌ・クロス『訴訟における探索設計標準』pp. 12-36, Oxford Procedural Review, 2019.
- ^ K. ナワラ『都市推論研究所報告：対象空間半径の収束』都市推論研究所, 2022.
- ^ 谷口カズヤ『反証は数字で測れるか（増補版）』pp. 200-214, 監査庁出版, 2023.
- ^ R. シモンズ『The Hank Protocol: A Practical Fiction』Vol.1, North Atlantic Academic Works, 2020.
外部リンク
- Hank Debate Archive
- 探索予算データバンク
- 手続監査室の公開資料
- 反例テンプレート配布記録
- 都市推論研究所リポジトリ