テツandトモの定理
| name | テツandトモの定理 |
|---|---|
| field | 芸人交差幾何学 |
| statement | 気まずさ関数が局所的に滑らかであれば、その極値の位置は観客導線の“二人区分”により一意に決まる |
| proved_by | 一般社団法人『笑いの計量研究会』理事長 朧谷（おぼろたに）ミツオ |
| year | 2007年 |
におけるテツandトモの定理（よみ、英: Tetsu-and-Tomo's Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、劇場やライブハウスのような空間におけるを、数学的なとしてモデル化する枠組みである。
定理は「場の流れ」が時間とともに連続に変化すると仮定した上で、が取り得る極値の位置が、観客導線に現れる“二人区分”によって一意に決まることを主張する。
この定理は、笑いの「当たり外れ」を統計で眺めるだけではなく、導線設計や照明配置といった実務へ接続できる点で注目されたとされる。なお、発表当初はの試験公演での観測値が先行し、証明は後追いで整理されたという逸話がある[1]。
定理の主張[編集]
観客導線をG=(V,E)で表し、各辺 e∈E には“視線の交差負荷”として実数値 w(e)が割り当てられるとする。
各時刻 t において、気まずさを表すA_t:V→ℝ が存在し、A_t は局所的に滑らかで、かつ各頂点 v で 3階微分可能と仮定する。
さらに、グラフGには二種類の観測者群が割り当てられ、頂点集合VがV=V_T∪V_{t}（交わりは空集合）を満たすものとする。
このときは、任意の t に対して、A_t が最大値をとる頂点 v^*(t) がただ1つに定まり、その頂点は「二人区分境界」を跨いだ“最短交差経路”によって決定される、と述べる。より具体には、境界を跨ぐ経路の長さ L が最小となる経路群に属する頂点が、必ず v^*(t) を与えることが示される[2]。
証明[編集]
朧谷ミツオは、気まずさ関数 A_t が局所で滑らかであることを利用し、差分近似により A_t の極値条件を“離散的なラグランジュ条件”へ落とし込む戦略を採用したとされる。
最初に、二人区分境界を横切る辺集合を E_b とし、境界跨ぎの総負荷を B(t)=∑_{e∈E_b} w(e)·sin(π·t/1800) と定義する。
次に、A_t のヘッセ行列に対応する離散二階差分 Δ^2A_t を用いて、最大値が“符号の反転”を伴うことを示す。
ここで重要なのは、観測導線の設計図に残された座標調整の記録であり、観測者導入の遅延が 7.3秒、照明の立ち上がりが 1.12秒、さらに床反射係数が 0.38 と報告されていた点である。この3点の数値は最終計算に直接登場し、結果的に v^*(t) の一意性を崩す候補を 12通りにまで絞り込む形で働いたとされる[3]。もっとも、当該報告書の現物が学会アーカイブに見当たらないという指摘もある[4]。
歴史的背景[編集]
の名称は、芸人コンビの比喩に由来するとされる。すなわち、二人区分が「同じ場所に立たない」ことを象徴し、極値が一意に決まる様子が“オチの着地”に似ている、という説明が広まった。
理論の萌芽は、2001年ごろに名古屋市で開かれた“導線による説得”ワークショップ（主催: 中部笑調工学協会）に求められるとする説が有力である。
一方で、初期の草案が実際に提出されたのはに所在する匿名の研究室であり、提出者は「笑いは測れる」を合言葉に活動していたとされる。その研究室の法人登記名は、のちに『笑いの計量研究会』へ移管されたと説明された。
定理として整備された年はであり、同年にの学術ホールで公開講演が行われたとされる。ただし講演記録のタイムスタンプは 03:14:59 で欠落があると報告されており、編集上の混乱があった可能性が指摘されている[5]。
一般化[編集]
定理は元々二人区分 V=V_T∪V_{t} を前提としていたが、その後、区分を k 群へ拡張する一般化が検討された。
では、頂点集合を V=⋃_{i=1}^{k} V_i と分解し、境界跨ぎの定義を「異なる群 i≠j をまたぐ辺の集合」へ置き換える。
このとき、気まずさ関数 A_t の極値は必ずしも一意ではなくなり、「候補集合 C(t)」が得られるとされる。さらに、候補集合の大きさはグラフのに依存し、連結度が 5 の場合に限って |C(t)|=1 に戻るという“準一意性”が報告された[6]。
この準一意性が、観客導線の増設計画に採用されたことで、街のイベント動線最適化の提案に数学的根拠が付与された、とする見方がある。
応用[編集]
第一の応用先は、劇場運営における「視線交差最小化」の設計である。運営側は、照明の角度を変数として w(e) を更新し、最大の気まずさが生じる頂点 v^*(t) を避けるよう導線を調整したとされる。
第二に、の大型フェスでは、入場ゲートを 4系統に分け、区分境界の負荷 B(t) を観測して演目の順序を決定する実験が行われた。実験の結果、アンケートで測定された“当たり率”が 63.7% から 71.2% へ上昇したと報告された[7]。
ただし、上昇の要因が純粋に導線設計ではなく、会場BGMの音圧調整（平均 87.9 dB）が同時に行われていたため、因果の切り分けは難しいという批判もある。
このように、は数学の定理でありながら、実務では複数の要因が混ざる前提で運用されることが多い。結果として、厳密性と実用性の間で“ちょうどいい嘘”が必要とされた、とまとめる研究も見られる[8]。
脚注[編集]
関連項目[編集]
脚注
- ^ 朧谷ミツオ「二人区分による極値一意性—テツandトモの定理の離散化—」『芸人交差幾何学紀要』第12巻第3号, pp. 41-68, 2007.
- ^ ハラダ・レン「導線グラフにおける視線交差負荷の定義とその微分可能性」『Journal of Performative Topology』Vol. 19 No. 2, pp. 113-139, 2006.
- ^ リョウ・サトウ「B(t)=Σw(e)sin(πt/1800) の物理的解釈に関する検討」『数理娯楽通信』第5巻第1号, pp. 9-27, 2008.
- ^ 澄谷ユウ「差分ヘッセ行列と気まずさ極大条件の対応」『離散解析年報』第22巻第4号, pp. 201-229, 2009.
- ^ 中部笑調工学協会編『導線による説得の作法（未公開草案集）』中部笑調工学協会, 2003.
- ^ ガブリエラ・ノス「k群一般化における準一意性の連結度依存性」『International Review of Audience Dynamics』Vol. 7 No. 1, pp. 1-18, 2010.
- ^ 山下カズキ「フェス動線最適化の事後分析：当たり率と区分境界の関係」『イベント運営数理研究』第3巻第2号, pp. 55-82, 2011.
- ^ 平倉サエ「因果切り分け不能な数理モデルの運用論」『応用数学倫理研究』第1巻第1号, pp. 77-96, 2012.
- ^ Fumihiko OYAMA「On the Uniqueness of Maxima in Two-Partition Graph Systems」『Proceedings of the Curious Mathematics Society』Vol. 2, pp. 200-221, 2007.
- ^ （タイトルがやや不自然）テツandトモ編集委員会『観客の気まずさ：角度と経路の完全マニュアル』嘘書房, 2007.
外部リンク
- 芸人交差幾何学アーカイブ
- 笑いの計量研究会データポータル
- 離散解析年報特設ページ
- 観客導線シミュレーター
- 数理娯楽通信バックナンバー