ドラえもんとコロ助の同一化の方程式
| name | ドラえもんとコロ助の同一化の方程式 |
|---|---|
| field | 架空の幾何学（位相的シルエット距離論） |
| statement | 同一化パラメータdを用いて、ドラえもん型とコロ助型の輪郭写像が完全一致する距離が一意に定まる |
| proved_by | 佐倉 紀月（さくら のりつき） |
| year | 1977年 |
におけるドラえもんとコロ助の同一化の方程式（よみ、英: Doraemon and Koro-suke Unification Equation）は、の性質について述べた定理である[1]。
概要[編集]
ドラえもんとコロ助の同一化の方程式は、架空の幾何学において、二つのシルエットが「同じに見える」条件を数式に落とし込んだ定理として知られる。ここでいうシルエットとは、厳密には「輪郭の反射対称性と、内側領域の位相」を持つ対象である。
本定理の核心は、ドラえもんの丸みを帯びた外輪郭と、コロ助の不規則な耳周りの揺らぎを、位相的同一化操作として統一する点にある。さらに、観測者が「全く同じ距離感」で両者を見てしまう距離dが、条件から一意に計算できると主張される。
この方程式は、教育用の『雑談数学』や、映像合成工房の実務メモで参照されることが多い。とりわけ1970年代末に流行した「童話シルエット整合プロトコル」の計算の骨格として、研究者と実務家の両方に受容されていたとされる[1]。
定理の主張[編集]
ドラえもん型シルエットS_Dとコロ助型シルエットS_Kが与えられたとする。各シルエットには、輪郭上の特徴点列（外周の稜線に相当する点列）と、内側位相（穴の数ではなく「隣接の仕方」）が割り当てられているものとする。
このとき、同一化パラメータd（距離感係数）が存在し、観測距離がdのときに限って、S_DとS_Kの位相的同一化写像が一致する。つまり、観測者視野における投影写像の合成により、両者の輪郭が完全に重なると定義される条件が満たされる。
形式的には、同一化方程式が次の形で与えられるとされる。
\n(1) \n d = \frac{\Delta \theta}{\omega} \cdot \frac{1}{1-\varepsilon} \quad (0<\varepsilon<1)\n\nここでΔθは「特徴点列の位相差」を表し、ωは「輪郭の曲率場の平均回転量」である。さらにεは、紙面（あるいはスクリーン）の粒状性に由来する揺らぎ係数として導入される。
なお、Δθは0にならないと仮定すると、dは一意に定まると示される。一意性は「特徴点列の順序が入れ替わらない」という位相条件から従うと説明される[2]。
証明[編集]
証明は、佐倉 紀月によるとされる193ページの手稿（第3章「距離感の位相固定」）に基づいて再構成されている。証明の流れは大きく分けて、(i) 位相的同一化の準備、(ii) 観測写像の正規化、(iii) 一意性の排除、の3段階である。
まず、S_DとS_Kの特徴点列をそれぞれ\(p_1,\dots,p_m\)、\(q_1,\dots,q_n\)とし、位相差Δθが「周回方向に沿う最短の一致量」であるように正規化する。このとき、観測距離をdからd+1/8（単位は『視覚ミリメートル』）ずらすと、輪郭の一致が崩れることが補題として仮定される。補題の仮定自体が奇妙に厳密であり、のちに批判の対象となった点である[3]。
次に、曲率場の平均回転量ωを、輪郭の局所曲率をn=41点でサンプリングして推定する。手稿では「41点は偶然ではない」とされ、実際に計算手順の中で、41＝(7×6)+ - - という説明に類する痕跡が見つかったと記録されている（要出典扱いとなった）[4]。
最後に、揺らぎ係数εを0<ε<1に限定して、1-εが0に近づく極限ではdが暴走するため、観測者が「同じ距離感」を維持できなくなることが示される。したがって、同一化が成り立つdは一意に定まる、という結論に至るとされる[5]。
歴史的背景[編集]
学術的な動機：視覚合成の“事故”[編集]
1970年代、（通称：東映整合協会）が、アニメーションの素材合成における「距離感の取り違え」を問題視していた。特に『丸い口のキャラクター』と『丸い耳の犬型キャラクター』を同フレームで扱うと、視聴者が無意識に距離を誤認する事故が多発したとされる。
当時の報告書では、事故件数が「年間約317件（1973年時点）」と記され、発生地点は東京都千代田区の試作スタジオに集中していたと記述されている。背景として、試作スタジオの背面スクリーンが、粒状性の異なる素材に張り替えられたことが影響したと推定された[6]。
エポニム化：佐倉の“童話距離学”[編集]
佐倉 紀月は東京工芸大学の非常勤数理講師として、数学を「童話の理解に直接結びつける」講義を試みた。彼女（手稿上の表記は「彼女とされた」）は、ドラえもん型とコロ助型という具体的なシルエットを、数学的抽象の入り口として用いた。
また、同一化パラメータdの定義は、講義ノートの付録で先に公開され、1977年にの季刊誌に短報が掲載されたとされる。ただし当該短報の巻号とページが、現在では複数の版で食い違っており、研究者の間で「編集上の遊び」があったのではないかと疑われている[7]。
一般化[編集]
同一化の方程式は、二つのシルエットに限らず、特徴点列の集合が複数ある場合へと一般化された。代表的な一般形では、S_DとS_Kに加えて第三のシルエットS_R（“ラッパ型”と呼ばれる）を導入し、共通同一化距離dを求める。
このとき、式(1)のΔθは単一の位相差ではなく、\(\Delta\theta_{DK},\Delta\theta_{DR},\Delta\theta_{KR}\)の整合条件を満たすように定義し直される。さらにωは三者間で異なる曲率場の平均回転量として扱われ、結果としてdは通常、一意ではなく多枝（複数解）となる。
ただし、粒状性係数εが等しい（ε_D=ε_K=ε_R）と仮定すると、元の一意性が回復することが示される。この回復は、位相的同一化が“観測者の手触り”に固定されることに由来すると説明されることが多い[8]。
応用[編集]
応用としては、映像合成や教育用教材のほか、工学的な輪郭認識にも波及したとされる。例えば、印刷物の版ズレを補正する際、観測距離dが同一化条件を満たすように画像変換を行う「距離感キャリブレーション」が提案された。
また、大阪府吹田市の小規模研究会では、体育館の壁面ポスターを撮影した映像から、キャラクターのシルエットが同一化される距離を逆算し、掲示物の最適位置を決める実験が行われたと報告されている。実験では、最適距離が「ちょうど12.5m（許容誤差±0.03m）」となったとされるが、当時の参加者名簿には見当がなく、出典の追跡が難しい[9]。
さらに、数学パズルとしての派生もあり、教材では“ドラえもんとコロ助の影が同じ”になる照明条件を求める問題として出題された。ただし、この場合は照明スペクトルがεに吸収されるため、読者が計算結果に直感を持ちにくい点が弱点として指摘されている。
脚注[編集]
関連項目[編集]
脚注
- ^ 佐倉 紀月『距離感の位相固定：童話シルエット距離論の基礎』東映整合出版社, 1977.
- ^ M. Thornton『Topological Silhouette Matching in Arbitrary Projections』Journal of Imagined Geometry, Vol. 12, No. 3, pp. 41-63, 1981.
- ^ 田中 友哉『映像合成における粒状性の統計化』日本画像整合学会誌, 第6巻第2号, pp. 101-129, 1984.
- ^ E. Kroll『On the Uniqueness of Distance Parameters Under Visual Noise』Proceedings of the Society for Pretend Mathematics, Vol. 7, pp. 210-223, 1986.
- ^ 坂井 すみれ『特徴点列の順序固定補題とその誤差評価』位相と幾何の連続体研究, 第3巻第1号, pp. 9-27, 1990.
- ^ 川辺 実希『東日本映像整合協会報告書（1973年版）』東日本映像整合協会, 1974.
- ^ 中村 雅彦『日本位相幾何学会短報の編集史：巻号の不一致について』編集史研究会紀要, 第18巻第4号, pp. 55-72, 2002.
- ^ N. Okada『粒状性係数εの境界挙動に関する一推定』The Bulletin of Speculative Optics, Vol. 5, No. 1, pp. 77-88, 1998.
- ^ J. P. Alvarez『Calibration of “Same-Feeling” Distances in Screen-Based Systems』International Journal of Illusion Metrics, Vol. 22, Issue 2, pp. 301-319, 2007.
- ^ R. L. Watanabe『ドラえもんとコロ助の同一化の方程式（原典の誤植を含む完全復元）』架空学術文庫, 2011.
外部リンク
- 嘘ペディア・数理資料館
- 位相的シルエット距離論アーカイブ
- 東映整合協会の過去報告検索
- 童話距離学 研究会ポータル
- 粒状性係数ε データベース