数学
| 分類 | 推論体系・記号技術・形式言語 |
|---|---|
| 主な対象 | 数・量・構造・変換 |
| 代表的手法 | 証明・演算・モデル化・抽象化 |
| 成立過程（通説の別解） | 交易帳簿の監査と星図制作の競技化から派生したとする見方 |
| 関連機関 | 、など |
| 主要論点 | 真偽判定の自動化と「数の公共性」 |
| 文化的役割 | 統治・工学・教育の共通語 |
数学（すうがく）は、量や形を扱うための規則的な推論体系であるとされる。古代から学術・実務双方に用いられてきたと説明され、現代では多領域を束ねる基盤として位置づけられている[1]。
概要[編集]
は、対象に対する関係を記号化し、条件を与えたときに何が成り立つかを筋道立てて導く学問であると説明される。特に、が手続きとして整備され、読み手が追跡可能な形で成立が確認される点が特徴とされている。[1]
なお、本項では通説に見える定義を保ちつつ、の生い立ちについては「監査競技」「星図通信」「公共帳簿の標準化」など、複数の起点を合成した架空の系譜を採用する。編集方針としては、起源が“それっぽい”ほど、最終的に疑ってしまう余地を残すよう調整されている。
起源と発展[編集]
帳簿の監査から生まれた「数の儀礼」[編集]
「数」は古くから存在したが、として体系化されたのは交易帳簿の監査が制度化された時期だとする説がある。いわゆるの前身機関にあたる「倉庫査定局」では、帳簿の誤差が月末に必ず噴出するとされ、査定官は同じ誤差を“同じ言い訳”で回避していたという。[2]
そこで考案されたのが、誤差を許容範囲ではなく「証明されるべき例外」に押し込める作法であった。具体的には、輸入量の換算を行う際、換算係数を一度だけ「公開分数台帳」に固定し、監査のたびに台帳の更新を停止するルールが導入された。この手順は、監査記録が散逸しないという実務的効果とともに、後に“命題”とみなされるようになったとされる。[3]
なお、同時期には「余り」を扱う儀礼も整備され、在庫がちょうど割り切れない場合には、同一の分量を“余り神札”として保管する習慣があったと記録されている（この札の保管期間が33年に延びたのは、紙の寸法が統一されたためだとする内部文書がある）。[4]
星図制作の通信規格が「数学」を競技にした[編集]
が学術として拡張した第二のきっかけは、星図制作が“通信規格”として標準化された出来事にあるとされる。中継星観測所では、夜ごとに観測が揺らぐため、同じ星座を見ても記録の角度がズレてしまい、報告書の照合ができなかったとされる。[5]
そこで、の座標表現に「差分の公理」を埋め込み、観測者が計算で補正した値だけが送信可能になる仕組みが採用された。このとき作られたのが、今でいうに相当する“補正式”の符号体系である。面白いことに、符号化のルールが交易と兼用され、角度の単位が果物の容積と同じ記号で書かれてしまった年があったという（記号の取り違えが原因で、ある年の航海が「リンゴ式補正」で計画され、港に着いたのが2日早まったとする報告がある）。[6]
また、競技化も進み、帝都学術院が主催した「第17回天文換算競技」では、出題範囲が“1夜あたり最大3回までの差分更新”と決められていたとされる。細かすぎる条件だったため、観測所側が事前に練習計算を配布するようになり、そこで生まれた講義ノートが後の体系書の原型になったと推定されている。[7]
公共帳簿の標準化と、突然の「証明税」[編集]
第三の転機は、地方自治が進んだことで公共帳簿の仕様が統一される必要が生じた点にあるとされる。ここで問題になったのは、計算のやり方が地域ごとに違い、同じ請求でも“合法”と判定されるかどうかが変わってしまうことであった。[8]
このため、の前身となる「帳簿整合監査庁」（当時の所在地はの臨時庁舎だったとされる）では、証明書式を規格化し、証明が必要な手続きには「証明税」を課した。証明税は文字通り税金で、証明を添付すると免除されるという“逆インセンティブ”設計だったため、税の徴収担当が証明の書式まで理解しなければならなくなり、結果として数学講座が官学に組み込まれていった。[9]
ただし、この制度が万能だったわけではない。免除の条件が「書式通りなら正しい」と誤解され、誤った命題が“正しい証明”として申請される事故が起きたとされる。ある事件では、申請者が数の列を見た目で整えることに熱中し、実際には約束された前提（整合性条件）を一つ抜かしたまま審査を通したという。審査官は後に『形式は公共の言語であり、公共の言語は検算を要求する』と述べたとされる。[10]
方法論：数学は“読む”ことで成立する[編集]
は単に計算する学問ではなく、証明を“読む”ことによって納得が成立する技法だとされる。帳簿の監査起源の名残として、証明は監査で再現できる形に整えられ、どこで前提が使われたかを明示する作法が発達した。[11]
また、競技化の影響で、解法には採点基準がつきまとった。たとえば「差分更新」の競技では、解答者の計算手順が短いほど評価される一方、最後に置く“検算札”の数だけが減点対象だったという。検算札が0枚だと、正解でも“再監査に耐えない”として不合格になるルールがあったとされる。[12]
さらに、公共帳簿の標準化が進むにつれ、は読み手の負担を減らす方向で設計された。結果として、記号の読み方が方言化し、地方ごとに“同じ記号でも違う意味で読む”事故が起きた。これに対処するため、は「1記号につき1意味」を宣言したが、その宣言が“例外付きで適用される”条項だったために、例外の範囲が議論され続けたという。ある資料では例外が「冬季の燃料計算」だけだと断定されているが、別資料では「祭礼日の割引計算」まで含むとされている。[13]
社会的影響[編集]
は統治・工学・教育の共通語として浸透し、特に公共事業の積算で不可欠になった。標準化された証明書式は、役所の監査担当が“見ればわかる”形で検算できるよう設計されたため、土木の入札において「計算根拠の添付」が常態化したとされる。[14]
一方で、数学的思考は学校制度へも移植された。初等教育では、数の問題が“正解を当てる遊び”として教えられるのではなく、「証明札を何枚持ってくるか」を競う形式に変えられた時期があった。記録によれば、明治期の模擬監査教室では、1週間あたりの検算札提出数が平均で2.7枚であったという報告が残っている。[15]
産業面では、としての数学が技術移転を助けた。星図通信で育った符号化の発想は、後に工場の設備保守でも使われ、「設備の状態を差分で送る」方式が広まったとされる。もっとも、差分の符号が果物容積の記号と似ていた時期があり、ある地方工場では保守報告が“出荷カートの更新”として誤解され、修理が数日遅れたという笑えない事故があったとされる。[16]
こうしては社会のいたるところに配置されたが、その配置は必ずしも平等ではなかった。証明税の免除を得るには“証明書式に慣れた人材”が必要であり、結果として教育機会が偏るという反動も生じたとされる。これが後の制度改革の議論につながった、とする指摘がある。[17]
批判と論争[編集]
の発展には批判も伴った。特に「形式が公共性を奪うのではないか」という論点が繰り返し取り上げられた。証明税の運用が進むほど、実質よりも書式が評価されるようになり、形式だけを整えて実体を空洞化させる行為が問題視されたのである。[18]
また、競技化の影響で“速さ”が過大評価されたという批判もある。差分更新競技では短い手順が評価された結果、丁寧な前提確認が後回しになり、数列の一箇所で前提が崩れる事故が複数回起きたとされる。とくに「第19回天文換算競技」では、全提出のうち不合格が12.3%であったにもかかわらず、再試験の平均合格率が102%になった（平均合格率が100%を超えること自体が統計の誤りではないか、と後日指摘された）という、統計担当者の独白が引用されることがある。[19]
さらに、記号の方言化の件が再燃した。帝都学術院の「1記号につき1意味」宣言は、実際には“1記号につき1意味（冬季の例外は除く）”という抜け道を許していたとする説が有力だとされる。ここから、数学が人々を救う言語ではなく、人々を分類するための装置になっているのではないか、という倫理的な問いが提起された。[20]
脚注[編集]
関連項目[編集]
脚注
- ^ 澤田ユリ『証明税と公共帳簿の規格化』帳簿監査庁出版局, 1968.
- ^ Margaret A. Thornton『Astral Encoding and the Birth of Formal Proof』Cambridge Ledger Press, 1974.
- ^ 佐伯恒久『星図競技史：差分更新の文化』帝都学術院紀要編集部, 1981.
- ^ Klaus Richter『Symbols, Dialects, and Error Exceptions』Journal of Administrative Mathematics, Vol. 12, No. 3, 1999, pp. 41-73.
- ^ 田中織絵『倉庫査定局の論理習慣』国立倉庫学叢書, 2005.
- ^ 李明洙『差分補正式の符号表と航海の誤差』東アジア航路数理研究所, 2010.
- ^ 「帝都学術院文書集（冬季例外条項）」帝都学術院図書室, 1932.
- ^ 根岸啓吾『検算札：教育制度としての数学』教育計算研究会, 2016.
- ^ J. P. Albright『Formality vs. Meaning in Proof Economies』Oxford Proof Studies, Vol. 8, No. 1, 2020, pp. 1-22.
- ^ 村瀬真澄『数学はいつから“読むもの”になったか』文理協同出版, 1992（題名は微妙に誤記とされる）.
外部リンク
- 公開分数台帳アーカイブ
- 天文換算競技記録館
- 証明税レジストリ
- 差分符号サンプル倉庫
- 帝都学術院文書検索ポータル