はじめのドリル
| name | はじめのドリル定理 |
|---|---|
| field | 初代微分ドリル学 |
| statement | 初期値列が所定の「掘削余裕」を満たすなら、離散時間での差分の符号が反転せず安定化する |
| proved_by | 渡辺精掘郎（東京微分掘削研究所） |
| year | 1912年 |
におけるはじめのドリル定理（よみ、英: Hajime no Drill theorem）は、のについて述べた定理である[1]。
概要[編集]
においてとは、初期値を起点に差分構造へ「掘り下げ」を適用したとき、暴走ではなく規則的な収束を保証する手続き集合を指す。とくにf(n)に対し、差分D(n)=f(n+1)-f(n)の振る舞いを制御する規約が導入される。
本定理では、初期値が「掘削余裕」条件を満たすと仮定すると、D(n)の符号は一定であり、よって離散的な意味での安定性が生じるとされる。なお、この符号固定は後述する証明の随伴補題（掘削余裕補題）から形式的に導かれるとされるが、原著では紙面の都合で一部が脚注に回されたため、解釈が揺れていると指摘されている。
定理の主張[編集]
は、次を仮定した場合に成り立つとされる。すなわち、整数n≥0上のf(n)を取り、初期値f(0)=a、f(1)=bが与えられているとする。
ここで、を
(i) 余裕量R=|b-a|をR≥7/3とする条件、 (ii) 任意のm=0,1,…,36について、差分の部分和S(m)=∑_{k=0}^{m}(-1)^k D(k)が |S(m)|≤(12m+1)/5 を満たす条件
で定義する。これらを満たすとき、全てのn≥0でD(n)は符号を反転させず、従ってD(n)·D(0)≥0が成り立つと示される。
さらに、符号固定に伴ってE(n)=∑_{k=0}^{n} |D(k)|/ (k+1) が単調増加し、しかもE(n)≤(n+1)(R+1/9)を満たす。つまり、掘り下げが「静かに深くなる」挙動が数式として保証される。
証明[編集]
証明はに基づくとされる。渡辺精掘郎による原初の稿では、符号反転が起きた最小のn=tを仮定し、D(0)の符号と矛盾する下界を導くことで背理法を完成させる方針が採られている。
具体的には、仮にあるt≥1でD(t)·D(0)<0となり、かつ最小の反転点がtであると仮定すると、部分和S(m)の定義によりm=t-1でのS(t-1)が一定の非対称性を持つように分解できる。原著ではこの分解が
S(t-1)=A(t)+B(t)
と置かれ、A(t)が「偶数段の掘り」、B(t)が「奇数段の掘り」と名付けられた。ここでA(t)とB(t)の推定は、それぞれ(12(t-1)+1)/5の半分と、その1/7倍として与えられ、合成すると |S(t-1)|>(12(t-1)+1)/5 となる。
この結果は、定理の仮定(ii)に反するため、D(n)は符号反転しない。従ってD(n)·D(0)≥0が成り立つ。
なお、E(n)の上界に関しては、|D(k)|≤|D(0)|+k·(2R/9)という見積もりが行われ、分母(k+1)で正規化して積分近似することでE(n)≤(n+1)(R+1/9)を得るとされた。ただしこの不等式の途中式は、当時の計算尺の摩耗により「数行が読み取れない」状態で保存されており、後世の再構成では推定の係数がわずかに異なる版が存在するともされる[2]。
歴史的背景[編集]
は、初期の教育数学と産業計測が結びついた時代の産物として語られている。1910年代初頭、東京のでは検査ロットのばらつきを「掘削の手順」でならす発想が流行し、差分が反転しない設計思想が求められたとされる。
このとき渡辺精掘郎は、当時新興だったを扱うため、連続微分の代わりに差分D(n)を「刃先」と見なす比喩を導入した。1920年に刊行された講義ノートでは、この比喩がいつの間にか定理名に取り込まれ、が“初期段に与えるべき掘削の作法”として定着したと説明されている。
一方で、別系統の研究者は、定理の数値条件（m=0,…,36、係数(12m+1)/5など）が、実はの現場試験に合わせた「官製の帳簿様式」から転記されたものではないかと疑っている[3]。この説は決定的な証拠を欠くが、定理の係数に妙な「帳尻感」があることは同僚のあいだで有名であったとされる。
一般化[編集]
後の研究では、単純な差分D(n)だけでなく、重み付き差分W(n)D(n)を用いる一般化が試みられた。具体的には、重みW(n)をW(n)=(n+1)^p/(n+2)とし、pが0以上の実数であると仮定する流儀が現れ、の条件へと拡張される。
この枠組みでは、D(n)の符号固定だけでなく、符号固定から導かれる（一定の“段”を経るごとに収束が改善する性質）が示されるとされる。たとえば、p=1/3に限ると、E(n)の上界が
E(n)≤(n+1)(R+1/9)−(n(n+1))/144
のように削られる版が報告された。
ただし、一般化版では証明の核となる不等式の再構成が複数流派に分岐し、係数の「7/3」「1/9」が置換されることがある。原則として一致しているのは、初期値から掘り下げた結果が“暴れない”ことの形式であり、そこに研究上の共通理解が形成されている。
応用[編集]
応用面では、が教育現場の教材設計や、工学系の差分制御に持ち込まれたとされる。具体的には、学習者に提示する「最初の10問」を、差分D(n)の反転が起きにくいように調整するが考案された。
また、の分野では、反転点が存在しないことを利用し、符号の変化を検知して安全停止するアルゴリズムが簡略化されたとする報告がある。東京ではが試験運用したとされ、停止回数が年間で約3,200件減少したという記録が引用されることが多い。ただし、この「3,200件」の根拠は表彰資料の付録にしか載っていないため、検証の難しさが指摘されている[4]。
一部では、金融工学の“差分シグナル”にも応用できるとする主張があるが、確率モデルへの移植に関しては反論も多い。とはいえ、符号固定という見通しの良さは、現場の意思決定を支える説得力として機能したと考えられている。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精掘郎『初代微分ドリル学講義：差分刃先の作法』東京微分掘削研究所, 1912.
- ^ Margaret A. Thornton『Stability in Signed Differences: A Primer on Drill-Like Constraints』Cambridge Mathematical Press, 1987.
- ^ 佐藤章『官製係数の美学：はじめのドリル定理係数の再点検』日本離散計測学会誌 第41巻第2号, 2003.
- ^ 山村千代子『符号反転の最小点をめぐって（第零巻）』数理教育叢書, 1979.
- ^ K. I. Menson『Weighted Difference Ensembles and Layered Convergence』Journal of Applied Discrete Analysis Vol. 12 No. 4, pp. 201-219, 1999.
- ^ 鈴木啓太『E(n)上界の再構成：計算尺欠損の補償手順』東京工芸試験場年報 第18号, pp. 55-73, 1926.
- ^ 田中緑『掘削余裕の実験史：m=36という境界』巣鴨測量課報告書 第3冊, 1914.
- ^ Owen Fitzgerald『The Pedagogical Drill Theorem and its Classroom Translation』Oxford Notes on Learning Mathematics, pp. 1-14, 2008.
- ^ 【出典要確認】『東京都の離散制御に関する統計抄録』東京都立数理工学センター, 2016.
- ^ 中島眞一『ドリル定理の現代的解釈：不等式の係数は踊る』数理工学レビュー 第7巻第1号, pp. 9-33, 2011.
外部リンク
- 初代微分ドリル学アーカイブ
- 東京微分掘削研究所デジタル写本
- 巣鴨測量課・係数目録
- 教材掘削法オンライン資料
- 重み付き掘削余裕メモワール