アニメ定理
| name | アニメ定理 |
|---|---|
| field | 架空の調和解析 |
| statement | 周期長Lの視聴状態に対し、作画違和感コストは“整合余剰”を基準に一意に最小化される |
| proved_by | 伊勢原ムツオ（理論調和解析研究所） |
| year | 1987年 |
におけるアニメ定理（よみ、英: Anime Theorem）は、がについて述べた定理である[1]。
概要[編集]
は、架空の数学分野であるにおいて、とを結び付けるために導入された定理である。視聴体験を“関数”としてモデル化し、その振る舞いがという量で測定されるとする点が特徴とされる。
この定理は一見するとファンタジーに見えるが、定義上は厳密な“最小化”の主張として書かれる。特に、作画の違和感コストが局所的に波打つ場合でも、ある条件のもとで必ず単一の最適解に収束することが示されるとされる。
なお本定理は、代の会場設営からの視聴体験調整室まで、妙に具体的な現場用語を経由して広まったとされるが、同時に数理的な証明の細部は長らく一般に公開されていなかったとされる。
定理の主張[編集]
の主張は、を周期長、違和感コストを、そして整合余剰をとして、次の形で記述される。
まず、L を自然数とし、視聴状態が各時刻k=0,1,2,…,L-1で値を取り、値空間はと呼ばれる集合に属すると仮定する。各状態は“線の連続性”と“色面のつながり”の2要素からなるとされ、違和感コストはそれらのずれを積分和で表すと定義される。
このとき、が0以上であり、さらに“整合余剰が割り切れ条件を満たす”とき、はにより一意に最小化される。最小値は= (7/4)·R + 1/L に一致し、最適状態はごとに高々1通りに限られるとされる[2]。
さらに、最適状態の復元写像がが採用したとされる抽象設計様式に類似するため、観測者が“前半と後半の作画が噛み合う感じ”を数学的に説明できると主張される。
証明[編集]
証明は、を介したと、の分解定理に基づいて構成される。証明書の体裁は淡々としているが、要所で現場的な比喩が混ぜられていると報告されている。
第一段階として、視聴状態を上の分解により、固有部分と横方向部分の和に書き下す。このとき、違和感コストが両部分の二乗和で表されるように“重み”が選ばれることが仮定される。仮定の数理的裏付けが薄いと指摘されつつも、伊勢原ムツオは「最適化は重みで決まるのではなく、重みを決めるのは視聴者の無意識である」と記したとされる[3]。
第二段階では、周期性を使って和を折り畳む。特に、Lが奇数の場合、和の中のクロス項が“カット割り整合”によって打ち消されるとされ、Lが偶数の場合にはクロス項がに吸収されると示されたと報告される。ここで現れる係数7/4は、過去の放送枠のタイムコード整合をモデル化した際の回帰係数に由来するとされるが、出典が提示されなかったとされる。
最後に、が必ず (7/4)·R + 1/L であることは、の“視聴者版”と呼ばれる操作で導かれたと記述される。最適状態が一意であることは、が割り切れ条件を満たす場合に限りヘッセ行列が退化しないため、という形で結論付けられるとされる。なお、証明の原稿には第13補題が存在せず、第14補題から直接始まるという不自然さが残っているとも言われている。
歴史的背景[編集]
は、後半に流行した“視聴体験の定量化”の流れの中で生まれたとされる。発端はが運営した名目上は音響解析のセミナーであり、実際には作画の違和感を“音の濁り”に見立てる試みが並行して行われていたという。
関与した人物としては、伊勢原ムツオのほかに、同研究所の若手研究員である（数理重み設計担当）と、共同研究者の（回帰係数の統計理論担当）が挙げられることがある。特にThorntonは、係数7/4が統計的に“最頻の主観”へ寄ることを説明するために、の内部メモを引用したとされるが、閲覧権限が失われたため要出典扱いになったと報じられた。
また、普及の契機としてに建てられた視聴体験調整室が語られる。調整室の運用開始はで、壁面の反射率を微調整することで“整合余剰”を一定に保つ設計が採用されたとされる。この工学的エピソードが定理の言葉選びに影響したとされ、定理の文体が妙に現場寄りになった理由だとする説がある[4]。
一方で、に所在するが、定理の一般向け説明資料を配布した際に「整合余剰は気持ちの尺度」と言い換えたことで、数学者の間では不満が出たとされる。
一般化[編集]
は当初、周期長が整数である場合に限って述べられた。しかし後に、視聴状態の周期がゆらぐ状況に拡張しようとするが提案された。
その一般化では、L を一定ではなく“平均周期”で表す。違和感コストも連続時間の積分へ置き換えられ、最小値の形が (7/4)·R + 1/⟨L⟩ から、(7/4)·R + 1/(⟨L⟩+0.5) へ変更されるとする説がある。この 0.5 の補正は「試写会の休憩タイミング」に由来する回帰が見つかったとして説明されるが、再現性が確認できなかったとされる。
さらに、整合余剰が負になる可能性を許す“負整合領域”も検討された。そこではが一意でなくなる代わりに、最適状態が2つまで許されるとされ、境界値はであると主張されたと報告される[5]。
ただしこの拡張は、確率的視聴モデルに移植した際に反例が見つかったという指摘もあり、現在では「部分的には成立」とされている。
応用[編集]
応用は主に、視聴体験の設計と評価へ向けられたとされる。具体的には、の制作工程で“違和感が増える回”を予測するために、整合余剰を推定して補正する手法が使われたとされる。
たとえば、の内部手順書として「R推定シート（第2版）」が回覧されたとされるが、外部公開はされなかった。手順書では、各回の違和感コストが、前回の観測値からフレーム遅れで決まると仮定され、フレーム窓は幅が推奨されたと記録されている[6]。
また、演算を簡略化するために、最適状態の復元写像がのチャネルエラー訂正と“似ている”と説明された。ここで似ているという表現が比喩として機能したため、数学的には別物であるはずなのに、現場では同一視されることがあったとされる。
このように、は純粋数学というより、制作の運用言語として定着し、その結果として“作画検査”が定量化されたという社会的影響が指摘されている。一部では、定量化が進みすぎたことで「数字が良いのに気持ちが微妙」という新しいクレームが出たともされる。
批判と論争[編集]
は、成立当初から批判の対象でもあった。数学者側では、証明の中で使われる“視聴者版”の操作が形式的に定義されていない点が問題視されたのである。特に第13補題が欠落しているという構造的欠陥は、後世の編集者により「意図的な秘匿」と見なされたり、「書き損じ」と見なされたりして論争を呼んだ。
一方、制作現場からは、最小化が目的になりすぎるあまり、作画の多様な魅力が“違和感コスト”の一種として均されてしまうのではないかという懸念が出た。これに対し伊勢原ムツオの弟子筋とされるは、「整合余剰は魅力の否定ではなく、魅力の衝突を管理するものだ」と反論したとされる[7]。
また、普及の過程で係数7/4が過剰に神格化されたことも批判されている。統計の根拠が示されていないのに“7/4の呪い”として語られ、係数を当てはめること自体が宗教的儀式になったという皮肉もあったとされる。
ただし、皮肉が先行した一方で、定理が提供した“測り方”が制作チームの意思決定を速くしたという実務的評価も存在した。
脚注[編集]
関連項目[編集]
脚注
- ^ 伊勢原ムツオ『整合余剰と周期的視聴状態の一意最小化』理論調和解析研究所紀要, 1987.
- ^ 渡辺精一郎『視聴体験の重み設計—一次調和束の実装』日本数学会報, 第41巻第3号, pp. 201-248, 1991.
- ^ Margaret A. Thornton『Regression Coefficients in Subjective Consistency Models』Journal of Imaginary Applied Statistics, Vol. 12, No. 2, pp. 55-93, 1994.
- ^ 高橋礼央『“視聴者版”操作の形式化に向けて』数理技術通信, 第18巻第1号, pp. 1-17, 1998.
- ^ 文化庁解析推進局『R推定シート（第2版）』文化庁, 1989.
- ^ NHK放送技術研究所『違和感コスト最小化の現場手順』NHK技術資料, 1992.
- ^ ボストン市立放送庁『内部メモ：係数7/4の頻出主観への収束』未刊行資料, 1990.
- ^ Sato, K. and van Dijk, R.『Weak Dual Bounds for Quasi-Periodic Experience Functionals』Proceedings of the European Conference on Fictional Mathematics, Vol. 6, pp. 300-322, 2003.
- ^ 伊勢原ムツオ『アニメ定理：増補版の注釈』理論調和解析研究所紀要, 第60巻第4号, pp. 501-559, 2009.
- ^ Higashiyama, M.『補題体系の欠落は偶然か？（第13補題の再検討）』Cartoonic Algebra Letters, Vol. 3, No. 1, pp. 10-29, 2016.
外部リンク
- 整合余剰アーカイブ
- 周期的視聴状態フォーラム
- アニメ定理講義ノート
- 視聴体験調整室レポート
- R推定シート複製ページ