ゆでたまごの定理（数学）
| name | ゆでたまごの定理（数学） |
|---|---|
| field | 初等調理数学／熱拡散型離散モデル |
| statement | 二重条件（厚さ・同時操作）を満たす殻付き卵では、中心到達指標が通常条件の2^k倍に増幅する。 |
| proved_by | 上田ゆで理（仮名）と熱記号論班 |
| year | 2011年 |
におけるゆでたまごの定理（数学）（よみ、英: Boiled-Egg Theorem）は、殻付き卵が熱履歴に応じて示す“中心の硬さ”の振る舞いについて述べた定理である[1]。本定理では、調理中に観測する時間窓を2倍の厚さの殻に対応させることで、通常の計算より結果が2倍、さらに条件を重ねると4倍になるとされる[2]。
概要[編集]
は、鍋の中での“ゆで”という行為を、熱の拡散ではなく「条件の増幅」として定式化する考え方である。
この定理の要点は、ふつうの計算では1つだけ数えるはずの観測条件を、あえて二重・四重にしてしまうと、結果が素直に足し算されるのでなく指数的に跳ね上がる点にある。
たとえば通常は「中心までの硬さが何%か」を1系列で見積もるが、本定理では“2倍の厚さの紙で計算する係数”や“左右の手でペンを同時に2本使う観測”を暗黙に同時進行させるため、中心到達指標が2倍や4倍として読み替えられるとされる。
定理の主張[編集]
殻付き卵を、時間区間にわたって段階的に加熱される離散対象として扱う。中心の硬さを表す指標を、観測窓の“厚さ”の増幅回数をとし、増幅回数が整数であると仮定する。
このとき、二重条件を同時に満たす調理（詳細は後述）では、次が成り立つと主張される。
具体的には、通常条件での中心指標に対し、が満たされるとされる。ここでは「片手で1本のペンだけで計算する」など、数学者が礼儀正しく行うと仮定される標準観測に基づく。
さらに本定理では、熱の総量そのものを変えなくても、紙の厚み係数や観測動作を“条件”として二重化するだけで、結果の増幅が起きるとされる点が特徴である。
証明[編集]
証明の骨格は、卵殻の“見かけの厚み”を、熱方程式ではなくとして持ち替える操作にある。
まず、標準観測写像を定め、観測窓を単射に対応させると定義する。次に、増幅条件の数に応じて、観測写像を合成する。すなわちを回繰り返した写像を考えると、写像の像集合が段階的に倍化し、中心指標がで増幅されることが示される。
続いて、二重条件の中でも特に象徴的なものとして、計算を行う際にを用いること、さらに時刻の読み取りをを使って同時に実行することを取り上げる。この2つは数学的には“同じ情報を2経路で写像へ戻す操作”であり、情報が重複しているにもかかわらず、写像側では別要素として数え上げられるため増幅が生じるとされる。
最後に、観測窓にわたる整合性条件としての仮定が導入される。これにより、中心指標の計算はに還元され、が示されたとされる。なお、この“熱記号が可換”という仮定は、証明の約1ページを占めるが、要出典級に曖昧であるとも指摘されている。
歴史的背景[編集]
本定理の起源は、の食科学サロン「楕円鍋文化研究所」に遡るとされる。所長のは、講義のたびに参加者が“ゆで時間を自己流に丸める”ことを問題視し、丸めが指標をどの程度壊すかを数学化しようとした。
当初の研究は温度計の読み取り誤差を扱うものであったが、2010年頃に研究メンバーが、なぜか毎回ノートが同じ厚さでないことに気づいた。そこで彼らは、研究費で購入したノートがロットごとに微妙に厚いことを数式に組み込み、“厚さ＝条件”として扱う方向へ舵を切った。
決定的な転機は、同研究所がの小規模助成を得た直後の会議（会場はのとされる）である。発表準備中、司会者が「紙を厚くした方が字が滲まない」と言い出し、さらに質疑応答ではを交互に運用する“儀式的観測”が導入された。このとき、参加者の手元メモに残る中心指標の見積りが、なぜか2倍、次回には4倍に跳ねる現象が観測されたという。
その後、の研究ノート（非公開文書とされる）により、指数的増幅という形で定式化され、に学会誌風の冊子『調理系数論ノート』で“ゆでたまごの定理（数学）”としてまとめられたとされる。なお、冊子の奥付には「本文は湯気により判読不能」と書かれていたという逸話もある。
一般化[編集]
ゆでたまごの定理（数学）は、中心指標が2倍増幅する状況を起点に、より一般の増幅原理へ拡張されるとされる。
一般化の第一段階では、増幅回数を離散整数から拡張し、観測条件の“半端な重ね合わせ”をパラメータで表す。するとの形が導かれるとして、直感的には連続的な指数増幅が主張される。
一般化の第二段階では、二重条件が「厚さ」と「同時操作」の2種類に限られないことが示される。たとえば、の代わりにを用いた場合、増幅が型に変形するモデルが提案されたとされる。
ただしこの拡張は、観測写像の合成が“可換”であるという条件に強く依存するため、可換性が崩れる環境（手順が混線する厨房、タイマーが2台稼働している場など）では増幅則が乱れる可能性があるとされる。
応用[編集]
応用分野としてまず挙げられるのは、料理教室向けの「失敗しない硬さ推定器」の設計である。ここではレシピではなく、観測条件（紙の厚み、書き込みの同期回数）を入力し、中心指標を逆算することで加熱時間の目安が提示されるとされる。
また、数学教育への導入も試みられている。たとえばやの補習で、計算用具をわざと“標準から逸脱”させる授業が行われることがある。右手だけで計算させる回では結果が期待値通りに出る一方、左右で2本のペンを同時に動かさせると、同じ問題なのに答えが2倍の方向へ寄るため、学習者の注意を「仮定と観測」に向けられるという主張がある。
さらに、研究としては、の品質検査における“二重カウント問題”を抽象化し、測定手順の重ね合わせが指数的な補正を生む状況を議論するために用いられることがある。もっとも、ゆでたまごの定理（数学）をそのまま適用すると現場では笑いが起きるため、実際の適用では“増幅”を比喩として運用する例が多いとされる。
一方で、増幅則が強すぎるために、観測条件が増えるほど改善ではなく破綻に見えることもあり、実務ではの管理が最重要課題として扱われることがある。
脚注[編集]
関連項目[編集]
脚注
- ^ 上田ゆで理『調理系数論ノート』調理系数研究会, 2011年.
- ^ Margaret A. Thornton『Thermal Ambiguity in Human-Observed Models』Journal of Practical Mathematics, Vol. 12, No. 3, pp. 77-105, 2014.
- ^ 田中サラサ『観測写像と台所の可換性』東都出版, 2012年.
- ^ Chen Wei『Discrete Models for Kitchen-Triggered Amplification』Proceedings of the Symposium on Applied Anecdotes, Vol. 4, No. 1, pp. 1-19, 2016.
- ^ 佐藤煮込み『2倍の紙が語る数学』楕円鍋文化研究所出版部, 2010年.
- ^ Niels Harboe『Synchronization Errors and Exponential Corrections』Nordic Review of Pedagogical Figures, 第2巻第1号, pp. 33-58, 2013.
- ^ 【日本科学協会】『若手研究者のための“儀式的観測”ガイド』日本科学協会編, 2015年.
- ^ 鈴木茹で雄『ゆでたまごの定理：成立史の“湯気”』港区数学同好会, 2018年.
- ^ E. F. McCaldwell『On the Miscount of Thickness Coefficients』The Journal of Culinary Logic, Vol. 9, No. 2, pp. 200-215, 2017.
- ^ 渡辺精一郎『殻厚の微積分（改訂版）』名古屋大学出版局, 2019年.
外部リンク
- 楕円鍋文化研究所デジタルアーカイブ
- 調理系数論サンプル計算室
- 左右手同期計算法コミュニティ
- 可換な熱記号レクチャーノート
- 名古屋市科学展示館の補助資料室