校長定数
| name | 校長定数定理 |
|---|---|
| field | 架空数学（教育ネットワーク解析） |
| statement | 校長定数κは、学校施設網の“回送規則”を満たすとき、最短回送路群の位数を一意に決定する。 |
| proved_by | 渡辺精装（教育数学研究所） |
| year | 1963年 |
における校長定数（よみ、英: Principal Constant）は、のについて述べた定理である[1]。
概要[編集]
校長定数は、学校という名の“場所”を、廊下・階段・出入口を頂点、回送を辺とするとして扱う立場により定義される定理である。
ここでいう校長定数κは、全ての回送規則が整合する場合に限り、最短回送路群の位数（同値類の個数）を固定する定数として振る舞うとされる。
本定理は、単なる形式的な計算ではなく、現場での“締切”や“点呼”と結びつけて語られることが多く、数学的対象に教育的比喩を与えることで普及したと説明されている。
定理の主張[編集]
学校施設網Gを有限連結無向グラフとし、出入口集合をR、教室区域をCとする。
校長定数κに関して、次の回送規則を仮定する：任意のr∈Rと任意のc∈Cに対し、rからcへ到達する最短回送路が必ず同じ長さℓを持ち、かつその最短回送路は互いに“制服順序”で並べ替え可能である。
このとき、回送路同値関係~を「最短回送路の頂点列を、昇順の制服順序に従って再ラベルしたものは同一」と定めると、同値類の個数|Path(G)/~|はκにより一定であり、しかもκは次で与えられるとする。
κは、分岐点の集合Bに対する重み付き和
κ=∑_{v∈B} (deg(v)-1) + 1
を満たすとされる。したがって、Gが回送規則を満たす限り、最短回送路群の位数はκで完全に決定される。
証明[編集]
証明は、一般の有限連結無向グラフに対する議論を“点呼ラベル”で分解する手順として記述されている。
まず、各辺eに点呼ラベルとして0または1を割り当てると定め、最短回送路に含まれる1の個数をSとする。
次に、制服順序に従う再ラベルの下でSの取りうる値が一致することを示し、同値類の個数がSの取りうる値に対応することを“廊下の折り返し写像”により示す。
最後に、折り返し写像が分岐点vの次数deg(v)ごとに( deg(v)-1 )回だけ非自明に変化し、その変化が加算されるため、|Path(G)/~|=∑_{v∈B} (deg(v)-1)+1が成り立つと結論づけられる。さらに、校長定数κが1より小さくなり得ないことも同時に示されたとされる。
歴史的背景[編集]
起源：『校長の時刻表』と“位数の誤差”[編集]
校長定数という呼称は、東京都の旧制施設で用いられていたとされる回送帳簿『校長の時刻表』（当時の保管番号：第8-3号）に由来すると説明されている。
当該帳簿では、学期末に生徒の移動が混雑し、最短回送路の“数え上げ”に毎年±2の誤差が出たと記録されていた。
数学的には、この±2が単なる人為的ミスではなく、分岐点の見落としに起因することが1970年代の回顧で指摘され、結果としてκが“誤差を吸収する”不変量であると語られるようになった。
発展：教育数学研究所の標準化（1963年）[編集]
本定理の体系化は、に所属していた渡辺精装（わたなべ せいそう）が中心となり、京都府の“廊下モデル”会議で草稿がまとめられた。
当初は“次数和”のみを使った計算が提案されたが、参与の一人が『点呼ラベルを2値にすると校門でだけ分岐が消える』と発言し、点呼ラベル0/1の導入が採用されたとされる。
さらに、検証用の人工校舎モデルとしての試験棟（棟番号Y-114）で、最短回送路長ℓ=7、分岐点数|B|=34という条件が先に固定され、議論が“位数の一致”に収束したという。なお、その一致率は97.3%であったという記録が残っている。
逸話：『年度別κ』と不整合の発見[編集]
校長定数は年度ごとに更新されるべきだと考える立場もあり、実際に大阪府のある学区では“年度別κ”を運用したとされる。
しかし調査では、κを更新した年に限って同値類が9個から10個へ増える“逆転現象”が報告され、原因は回送規則の中の制服順序が一度だけ手作業で例外処理されたことにあったと推定されている。
この逸話は、定理がκの固定性を保証するには回送規則の整合が必須であることを、現場語で説得する材料になったとされる。
一般化[編集]
回送規則を、最短回送路長が全組で同一であるという条件から緩和し、ℓがC上で一定（区域一定長）である場合を考える。
このとき、分岐点の集合Bはℓごとに分解され、κは単純な1本の定数ではなく、κ(ℓ)=∑_{v∈B_ℓ}(deg(v)-1)+1なる関数として表されるとする一般化がある。
さらに、無向グラフから有向回送へ拡張した場合、deg(v)の代わりに入次数と出次数の差が用いられ、校長定数が“符号付き位数”に対応する形で再定式化されるとされる。
一方で、この一般化は制服順序が推移的である場合に限り整合するという条件付きで示されたとされ、数学的な美しさと現場適用の両立が課題になったとも指摘されている。
応用[編集]
校長定数は、教育ネットワークの“詰まり”評価に用いられるとされる。
たとえば、回送規則を満たす施設網においてκが大きいほど同値類が多く、最短回送路が“複数の同時候補”として保たれるため、点呼タイミングのズレに強い、という評価指標として扱われることがある。
また、校内の避難計画を想定した応用では、分岐点を設計段階で制御し、κを上限K=121に抑えることで、遅延見込みが年間約3.6分の範囲に収まったと報告されたとされる（なお、この数値の出典は複数の講演記録に分散しており、校閲の過程で要約が変わった可能性があるとする者もいる）。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精装『教育ネットワーク解析における校長定数の固定性』教育数学研究所出版, 1963年.
- ^ A. Thornton『Principal Constants in Labeled Routing Networks』Journal of Educational Graphs, Vol.12, No.4, pp.113-141, 1965.
- ^ 山本練太『制服順序と同値類の対応：校長定数の証明概略』京都大学学術報告書, 第20巻第2号, pp.55-78, 1968年.
- ^ E. R. Collins『On the Counting of Shortest Routes Under Re-Labeling』Proceedings of the International Society for Graph Pedagogy, Vol.3, Issue 1, pp.1-19, 1972.
- ^ 鈴木光弘『点呼ラベル0/1の導入がもたらす位数安定性』日本教育数理論文集, 第7巻第9号, pp.201-239, 1976年.
- ^ K. Sato『Principal Constant κ and Branch-Weighted Sums』Annals of Speculative Combinatorics, Vol.44, No.2, pp.77-96, 1981.
- ^ R. H. Moreno『Directed Generalizations of School Routing Theorems』Bulletin of Pedagogical Topology, Vol.9, pp.10-33, 1987.
- ^ 岡田藍『年度別κの運用と逆転現象：港の学区調査記録』自治体教育研究季報, 第16巻第1号, pp.9-24, 1994年.
- ^ Watanabe Seisō『The Principal Constant and Its Variants』Journal of Heuristic Proofs, Vol.1, No.1, pp.1-6, 1958（初出年として別版がある）.
- ^ M. K. Thompson『Errors of ±2 in Labeled Route Counting』Mathematical Anecdotes Review, Vol.2, Issue 6, pp.300-315, 2001.
外部リンク
- Principal Constant Archive
- Education Network Lab Notes
- Labeled Routing Bibliography
- Graph Pedagogy Society
- 港区・旧制校舎資料室