そこら辺三角形
| 英語名称 | Sokora-ata Triangle Studies |
|---|---|
| 対象領域 | 辺長の“そこら辺”が一致する三角形の性質、そこら辺誤差、格納定理 |
| 上位学問 | 測量科学・幾何工学 |
| 主な下位分野 | そこら辺不等式論／そこら辺安定性解析／そこら辺推定統計／格納幾何 |
| 創始者 | 玄海（げんかい）三綾（みあや） |
| 成立時期 | （測量学校の改組後） |
| 関連学問 | 誤差理論学／方形配置学／伝承幾何学 |
そこら辺三角形学（そこらへんさんかくけいがく、英: Sokora-ata Triangle Studies）は、そこら辺三角形の性質とそれをめぐる数学的・社会的効用を研究する学問であり、測量科学の一分野である[1]。
語源[編集]
そこら辺三角形学の語源は、古い測量現場の隠語「そこら辺に揃っている辺」に由来するとされる。とくに、3本の辺のうち少なくとも1本ではなく「少なくとも2本がそこら辺の長さとして同値扱いされる」状況を、口語的に「そこら辺三角形」と呼んだことが出発点とされる。
この学問が学術化された契機として、の地方路線測量で発生した“長さの言い淀み”が挙げられる。測量士が「ほぼ同じ」「たぶん同じ」を連発するたび、帳簿担当が「その“そこら辺”はいま何mm相当なのか」と詰めるようになり、次第に“曖昧さを定義として固定する”必要が意識されたとされる。なお、当初の表記は「そこら辺形」とも併記され、速記記録の摩耗により「三角形」が自然に残ったと推定されている。
定義[編集]
そこら辺三角形は、3本の辺のうち少なくとも1つが等しい三角形ではなく、広義には「3辺の長さの比較において“そこら辺同値”が成り立つ三角形」を指すとされる。一方で狭義には、「3辺のいずれかを基準にするのではなく、複数の比較表現を同時に成立させる三角形」と定義した流派が有力である。
学会で合意される“そこら辺同値”とは、長さの差の絶対値が、観測条件で定まる以内にあることをいう。ただし許容幅は一定ではなく、当時の計量器の摩耗、湿度、測量者の靴底の石ころ粒度まで含めて回帰係数化されたとされる。よって、そこら辺三角形は形式上、等辺や二等辺の条件を含みつつも、それらを“曖昧に等しい”扱いへ拡張した概念として整理される。
代表的な定理として、そこら辺三角形に対し次が述べられる。すなわち、そこら辺三角形においては少なくとも2種類の比較が同時に一致し、角度推定が安定化する——と呼ばれる「」が、教育用の標語になっている。ただし原典では“安定化”の意味が測定誤差の分散のみならず、現場での説明回数（口頭やり取りの回数）にも依存するとされ、研究者がしばしば眉をひそめる点で特徴的である。
歴史[編集]
古代[編集]
古代の痕跡は、の粘土板断片に「辺が語り口で等しくなる図形」と解釈される記述があることから示唆されている。ただし当該断片の文字学的読み替えは複数あり、そこら辺三角形学では敢えて「“言い淀み”を図形として保存したい欲求」を古代の測量文化と結びつけて語る流儀がある。
また、の隊商が「同じ長さの棒」を持ち歩かなかった理由を、長さの制度よりも“交換時の納得”を優先したためとする伝承もある。この伝承では、三角形を作る行為が「測る」より先に「合意する」手段だったとされ、そこら辺同値が社会的契約の一種として語られたという。
近代[編集]
近代において、そこら辺三角形学はに成立したとされる。測量学校の改組に伴い、従来の幾何教育が“現場の曖昧さを許す記法”へ転換され、玄海三綾（げんかい みあや）が「等しさの定義を、観測者の仕事量まで含めて書け」と主張したことが大きかったとされる。
この時期の研究では、そこら辺許容幅を「棒材の湿りによる伸び（当時の推定で平均）」と「目盛り滑り（平均）」に分解し、さらに合成誤差を平方根近似したと記録されている。なお、初期の論文の一部では“靴底の摩耗粉の平均粒径”をとして扱っており、形式的には物理学的であるのに理由付けが社会学的である点が、後世の研究者の苦笑を誘ったとされる[2]。
また、には工兵局の規程に「そこら辺三角形を用いた斜線検査」が組み込まれ、検査官が“説明が追いつかない形”を減らすために図形を標準化したと推定されている。ここで社会的に重要だったのは、同じデータでも“説明回数が少ない”図形が採用されるようになったことであり、科学の形式が現場の言語運用と結びついたとされる。
現代[編集]
現代では、そこら辺三角形学はデータ同化の概念と結びつき、許容幅を動的に学習する枠組みへ移行したとされる。特に、に提案された「許容幅の格納（グリップ）」モデルは、測定器の摩耗だけでなく、担当者の経験年数を潜在変数に入れるとして注目を集めた。
一方で、現代的な論争として「そこら辺同値が“定義”として強すぎるのではないか」という批判がある。定義が観測過程を丸ごと飲み込むと、異なる装置で測っても同じ結論が出るよう設計できてしまうため、反証可能性が薄まるとする指摘がなされている。ただし学会側は「反証可能性より、現場の再現性を優先するのが我々の使命である」と回答したとされ、依然として両論が併存している。
分野[編集]
そこら辺三角形学は基礎そこら辺三角形学と応用そこら辺三角形学に大別されるとされる。基礎では、許容幅の数学的取り扱い、そこら辺同値の公理化、そこら辺誤差の分散構造が扱われる。応用では、測量、建築の墨出し、橋梁の検査書式の作成など、現場手続きそのものが研究対象になる。
基礎側の代表的分野には、、、がある。ここでは「近い等しさ」が幾何学的整合性を保つ条件が、連鎖的に証明されることが多い。
応用側では、と、検査書式や教育資料を最適化するが独立分野として挙げられる。特に、同じ誤差でも“説明が短いほど現場が受け入れる”という仮説が採用され、研究が数理から人事・教育へ広がったことが特徴である。
方法論[編集]
方法論は、測定→比較→格納の三段階手順に整理されることが多い。まず観測データから3辺の長さを抽出するが、その際に単位変換の丸めを先に固定し、後の推定結果の“言い逃れ”を防ぐ流儀がある。
次に比較段階では、そこら辺同値を満たすかどうかを単一のしきい値ではなく、として評価する。二重比較とは、(1)長さ差の条件と(2)角度推定の条件を同時に課すことであり、どちらか一方だけ満たしても“そこら辺三角形”とは認めない。なお、教育用の図版では、比較が通らない理由が必ず「担当者の説明が長いから」と記されることがあり、方法論が“数学のみでなく現場言語”へ回収されている点が面白いとされる。
最後の格納段階では、そこら辺三角形を、許容幅パラメータ込みで保存する。これにより、将来の再検査で“なぜ同値と判断したか”を復元できると説明される。ただし、この復元には格納された許容幅の再学習が必要であり、ここで研究者が恣意性を疑われることがある。
学際[編集]
そこら辺三角形学の特徴は、学際性が単なる応用ではなく、定義形成の段階から入り込んでいる点にある。数学者は許容幅を確率として扱うのに対し、工学者は許容幅を品質保証の規格として扱う。社会学者は“許容幅をめぐる会話”の頻度をデータ化し、定義に回り込ませる。
さらに、教育学研究者が「学生が“等しいと言ったのに違う”と感じる回数」を最小化する教材設計を提案し、教材の図形をそこら辺三角形の形に寄せたとされる。結果として、数学の授業が講義ノートではなく、検査書式のようなテンプレートとして配布される運用が生まれたという。
この学際連携の象徴として、に設置された「測量言語衛生研究室」が挙げられる。同室は、図形の“正しさ”よりも“誤解の少なさ”を重視したとされ、そこら辺三角形学の系譜を決定づけたと推定されている。
批判と論争[編集]
そこら辺三角形学には、数学としての厳密性と現場としての実務性の間で繰り返し論争が起きたとされる。最大の批判は「許容幅が広がるほど、ほぼすべての三角形がそこら辺三角形になる」というものである。実際、ある統計調査では、許容幅をに設定した場合に“そこら辺三角形”判定の一致率がに達したと報告され、逆に検査の価値が薄れるのではないかと指摘された[3]。
また、反対派は「定理が現場の説明回数を含む」点を問題視する。数学的に見れば比較関数に過剰な付加をしているように見えるためである。しかし賛成派は「我々の対象は角度ではなく、合意形成を含む測定過程である」と主張し、数学の境界を押し広げたと応酬した。
なお、当初の論文で“そこら辺三角形の父”と称された玄海三綾の講義ノートが、後年の検証で「定義の写し間違いが複数箇所残っている」と報告されたことも論争の火種になった。写し間違いがそのまま定義の強度を増していたため、皮肉にも学問の勢いを後押ししたという記録がある[4]。
脚注[編集]
関連項目[編集]
脚注
- ^ 玄海三綾『そこら辺三角形学の公理と格納』測量書院, 1872.
- ^ エリオット・クライン『Allowance Geometry and Social Convergence』Journal of Field Exactness, Vol. 14 No. 2, 1908, pp. 33-61.
- ^ 本間柘（ほんま つげ）『そこら辺許容幅の回帰モデル』精密計測紀要, 第7巻第1号, 1931, pp. 12-48.
- ^ Dr. アンジェリカ・ローム『Two-Stage Equivalence in Sokora-ata Triangles』Proceedings of the International Surveyor Society, Vol. 52, 1966, pp. 201-239.
- ^ ナザル・ベリオフ『Explaining Error: The Shortest Talk Theorem』Theoretical Method Letters, Vol. 9 No. 4, 1989, pp. 5-28.
- ^ 田中瑠香『格納幾何の教育的実装』幾何教育研究, 第22巻第3号, 2001, pp. 77-104.
- ^ S. ロドリゲス『Dynamic Tolerance Learning for Field Diagnostics』International Journal of Measurement, Vol. 3 No. 1, 2007, pp. 1-19.
- ^ 小峰汐音『測量者の靴底粒度と定義の安定性』日本建設幾何学会誌, 第31巻第6号, 2012, pp. 410-437.
- ^ 玄海三綾『そこら辺三角形学入門（改訂版）』測量書院, 1872.
- ^ J. H. マクレイ『On Triangles That Refuse Precise Equality』Abstracts of the Curiously Exact, Vol. 1, 1911, pp. 9-11.
外部リンク
- 測量書院 そこら辺三角形学アーカイブ
- 国際そこら辺幾何研究会（ISST）
- 格納幾何教材ライブラリ
- 測量言語衛生研究室 走り書き資料
- そこら辺許容幅計算機（旧式）