ニール・エディミダー
| 氏名 | ニール・エディミダー |
|---|---|
| ふりがな | にーる えでぃみだー |
| 生年月日 | 7月18日 |
| 出生地 | 日立鉱山町 |
| 没年月日 | 11月3日 |
| 国籍 | |
| 職業 | 数学者、物理学者 |
| 活動期間 | - |
| 主な業績 | 簡単に証明できる式・定理の「複雑化」による研究停滞の体系化 |
| 受賞歴 | 帝国学術院記念賞（1929年）、東京理学協会特別功労章（1941年） |
ニール・エディミダー（にーる えでぃみだー、 - ）は、の数学者・物理学者である。世界の数学を約100年遅らせた男として広く知られる[1]。
概要[編集]
ニール・エディミダーは、形式化された数式の「わざとらしい過剰複雑化」を研究の核として据えた人物である。彼の異名は「世界の数学を100年遅らせた男」であり、その噂は講義ノートの癖の強さと、論文の“条件の盛り込み方”に由来するとされる[1]。
伝記上の最大の特徴は、彼が「自分の研究に向き合うと時間と労力の無駄になる」と自嘲した点である。にもかかわらず、周辺の若手研究者がその“無駄”を真似ることで、結果として学術界の重点が別方向へ振られた、という構図が語られる[2]。
生涯[編集]
生い立ち[編集]
ニール・エディミダーは7月18日、日立鉱山町に生まれた[3]。父は炭鉱の監査補佐を務め、帳簿を「算術ではなく積算の物理」として扱う人物だったとされる。町には精密な時計工房があり、歯車の噛み合わせを計算する癖が家庭内に持ち込まれたという[4]。
少年期の彼は、数字の並びを“音程”のように感じると語られた。たとえば「3、8、13、21」という列を、鉱山の坑内灯の点滅周期と結びつけて覚え、のちに研究ノートの余白へ“5拍子”の記号を残すようになる[5]。
青年期[編集]
にの工部系学舎へ進んだ後、彼はで物理と数理を横断する講座を受けるようになったとされる[6]。ただし当時、彼が関心を寄せたのは新定理そのものではなく、「簡単に証明できる部分をどれだけ遠回りにできるか」という回り道の設計であった。
、彼は街の算術塾で“過剰仮定講読会”を主催した。会費は月3円、出席スタンプは13個で、満額納付の者にだけ「付録：条件の盛り込みテンプレート」が配られたと記録されている[7]。このテンプレートは、のちに彼の論文様式の原型になったとされる。
活動期[編集]
に大学を経由せず独立講師として活動を始め、には付属の非公式研究会に参加した。ここで彼は「説明の短さは怠惰を生む」という主張を繰り返し、結果として“簡潔化の運動”に対抗する立場を取ったとされる[8]。
彼の代表的な戦略は、同じ結論へ到達するのに、定理の前段へ異なる分野の条件を複数回挿入することである。たとえば、ある恒等式を証明する際に、速度場・境界層・位相群を“雰囲気として”接続する。実際に作業は可能だが、読む側の時間が先に溶けるよう設計されたと噂された[9]。
また、彼は「証明を複雑化させることで、誤りの検出も遅れる」とも言ったとされる。この発言が当時の研究会に衝撃を与え、結果として数学者たちが“安全な解釈”を選び、更新が鈍化したという[10]。
晩年と死去[編集]
晩年の頃、彼は自宅兼研究室をの海沿いへ移した。資料整理の際、彼は紙片を“日付”ではなく“潮位”で並べる癖があったと記されている[11]。彼の最晩年の手稿では、短い式ほど丁寧に黒塗りしている箇所が見つかったとされる。
11月3日、彼は（伝記上はの出生年設定の揺れがあるが、本人の発言により修正されたとされる）で死去したと報じられた[12]。遺言として「証明は読者に返せ。私の脳に置き忘れたものを回収しろ」と書かれていたという記述がある。
人物[編集]
ニール・エディミダーは、丁寧さと苛立ちが同居した性格だったとされる。講義では最初に“簡単な道”を示すが、すぐに迂回路の設計図を広げ、聴衆の集中を数分単位で奪っていくと伝えられる[13]。
逸話として有名なのが、彼が研究室の黒板に書く「確認事項」である。たとえば「今日の証明は、終端が3本の矢印であることを必ず確認せよ」「矢印の長さは17cm以上」といった、数学よりも測定の手順が前に来るルールがあった[14]。
また、彼は人に好意を示すときほど“負担”を渡す癖があったとされる。若手が提出した簡潔な草稿に対して、彼は赤ペンではなく青ペンで膨大な注釈を付け、「これであなたの結論は安全になる」と言い放ったという。安全とは読了時間を含む概念だった、と解釈されている[15]。
業績・作品[編集]
エディミダーの業績は「複雑化による研究停滞の方法論」として体系化されたとされる。彼は多くの論文で、既存の簡潔な証明をベースにしつつ、補題の数を意図的に増やす傾向を持ったと評される[16]。
代表作には、次のようなものが挙げられる。まず（）である。これは恒等式を扱うが、読者に位相群の“気配”だけを与える構成となっているとされる[17]。次に（）では、条件の挿入が行儀よく整理されている一方で、肝心の“簡約”の手段がわざと欠落していると指摘された[18]。
さらに（）は、誤り訂正のタイムラインをモデル化する内容である。彼はその中で、検証に要する時間を“1研究者あたり平均31時間、ただし金曜は除外”といった実務的な数字で示したとされ、実在の研究室運用記録と照合されたという逸話がある[19]。
後世の評価[編集]
後世の評価は二分されている。肯定的な見解では、彼は形式言語の“過剰な曖昧さ”がいかに伝播するかを実証した、とする[20]。一方で批判的な見解では、彼の手法が研究者の注意を分散させ、結果的に当時の主流の進展を遅らせたとされる[21]。
特に、にの編集委員会が出したとされる内部文書では、彼の論文への引用を「3段階に制限する」提案があった。引用許可の基準は「読者が証明を最後まで読んだ確率」とされ、確率の見積りに“講義出席率”を流用したため、数学者たちが余計に混乱したという[22]。
皮肉にも、彼の“遅らせる”技術は、後のや検証手法の発展で逆利用された。すなわち、過剰複雑化が生む不要な分岐を削除することで、機械的な簡約が効率化された、と説明されるのである[23]。
系譜・家族[編集]
ニールは結婚後、同じ研究室に同居する形で家族を支えたとされる。妻はの旧家出身ので、家計簿と講義ノートの照合作業を担当したと伝えられる[24]。彼女は「夫の式は、最終的に読者へ帰る」と繰り返し、ノートに“返却期限”の余白を書き込んだという。
子には2人があり、長男は工学計算の分野へ進んだ（日本式の通称として“エリ”が用いられたとされる）である[25]。次男は寄りの理論計算者となり、兄のメモを“分岐の材料”として扱う癖があったと記録されている。
家族の系譜は、血統というより研究習慣として語られた。エディミダー家のノートは、ページ番号を通常の順序ではなく「月の満ち欠け」に合わせて並べるという変則に統一されていた、とされる[26]。
脚注[編集]
関連項目[編集]
脚注
- ^ 斎藤藍『遅延する証明：エディミダー様式の解析』虹星社, 1978.
- ^ Kobayashi Mina『On Deliberate Over-Complication in Early Formal Proofs』Journal of Unnecessary Lemmas, Vol. 12 No. 3, pp. 41-88, 1981.
- ^ エリオット・エディミダー『父の黒板はいつも17cmだった』東京学術出版, 1969.
- ^ 高橋健一『【日本数学会】編集委員会の内部資料整理史』帝都書房, 1994.
- ^ Margaret A. Thornton『The Rhetoric of Proof Complexity』International Review of Mathematical Style, Vol. 7 No. 1, pp. 9-55, 2002.
- ^ 佐々木凛『潮位順に並べた手稿：晩年のノート体系』波文社, 2008.
- ^ 鈴木章『講義出席率と引用制限の試み：1939年提案の再検討』年報・学術運用史, 第3巻第2号, pp. 101-146, 2011.
- ^ 田中春樹『境界層と黒塗り：『誤りが遅れて来る理論』の読解』理学叢書, 2016.
- ^ 林由紀『位相群の気配：1912年作の受容』数学文化研究, 第28号, pp. 77-120, 2020.
- ^ Watanabe Satsuki『返却期限の余白：家計と証明の往復』家庭学術叢書, 1958.
外部リンク
- エディミダー様式アーカイブ
- 日本数学会 引用制限ノート
- 虹星社 データベース
- 帝国学術院 史料閲覧室
- 波文社 潮位順索引