神田-上野の補題
| 分野 | 数理論理学・記号操作史 |
|---|---|
| 別名 | K-U整合補題／書肆・博物館連結補題 |
| 提唱時期 | 19世紀末〜20世紀初頭にかけて口伝化 |
| 中心概念 | 局所的整合性（局所同型の縫い目） |
| 主な応用 | 図書目録の整形・分類体系の安定化 |
| 関連地名 | 東京都・千代田区（神田）／台東区（上野） |
| 成立条件 | “書誌の紙質”と“展示の台帳”が同型であること |
| 論文初出とされる年 | （後年に回収されたとされる） |
神田-上野の補題（かんだ-うえののほだい）は、日本のにおいて参照されるとされる「局所的整合性」を記述する補題である。とりわけ周辺の古い書肆と、上野の博物館学芸記録が同時に成立する場合の“整合条件”として語られてきた[1]。
概要[編集]
神田-上野の補題は、記号列（書誌情報や展示台帳の写像）を、完全な大域同型ではなく「部分的な一致」をつなぎ合わせて扱うための補助命題であるとされる。ここでいう一致とは、数学的な同型写像というより、台帳の“読み癖”と目録の“見出し癖”が同じ方向に折り畳まれることを指すと説明される[2]。
この補題は、の活字・帳簿文化と、上野の収蔵・分類文化が接触した際に発生する、分類体系の微妙な破綻を封じる道具として語られてきた。特に「同じ語を別の字体で表す」問題と、「同じ骨格を別の展示期間で数え直す」問題が同時に起こるとき、局所整合性が崩れる閾値が見つかる、という伝承がある[3]。
なお、研究史では“補題”という語が誤解を呼び、数学者ではない目録係や学芸員が主導した可能性も指摘される。一方で、後年になって付属の「記号保全室」が引用し始めたことで、数理論理学の用語として定着したとされる[4]。
成り立ち[編集]
成立経緯は諸説あるが、最も広く引用されるのは「書肆の紙擦れ問題」と「博物館の照合癖問題」の二重発火説である。すなわち、神田の写字係が同じ見出しを2種類の罫線幅で写し分ける習慣を持ち、一方で上野の展示担当が会期末に台帳を“整形”してから再記録する習慣を持っていたため、局所的にしか一致しないはずの情報が、なぜか綺麗に衝突することがあったという[5]。
このとき遭遇した“衝突”は、単なる人為的ミスではなく、情報の圧縮率が一定値を超えると読解単位が滑る現象として記述されたとされる。伝承によれば、閾値は「縦書き見出しの先頭から3文字目までが一致する状態で、罫線幅が±0.4mm以内なら破綻しない」など、妙に細かい指標として残っている[6]。
さらに同補題は、当時の官庁が導入した分類様式が「棚番号」と「展示ケース番号」を別々に更新する仕様だったことと結び付けられている。更新が連続する場合は局所的に整合するが、片方だけが先に更新されると、“縫い目”に相当する部分で矛盾が増幅される、とされた[7]。
歴史[編集]
口伝から補題へ（神田・上野連結期）[編集]
ごろ、の帳簿業者と、上野の収蔵記録を担当する複数のスタッフが共同で照合作業を行ったとされる。この共同作業の成果物は「照合の手引き」と呼ばれ、当初は数ページの小冊子に過ぎなかったと伝えられるが、後年に行われた写しの収集で、索引欄にだけ補題の“式”が書かれていたことが発見されたという[8]。
その式は驚くほど短く、「部分一致は部分一致で縫うべし」という素っ気ない文言の直下に、記号のような羅列があったとされる。しかもその羅列は、活字の崩れを前提にしており、写しの際に3回連続で同じ誤植が出ると意味が読める形式だったと説明される。このため、解読は一部の「校正者」だけに許されたという[9]。
また、当時の会計検査官が持ち込んだという逸話もある。彼は検査のたびに「帳簿は折り目を基準に整列させよ」と要求し、その折り目がちょうど側の紙折れ癖と上野側の台帳封緘（ふうかん）癖の“位相”を揃える役割になった、と記録されている[10]。
数理論理学化（記号保全室の引用）[編集]
補題が学術論文として引用され始めたのは、に入ってからであるとされる。具体的には、の「記号保全室」が、展示期間中に変化する語彙の扱いを“推論規則”として整備し、そこで神田-上野の補題が参照されたと説明される[11]。
ただし、同室の資料は「台帳の読取エラーが統計的に独立である」という仮定に依存していた。一方で、実務側からは「独立ではなく、見出しの揃え方で相関が決まる」と反論が出たため、補題の適用範囲は徐々に「相関が少ない会期に限る」と修正されたとされる[12]。
なお、ここで妙に有名になったのが「罫線幅が±0.4mm以内」ルールである。記号保全室はこれを“ノイズ境界”として数式化しようとしたが、原資料では測定器の校正が不明であったため、要出典級の揺らぎが残ったとされる。結果として、同補題は形式体系ではなく実務慣行の比喩として温存された、という経緯が語られている[13]。
現代の解釈（デジタル目録時代）[編集]
1980年代に電子目録が普及すると、神田-上野の補題は「紙質と封緘」の話から「フォーマット変換と同義語の層」として読み替えられた。すなわち、神田側を“入力側フォーマット”、上野側を“出力側フォーマット”と見なし、変換の局所整合性が保たれる条件を探る考え方が導入されたとされる[14]。
この時代の逸話として、国立国会図書館の試験システムでは、同義語辞書の更新が1回遅れるだけで、分類番号の“縫い目”が爆発的に増える現象が観測されたと報告されている。ただし原因は論文ではなく、システム担当者の個人メモにのみ残っていたという[15]。
また、現在でも一部のベテラン整理員の間では、「会期の区切り日を午前9時ぴったりに設定すると補題が効く」といった実務の言い伝えが残る。理由は形式的には説明されないが、“帳簿を読む人の脳内の切替”がその時間に一致するからだとされる[16]。このように、補題は数学の命題であるより、実務のリズムを固定する呪文のように扱われている面がある。
批判と論争[編集]
神田-上野の補題には、学術的な妥当性と実務的な便利さのずれをめぐる議論がある。特に、閾値とされる「±0.4mm」や「先頭から3文字目」などの指標が、測定条件の不明さから“伝説の数値”になっている点が問題視される[17]。
一方で、支持者は「補題は厳密な数学命題としてではなく、照合工程の設計原理として理解すべきだ」と主張する。彼らは、形式化できない部分（人間の見出し癖や読み癖）を含めてなお、矛盾が局所に押し込められるという経験則があるため、補題の価値は残るとする[18]。
また、批判側は「神田と上野という地名が“都合よく選ばれた符牒”に過ぎない」と指摘する。対して反論側は、地名の選定が偶然ではなく、実際に両地域で用いられていた帳簿様式の“寸法系列”が似ていたからだとする説を提示する。ただし、この寸法系列の提示資料は写真1枚だけで、分析再現性は低いとされる[19]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『目録整形の論理：神田-上野の補題を読み解く』文榮書房, 1931.
- ^ Margaret A. Thornton『Local Consistency in Scholarly Registers』Journal of Symbolic Practice, Vol. 12 No. 3, pp. 114-162, 1958.
- ^ 鈴木円蔵『展示台帳と推論規則のあいだ』東京大学出版会, 1977.
- ^ 田中静馬『折り目基準の情報処理史』学術図書出版社, 1984.
- ^ 中村澄衛『分類体系の位相ズレと補助命題』情報整序学会誌, 第7巻第2号, pp. 33-71, 1992.
- ^ Akiyama R. and H. Morita『Format Conversion Noise Boundaries: A Practical Lemma View』Proceedings of the International Workshop on Archival Computing, pp. 201-219, 2001.
- ^ 【理化学研究所】記号保全室『記号保全報告（仮綴）』理研技術資料, 第19号, pp. 1-68, 1926.
- ^ 小林藍助『“±0.4mm”の出どころ』紙質史研究, Vol. 3 No. 1, pp. 9-27, 2009.
- ^ Nakamura, S.『Kanda–Ueno Revisited』Archival Logic Review, Vol. 41 No. 4, pp. 400-444, 2016.
- ^ “鈴木円蔵”の表記差を含む誤植版として流通した『展示台帳と推論規則のあいだ（改題）』東京大学出版会, 1977.
外部リンク
- 神田目録研究会アーカイブ
- 上野収蔵台帳デジタル資料室
- 記号保全室データベース
- 紙質史研究リンク集
- 局所整合性ワークショップ