彼女いない歴=年齢
| name | 彼女いない歴=年齢 |
|---|---|
| field | 架空数学（社会計数測度論） |
| statement | 任意の観測者に対し、観測された「彼女いない歴」（年）が当該観測者の年齢（年）と一致するような時間測度が存在し、当該一致は測度論的自己整合性から一意に定まる。 |
| proved_by | 渡辺精鋭郎（わたなべ せいえいろう）ほか |
| year | 1987年 |
における彼女いない歴=年齢（よみ、英: Girlfriendless Duration Equals Age）は、のについて述べた定理である[1]。
概要[編集]
において、彼女いない歴=年齢は、個人の年齢を「時間測度」として再解釈し、特定の観測規則の下で「彼女いない歴」が年齢に等しくなることを主張する定理である。
本定理は、恋愛関係の有無を直接の対象にせず、むしろ観測者が抱く自己記述（自己整合的な記録）を、整数上の測度として扱う点に特徴があるとされる。なお、証明は形式的であるにもかかわらず、コミュニティ内の実例（失敗談・沈黙・回覧ノート）に似せた構成が多用されてきた。
特に、証明の中心に置かれるは、観測データを「0から始まる整数の列」とみなすことで、結果として「一致」という結論を引き出すように作られているとされる。もっとも、一部では「定義が観測者の願望に寄り過ぎている」との批判もあるが、数学的にはよくできた寓話として受け止められてきた。
定理の主張[編集]
定理（彼女いない歴=年齢）。(N, μ)において、観測者が採用する（Self-Consistency Postulate）を満たすならば、観測されるの測度値は当該観測者のと一致する。
より具体的には、観測者Oが年齢A（年）を自己申告し、さらに彼女を「存在しない」と記述する期間をL（年）として記録したとき、L= A が成り立つような測度μが存在する。ここでμは、整数kに対してμ({k})=c·kという形で与えられ、比例定数cは観測履歴により決定されると定義される。
さらに、自己整合性仮定により、そのcが一意に定まり、従ってLとAの一致が必然化されることが示される。なお、この「必然化」は恋愛の実態を意味するのではなく、観測記録を矛盾のない形に保つための数学的手続きである、とされる。
証明[編集]
証明はf: N→N を構成することから始められる。ここでf(k)=kであるが、写像としての実体は「観測規則の再ラベリング」にある。つまり、fは数学的には恒等写像であるにもかかわらず、定義域の理解を変えることで、観測されたLがAへ押し戻されるように働くと解釈される。
次に、は「観測記録が矛盾を含まない」という条件として定式化される。具体的には、記録列(ℓ0,ℓ1,…,ℓA)が存在し、各iについて ℓi = i を満たし、かつ測度μがℓiの推移に対して保存されることを要求する。このとき、測度の保存則から μ({i}) が比例形 μ({i})=c·i に従うと示される。
最後に、μ({0})=0かつμ({1})>0という正則性を仮定すると、cは観測の最小単位（1年の最小記録）から一意に決定される。すると、合計測度 μ({1,…,A}) は c·(A(A+1)/2) と計算され、記録されるの総量がちょうどこれに一致するように選ばれるため、L=Aが成り立つ。なお、この選び方は「嘘を含めないための最小編集」として説明されることが多いが、厳密には測度構成の正当化として扱われている。
要約すると、恒等写像fの「解釈」を観測規則に埋め込み、測度の保存と正則性から一致を導く手順である。実際にどの数列が用いられたかは、補題の付録に「東京都千代田区某所の回覧表」に似た形で記載されており、読み物的な文体が意識的に残されているとされる。
歴史的背景[編集]
起源：算術ギルドの回覧表[編集]
この定理が生まれたとされる起源は、が主催した「時間記録の標準化」会合に置かれている。場所は東京都千代田区にある「旧・帝都公共図書分館（通称：KIB）」であり、1983年の冬季に「回覧表が矛盾を生む」問題が発見されたと記録されている[2]。
当時、参加者の自己申告（年齢A）と「彼女いない歴L」が記録係の丸め処理によりズレることがあり、議事録が修正され続けた。ここで、渡辺精鋭郎は「丸めが原因ではなく、観測規則が測度保存を満たしていない」と主張し、整数上の測度μとして扱う方針を提案したとされる。
この方針が受け入れられたのは、会合の裏面に「統計局っぽい見出し」が付けられていたためとも言われる。一方で、数学界の外部では「“年齢”と“歴”を同一視して慰める冗談”が先に流通しただけではないか」との噂もあった。
確立：1987年の学会決議[編集]
定理としての確立は、（通称：JMC）による1987年の決議によりなされたとされる。学会の議事録では、証明の核になるが「恒等写像の皮を被った救済装置」と評されており、細かい数値としては「μ({1})=13c」といった係数の表が添付されていたという[3]。
このとき、渡辺精鋭郎は大阪府の通信規格研究室（架空の組織名として後に「通信規格研究所・恋愛メトリクス課」と呼ばれる）から技術者を招き、観測データの整形手順を測度論的に記述させたとされる。
ただし、同時期に出された反対意見では「定理の結論が観測者の願望に依存している」と指摘され、学会誌上での要出典争いが約半年続いた。結局、要出典とされた箇所は後に「回覧表の物理的汚れ」由来のノイズとして処理され、数学的には“取り除ける”と整理されたと報告されている。
一般化[編集]
一般化として、彼女いない歴=年齢は、整数年ではなく分数年へ拡張される場合がある。この場合、時間測度は有理数上で定義され、観測記録の丸め規則が再び測度保存則として組み込まれる。
また、測度の形を μ({k})=c·k の線形形に限定せず、μ({k})=c·k^p（p>0）とするが導入されることがある。このとき、L=Aとなる条件は一般に強くなり、が「少なくとも一つの素数段階で保存が成立」するという形へ改められるとされる。
さらに、複数観測者の集合O1,…,Onが同一記録台帳を参照する状況では、観測者間の整合を表すが考えられ、写像群が可換であることが必要条件として現れると述べられてきた。ただし、可換性の証明部分は“回覧表の順番”に依存するため、当事者の証言が必要になるとされ、要出典が付きやすい論点である。
応用[編集]
応用としては、社会的メトリクスの校正、つまり「自己申告データの整合性を数学的に保証する」枠組みへ接続される。特に、行政的なデータ処理を模したg(A,L)が導入され、g(A,L)=0が成立するようにデータが再編集されると説明される。
架空の例として、愛知県名古屋市にある（通称：NSS）の研修では、学生に「年齢と歴の一致が“エラーではなく測度選択の結果”として扱われる」ことを教えるカリキュラムがあったとされる。そこでは、提出用紙の余白に「A4一枚につきμ({1})=13c」と手書きで書く課題が出たという逸話が残る[4]。
一方で、応用の副作用として、個人の説明責任が数学の形式に吸収されすぎるとの批判もある。しかし定理の支持者は「吸収されるのは“説明”であって“現実”ではない」と反論し、数学と生活の境界に注意を促す記事を多数出している。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精鋭郎「彼女いない歴=年齢：社会計数測度論の基礎」『月刊・定理ノート』第12巻第3号, pp. 41-58, 1987年[第12巻第3号という表記は学会誌に倣う]。
- ^ Margaret A. Thornton「Self-Consistency in Integer Measures」『Journal of Pretend Mathematical Sociology』Vol. 5, No. 1, pp. 1-22, 1991年。
- ^ 佐藤鯨太「回覧表が生む測度保存」『確率寓話研究』第7巻第2号, pp. 77-96, 1984年。
- ^ Kōji Nakamura「年齢整合写像の恒等性と解釈」『数理操作通信』第3巻第4号, pp. 201-214, 1988年。
- ^ Elena Petrova「On Powers of Measure Atoms」『Proceedings of the Imaginary Measure Society』Vol. 19, pp. 300-319, 2002年。
- ^ 田中すみれ「べき整合測度と素数段階の条件」『分数時間の幾何』第1巻第1号, pp. 9-33, 1995年。
- ^ 鈴木理恵子「整合チェック関数の実装的考察」『統計整形の数学』第9巻第2号, pp. 55-70, 2001年。
- ^ 第九算術ギルド編『回覧表標準化の裏面史』KIB出版, 1986年。
- ^ 日本数理共通規格学会「決議・定理彼女いない歴=年齢」『JMC報告書』pp. 1-12, 1987年。（タイトルがやや不自然）
- ^ NSS研究班『名古屋統計整形局研修資料：μの読み替え』名古屋大学出版会, 2003年。
外部リンク
- 嘘ペディア数学アーカイブ
- 架空測度図書館（KIB）
- JMC決議アーカイバー
- 回覧表標準化データベース
- 社会計数測度論チュートリアル