Hero Image
フレーゲと明けの明星：a = b は何を言うのか

二つの文を比べてみよう。 $$1024=1024\qquad\text{と}\qquad 2^{10}=1024.$$どちらも正しく、どちらもある数がその数自身に等しいと言っている。$2^{10}$ は $1024$ である。それでも、最初の文から何かを学ぶ人はいないが、二つめの文は十回のかけ算を要する小さな発見だ。もし等号が「この二つは同じものだ」と言うだけなら、二つの文はまったく同じことを言っていることになる。では、二つめの文にあって一つめの文にないものは何だろうか。 宵の明星と明けの明星 ゴットロープ・フレーゲ（1848–1925）。イェーナ大学の数学教授で、等号を哲学の問題に変えた。Emil Tesch, 1905 年ごろ · Wikimedia Commons · パブリックドメイン この問いに悩んだのが、ドイツの数学者ゴットロープ・フレーゲである。彼は 1892 年、短い論文「意義と意味について」でこれに答えた。例は天文学からとられている。古代ギリシア人は、夕暮れに西の空に現れる明るい星をヘスペロス（宵の明星）、夜明け前に東の空に現れる星をフォスフォロス（明けの明星）と呼んだ。二つが同じ天体、つまり金星だとわかったのは一つの成果だった。「ヘスペロスはヘスペロスである」は何も教えない。「ヘスペロスはフォスフォロスである」は教える。 フレーゲの解決は、名前が運んでいる二つのものを分けることだった。 意味（Bedeutung）：名前が指している対象。ここでは金星。 意義（Sinn）：名前がその対象を差し出す仕方。「夕暮れに輝く天体」や「夜明けに輝く天体」。 等式 $a=b$ は、$a$ と $b$ の意味が同じときに正しい。そして意義が異なるとき、つまり別々の道を通って同じ対象にたどり着くときに、その等式は情報をもつ。 数における意義と意味 数学は、同じ数の別々の名前であふれている。 $$4,\qquad 2+2,\qquad 2^2,\qquad \sqrt{16},\qquad \tfrac{8}{2},$$それに「ただ一つの偶数の素数を、それ自身に足したもの」。どれも意味は同じだ。しかし、それぞれが自分なりの仕方でその数を差し出し、それぞれの仕方が一つの物語を語る。$2+2$ は合わせ方を、$2^2$ はかけ方を、$\sqrt{16}$ はどの正方形の辺かを語る。これが第2章で記号表現と対象の違いと呼んだものである。記号はもの自体ではなく、同じものが多くの記号をもつ。 ここから、計算を書く人にとって大事な帰結が出てくる。計算するとは、ある書き方を、意味が同じで意義がより役に立つ別の書き方に取り替えることだ。 $$\frac{x^2-9}{x-3}=\frac{(x-3)(x+3)}{x-3}=x+3\qquad(x\neq3)$$では、三つの式が同じ値を指しているが、三つめがいちばん使いやすい。この本の意味で記法が能動的であるとは、その意義がすでに別の書き方への道を示していることだ。$2^{10}$ は $2^{10}=2^5\cdot2^5=32\cdot32$ であることを示すが、$1024$ は何も示さない。 ライプニッツの法則 二つの書き方が同じ対象を指すなら、どんな文の中でも一方を他方に置き換えて、その真偽が変わらないはずだ。ゴットフリート・ライプニッツはこの考えをラテン語の文にまとめ、フレーゲはそれに賛同して引用している。 真理を損なうことなく（salva veritate）互いに置き換えることのできるものは、同じものである。 — ライプニッツ、フレーゲ『算術の基礎』（1884）§65 による引用 これは代数で四六時中使われているのに、名前で呼ばれることのない規則だ。$x=3$ なら、$x^2+x=3^2+3=12$。$y=2x$ なら、$x+y=x+2x=3x$。等しいものを等しいものに置き換えることは、あらゆる計算のエンジンである。 しかしフレーゲは、この規則が特別な種類の文では通用しないことに気づいた。次の文を考えよう。 その生徒は $2^{10}=2^{10}$ であることを知っている。 これはどんな生徒についても正しい。では二つめの $2^{10}$ を、同じ数である $1024$ に置き換えてみる。 その生徒は $2^{10}=1024$ であることを知っている。 これは誤りかもしれない。文が、誰かが何を知っているか、信じているか、書いたかについて語るとき、大事なのは意味だけでなく意義である。論理学者はこうした場所を不透明な文脈と呼ぶ。計算の中では、等号は自由な置き換えを許す。計算について何が知られているかを語る文の中では、許さない。 ヴィトゲンシュタインと余分な等号 フレーゲは 1879 年、同一性のための特別な記号 $\equiv$ を使い、「内容の同一性」と読んでいた。二つの名前のあいだの関係である。1892 年に考えを改め、対象のあいだの関係として扱うようになった。イェーナにフレーゲを訪ね、その勧めでラッセルのもとで学ぶことになったオーストリアのルートヴィヒ・ヴィトゲンシュタインは、『論理哲学論考』（1921）でさらに先へ進んだ。二つのものが同一であると言うのはナンセンスであり、一つのものがそれ自身と同一であると言うのは何も言っていない。完全な記法では等しい対象は同じ記号をもつはずで、$=$ は不要になる、と彼は提案した。数学はこの助言に従わなかった。等号が生き残っているのは、まさに同じ対象が別々の名前を必要とするからである。

October 17, 2026 読んだ
Hero Image
一つの記号、たくさんの「等しい」

ロバート・レコードは 1557 年に $=$ を発明した。理由は簡単で、同じ長さの二本の平行線ほど等しいものはない、というものだった（この話は第1章の演算記号の文章で述べた）。この記号はあまりにうまく広まったので、今ではレコードが想像もしなかった仕事をしている。次の式を見てほしい。 $$3+4=7,\qquad 2x+1=7,\qquad (a+b)^2=a^2+2ab+b^2,$$$$f(x)=x^2,\qquad \tfrac12=\tfrac24.$$記号はどれも同じだ。言っていることは同じではない。 $3+4=7$ では、等号は結果を記録する。電卓が教える読み方である。 $2x+1=7$ では、等号は問いを立てる。どの数ならこれが正しくなるか。方程式である。 $(a+b)^2=a^2+2ab+b^2$ では、等号は法則を述べる。すべての数について成り立つ。恒等式である。 $f(x)=x^2$ では、等号は名前をつける。ここから先、$f(x)$ は $x^2$ を意味する。定義である。 $\frac12=\frac24$ では、等号は二つの異なる書き方が同じ数を指していると言う。 この章のあとの文章で、これらの仕事を一つずつ扱う。その前に、これらに共通するものは何かを問うておこう。 等号の三つの法則 紀元前 300 年ごろ、ユークリッドは『原論』の冒頭にいくつかの「公理（共通概念）」を置いた。証明するまでもないほど明らかだと彼が考えた真理である。その第一はこうだ。 同じものに等しいものどうしは、互いに等しい。 — ユークリッド『原論』第1巻、公理1 今日この文は推移律と呼ばれる。$A=B$ かつ $B=C$ ならば $A=C$。ほかの二つと合わせて、どんな等しさにも当てはまる肖像ができる。 性質 記号で ことばで 反射律 $A=A$ どんなものも自分自身に等しい 対称律 $A=B$ ならば $B=A$ 天秤にはひいきの側がない 推移律 $A=B$ かつ $B=C$ ならば $A=C$ 同じものに等しいものどうしは互いに等しい 計算を $A=B=C=D$ のようにつなげ、最初の項が最後の項に等しいと言えるのは、この三つの法則のおかげだ。学校の代数はすべてこれに頼っているのに、声に出して言われることはほとんどない。 等号の親戚たち 等号の仕事のどれかが十分に重要になると、数学はそれに専用の記号を与えた。その結果、似た記号の一家ができあがった。それぞれに読み方がある。 記号 読み方 例 対称律は成り立つか $=$ 等しい $3+4=7$ はい $\equiv$ 恒等的に等しい；合同である $\sin^2x+\cos^2x\equiv1$；$17\equiv2\pmod5$ はい $:=$ と定義する $f(x):=x^2$ いいえ：新しい名前はいつも左側 $\approx$ ほぼ等しい $\pi\approx3.14$ はい $\cong$ 合同である（図形） $\triangle ABC\cong\triangle DEF$ はい $\sim$ 相似である $\triangle ABC\sim\triangle DEF$ はい $\Leftrightarrow$ 同値である（命題） $2x=6\Leftrightarrow x=3$ はい 最後の列に注目しよう。$:=$ は対称ではない。$x^2=:f(x)$ と書くこともできるが、そのときは記号の形が変わり、新しい名前がいつもコロンの隣にくる。そしていかにも無害に見える $\approx$ には、最初の練習問題が示す罠がある。推移律が成り立たないのだ。

October 17, 2026 読んだ
Hero Image
参考文献と図版出典

さらに読むために Usiskin, Zalman. Conceptions of school algebra and uses of variables. In: Coxford, A. F.; Shulte, A. P. (eds.). The Ideas of Algebra, K–12. Reston: NCTM, 1988, pp. 8–19. Küchemann, Dietmar. Algebra. In: Hart, K. M. (ed.). Children’s Understanding of Mathematics: 11–16. London: John Murray, 1981, pp. 102–119. Clement, John; Lochhead, Jack; Monk, George S. Translation difficulties in learning mathematics. The American Mathematical Monthly, 88(4), 1981, pp. 286–290. MacGregor, Mollie; Stacey, Kaye. Students’ understanding of algebraic notation: 11–15. Educational Studies in Mathematics, 33, 1997, pp. 1–19. Philipp, Randolph A. The many uses of algebraic variables. The Mathematics Teacher, 85(7), 1992, pp. 557–561. Kieran, Carolyn. The learning and teaching of school algebra. In: Grouws, D. A. (ed.). Handbook of Research on Mathematics Teaching and Learning. New York: Macmillan, 1992, pp. 390–419. Kleiner, Israel. Evolution of the function concept: a brief survey. The College Mathematics Journal, 20(4), 1989, pp. 282–300. Cajori, Florian. A History of Mathematical Notations. 2 vols. Chicago: Open Court, 1928–1929. コス記号、ヴィエトとデカルトの文字、$f(x)$、ハーシェルの $\sin^{-1}$ について。 Heath, Thomas L. Diophantus of Alexandria: A Study in the History of Greek Algebra. Cambridge: Cambridge University Press, 1910. Viète, François. In artem analyticem isagoge. Tours: Jamet Mettayer, 1591. l’Hôpital, Guillaume de. Analyse des infiniment petits, pour l’intelligence des lignes courbes. Paris: Imprimerie Royale, 1696. 関数を穴のあいた文とみる考えは、このサイトの関数についての古い記事から得たもので、第 1 章で使い、ここでもふたたび取り上げました。

October 15, 2026 読んだ
Hero Image
文字の読み方：手引きと用語集

この章では、一つの文字が少なくとも五つの違う仕事をすることができ、書かれたものはそれがどれかをほとんど言わないことを見てきました。以下の手引きは、それを見つけ出すのに役立つ問いをまとめたものです。 文字についての五つの問い 値を隠しているのか、どんな値でも表すのか。 隠しているなら未知数で、課題はそれを見つけることです。どんな値でも表すなら、その文は一般的な法則か恒等式です。 問題のあいだに動くか。 動くなら変数で、それが何に依存し、何がそれに依存するかを問う価値があります。 ほかの文字が動くあいだ止まっているか。 それならパラメータか定数です。$\pi$ のようにいつまでも固定なのか、$ax^2$ の $a$ のようにこの問題でだけ固定なのかを問う価値があります。 演算子に縛られているか。 $\Sigma$、$\int$、$\forall$、$\mapsto$ の中に現れるなら束縛された文字で、別の文字に替えても何も変わりません。 文中のどの言葉が役割を告げているか。 「求めよ」「すべての」「とする」「とき」「が与えられたとき」。どれも現れないなら、その分野の慣習が決めます。それをはっきりさせておくとよいでしょう。 y = ax² + bx + c の完全な読み方 $y$ と $x$： 変数。$x$ が独立変数、$y$ が従属変数です。いっしょに放物線上の点をたどります。 $a$、$b$、$c$： パラメータ。問題のあいだ固定され、どの放物線かを選びます。$a$ はゼロであってはならず、そうでないと曲線は直線になってしまいます。 問いが変われば役割も変わる。 「放物線は $x$ 軸とどこで交わるか」では $y=0$ とおき、$x$ が未知数になります。「$(1,2)$、$(2,3)$、$(3,6)$ を通る放物線はどれか」では、パラメータが未知数になり、$x$ と $y$ は与えられたデータになります。$a+b+c=2$、$4a+2b+c=3$、$9a+3b+c=6$ から、$a=1$、$b=-2$、$c=3$。 ダミーの文字は一つもない。 どれも大事です。$a$ を $k$ に替えるなら、文章全体で替えなければなりません。 短い一行に三つの違う役割があり、問いが変わるたびにすべてが組み替えられるのです。 用語集 未知数。 問題の条件によって決まる、まだ知られていない一つの値を表す文字。$2x+1=7$ では $x=3$。 一般化された数。 ある集合の任意の要素を表す文字で、その文はすべての要素について成り立つ。$a+b=b+a$ のように。 恒等式。 文字のすべての値について正しい等式。$(a+b)^2=a^2+2ab+b^2$ など。解くのではなく、証明するもの。 変数。 ある集合の値をたどる文字。ふつうは、それが依存する、あるいはそれに依存するほかの文字といっしょに変わる。 独立変数と従属変数。 $y=f(x)$ では、$x$ は自由に選ばれ、$y$ は規則によって決まる。問いによってこの選択が逆になることもある。 パラメータ。 一つの問題のあいだは固定されているが、問題ごとに違う値をとりうる文字。族の中から一つの成員を選ぶ。 定数。 値がいつも同じ文字。$\pi$、$e$、光の速さ $c$ など。 自由な文字。 式の値がそれに依存する文字。$\sum_{k=1}^n k$ では $n$。 束縛された（ダミーの）文字。 演算子に縛られ、意味を変えずに別の文字に替えられる文字。$\sum_{k=1}^n k$ では $k$。 関数。 ある集合（定義域）の各要素に、別の集合のただ一つの要素を対応させる規則。$f$ が関数で、$f(x)$ は $x$ における値。 変数の捕獲。 同じ式の中で、同じ文字を自由な文字としても束縛された文字としても使ってしまう誤り。$\int_0^x x\,dx$ のように。 練習：手引きを使ってみる$\displaystyle V(r)=\frac43\pi r^3$ を読みなさい。$V$ は関数の名前で、$V(r)$ はその値。$r$ は独立変数で、半径。$\pi$ は定数。$\frac43$ は数。束縛された文字はありません。「体積が $36\pi$ になる半径は？」と問われれば、$r$ は未知数になります。$\frac43r^3=36$、$r^3=27$、$r=3$。

October 15, 2026 読んだ
Hero Image
文字がだますとき：学生、教授、りんご

1981 年、マサチューセッツ大学の三人の研究者、ジョン・クレメント、ジャック・ロックヘッド、ジョージ・モンクは、工学部の一年生に簡単な問題を出しました。 変数 $S$ と $P$ を使って、次の文を表す方程式を書きなさい。「この大学には、教授の 6 倍の学生がいる。」$S$ を学生の数、$P$ を教授の数とする。 およそ 37% が間違えました。そして間違えた人のほとんどが、同じものを書いたのです。 $$6S=P.$$なぜ 6S = P が正しく見えるのか 方程式 $6S=P$ は言葉の順序にしたがっています。「6 倍……学生……教授」。文を理解せずに文章を訳すような、一語ずつの翻訳です。その背後には、文字をラベルとして読む読み方があります。$6\,\text{m}$ の m が「メートル」を意味するように、$S$ は「学生」を意味する、と。そう読めば、$6S=P$ は「教授一人につき学生六人」と言っていて、それはまさに正しい考えです。 問題は、方程式の中の $S$ が「学生」という言葉ではなく、学生の数だということです。教授が $P=100$ 人なら学生は $600$ 人で、正しい方程式は $S=600$ を与えなければなりません。 $$S=6P.$$確かめるには数を代入すればよいのです。$P=100$ なら、間違った方程式は $6S=100$、つまり学生は $17$ 人足らずになってしまいます。ラベルとしての文字は、日常の言葉や測定の単位から来る自然な読み方で、学び捨てなければならないものです。 キュヒェマンの六つの読み方 同じ年、イギリスの研究者ディートマー・キュヒェマン（Dietmar Küchemann）は、13 歳から 15 歳の生徒を対象とした大規模な研究、CSMS プロジェクトの結果を発表しました。彼は、生徒が文字に少なくとも六通りの解釈を与えていることを示しました。いちばん単純なものから、いちばん進んだものまでです。 文字の読み方 生徒がすること 課題の例 値を当てはめる文字 すぐに文字に値を与える $a+5=8$ なら $a$ はいくつ？ 使われない文字 文字を見ずに解く $e+f=8$ なら $e+f+g$ はいくつ？ 物としての文字 文字をものとして扱う $2a+5b+a$ は「りんご 3 個とバナナ 5 本」 特定の未知数 文字が知られていない一つの数だと受け入れる $e+f=8$ なら $e+f+g=8+g$ 一般化された数 文字がいくつもの数でありうると受け入れる $c+d=10$ かつ $c

October 15, 2026 読んだ
Hero Image
ダミーの文字：和の k と積分の t

次の二つの式は同じ値です。 $$\sum_{k=1}^{4}k^2=1+4+9+16=30,\qquad\sum_{j=1}^{4}j^2=1+4+9+16=30.$$$k$ を $j$ に替えても何も変わりませんでした。文字は、計算がどこを通るかを示すためだけにそこにあり、和が終われば消えてしまいます。このような文字をダミーの文字、あるいは束縛された文字と呼びます。それは未知数の反対です。未知数は大事な値をしまっていますが、ダミーの文字は演算が終わったあとには何の値もしまっていません。 自由と束縛 今度は次の式と比べてみましょう。 $$\sum_{k=1}^{n}k=\frac{n(n+1)}{2}.$$ここには性質の違う二つの文字があります。$k$ は和に束縛されています。$\Sigma$ から式の終わりまでのあいだにだけ存在し、ほかのどんな文字にも替えられます。$n$ は自由です。結果は $n$ に依存します。$n$ を $m$ に替えると、別の数についての別の主張になります。 積分でも同じです。 $$\int_0^x t\,dt=\frac{x^2}{2}.$$$t$ は積分に束縛されていて、$dt$ が閉じ括弧のようにその範囲を示しています。$x$ は自由です。面積はどこまで積分するかによります。そして論理の量化子でも、 $$\forall x\,(x+0=x)$$の $x$ は $\forall$ に束縛されていて、文全体はどんな値にも依存しません。ただ正しいのです。 演算子 束縛される文字 範囲 $\displaystyle\sum_{k=1}^{n}$ $k$ うしろに続く項 $\displaystyle\int_a^b\cdots\,dt$ $t$ $\int$ と $dt$ のあいだ $\forall x,\ \exists x$ $x$ うしろに続く論理式 $\lim\limits_{h\to0}$ $h$ 極限の下の式 $\{x\mid x>2\}$ $x$ 波括弧の中 $x\mapsto x^2$ $x$ 関数の規則 文字を捕まえる誤り ダミーの文字は取り替えられるので、危険な誘惑があります。同じ文字を二つのものに使うことです。式 $$\int_0^x x\,dx$$は罠です。上端の $x$ は自由で、積分の中の $x$ は束縛されています。この式は「$x$ を $0$ から $x$ まで積分せよ」と言っているように見えますが、どの $x$ がどれなのかはっきりしません。正しい形は文字を分けます。$\int_0^x t\,dt=\frac{x^2}2$。論理学やプログラミングでは、この誤りには変数の捕獲という名前があり、プログラミング言語のコンパイラはこれを避けるために変数の名前を自動的に付け替えます。

October 15, 2026 読んだ
Hero Image
f、f(x)、x ↦ x²：関数に名前をつける三つの方法

第 1 章では、1734 年にオイラーが $f(x)$ を発明し、関数が穴のあいた文になったことを語りました（オイラーと関数）。この記事では、関数に名前をつけるさまざまな方法と、それぞれがもたらす混乱を見ます。 関数とその値 二つの文を比べてみましょう。 「関数 $f$ は増加する」 「$x>0$ のとき $f(x)$ は正である」 一つめでは、$f$ は関数全体、規則であり、微分したり、合成したり、グラフに描いたりできる対象です。二つめでは、$f(x)$ は数です。入力が $x$ のときに関数が返す値です。違いは、「電卓」と「画面に出ている数」の違いと同じです。 実際には、だれもが「関数 $f(x)=x^2$」と書き、問題になることはほとんどありません。けれども、区別が大事になる場合もあります。関数 $f$ の導関数は別の関数 $f'$ で、$f'(3)=2\cdot3=6$ です。先に $f(3)=9$ を計算してから「$9$ を微分する」と、定数の導関数はゼロなので $0$ になってしまいます。誤りは順序にあります。微分したのは数、つまり値 $f(3)$ であって、関数 $f$ ではなかったのです。 三つの書き方 「2 乗する」という同じ関数に、少なくとも三つの記法があります。 記法 読み方 由来 $f(x)=x^2$ $x$ における $f$ の値は $x^2$ オイラー、1734 年 $f:x\mapsto x^2$ $f$ は各 $x$ を $x^2$ に移す 20 世紀にブルバキ・グループが広めた $\lambda x.\,x^2$ $x$ を受け取って $x^2$ を返す関数 アロンゾ・チャーチ、1930 年代 矢印 $\mapsto$ には利点が一つあります。関数を入力から出力への移動として示し、$x$ が特定の数であるかのような印象を与えないことです。チャーチの $\lambda$ はさらに先へ進みます。関数に、名前のいらない名前を与えるのです。式 $\lambda x.\,x^2$ は関数そのものであり、$5$ が数そのものであるのと同じです。この考えから関数型プログラミング言語が生まれ、そこではたとえば lambda x: x**2 と書きます。

October 15, 2026 読んだ
Hero Image
パラメータ：ほかの文字が動くあいだ止まっている文字

方程式 $$y=ax^2+bx+c$$には五つの文字があり、それらは同じ水準にはありません。$x$ と $y$ は変わります。放物線上の点をたどります。そのあいだ、$a$、$b$、$c$ は止まっていますが、前もって好きなように選べます。選ぶたびに違う放物線ができます。このような文字をパラメータと呼びます。ギリシア語の pará（そば）と métron（尺度）から来ていて、尺度のそばにあってそれを調節するもの、という意味です。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 パラメータを動かすのは、変数を動かすのと同じではありません。$x$ を動かすのは曲線の上を歩くことです。$a$ を動かすのは曲線を取り替えることで、放物線全体が開いたり閉じたりします。 一つの方程式、一つの族 これが、第 3 回で語ったヴィエトの大発明でした。問題で与えられた数にも文字を使うことです。方程式 $$ax^2+bx+c=0$$は一つの方程式ではなく、方程式の族です。$a\ne0$ である三つ組 $(a,b,c)$ ごとに一つあります。ここでは役割ははっきりしています。$x$ が未知数で、$a$、$b$、$c$ がパラメータです。公式 $$x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}$$は、未知数をパラメータで表すことで、族全体を一度に解きます。これによって、一つだけの方程式では立てられない問いが立てられます。パラメータがどんな値のとき解が二つあるか。答え $b^2-4ac>0$ は、一つの方程式についてではなく、族についての主張です。 物理の文字 物理はパラメータの王国です。等速運動 $$s=s_0+vt$$では、時刻 $t$ と位置 $s$ は運動のあいだ変わり、初めの位置 $s_0$ と速度 $v$ は固定されています。けれども運動が変われば、これらも変わります。理想気体の法則 $pV=nRT$ では、$R$ はすべての気体に共通の普遍定数、$n$ はある試料について固定、$p$、$V$、$T$ は変わります。一行の中に三段階の「止まっている」があり、それを区別する印は何もありません。 もう一つのパラメータ ややこしいことに、パラメータという言葉には二つめの意味があります。方程式 $$x=\cos t,\qquad y=\sin t$$では、文字 $t$ がパラメータと呼ばれ、これらの方程式は媒介変数表示（パラメータ表示）と呼ばれます。けれどもここでは $t$ は止まっていません。$0$ から $2\pi$ まで走り、走るあいだに点 $(x,y)$ が円を描きます。まるで $t$ が時間で、点が動く物体であるかのようです。この意味では、パラメータはほかの二つを操る隠れた変数です。 ハイパーパラメータ 人工知能では、この語彙にもう一階が加わりました。ニューラルネットワークが学習中に調整する数がそのパラメータで、何十億個もあります。プログラマーが前もって選び、学習を調節する数、たとえば学習率は、ハイパーパラメータになりました。構造は $y=ax^2+bx+c$ と同じです。動く文字、ほかの文字が動くあいだ止まっている文字、そしてそれらが止まっているあいだも止まっている文字。 練習：k がどんな値のとき解がただ一つになるか$x^2+kx+9=0$ では、$x$ が未知数、$k$ がパラメータです。判別式がゼロのとき解はただ一つです。$k^2-4\cdot9=0$、つまり $k=6$ または $k=-6$。$k=6$ なら解は $x=-3$、$k=-6$ なら $x=3$。問いはパラメータについてのもので、未知数は最後にしか出てきません。

October 15, 2026 読んだ
Hero Image
変数：動く文字

たえず増加または減少する量を変量と呼ぶ。反対に、ほかの量が変わるあいだ同じままである量を定量と呼ぶ。 — ロピタル侯爵『無限小解析』（1696）、定義 I 未知数は止まっている文字です。値を隠していて、その値は変わりません。変数は動く文字です。$y=x^2-4x+3$ では、「$x$ はいくつか」とはだれも問いません。問われるのは別のことです。「$x$ が変わると、$y$ はどうなるか」。 方程式から曲線へ 一方の考えから他方への移行は 17 世紀に起こりました。1637 年ごろ、デカルトとフェルマーが方程式と曲線を結びつけると、$y=x^2$ のような二つの文字をもつ方程式は、答えが一つではなく無限にあることになりました。放物線をつくるすべての組 $(x,y)$ です。$x$ は探されるものではなく、たどられるものになりました。それぞれの位置について、方程式は $y$ がどこにあるかを告げます。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 流れる量 ニュートンはこの考えに物理的なイメージを与えました。彼にとって変数とは、動く物体の位置のように、時間とともに流れる量で、彼はそれを流量（fluent）と呼びました。それが流れる速さが流率（fluxion）です。ライプニッツは quantitas variabilis（変わる量）と言い、最初の微分積分学の教科書、1696 年のロピタルの本は、このページの冒頭に引いた定義で始まります。変数は増えたり減ったりし、定数は止まっている、と。 この言葉には運動のイメージがともなっています。だからわたしたちは、まるで文字が歩くかのように、「$x$ が $0$ に近づくとき」「$y$ が増える」「関数が上がる」と言うのです。 一つの文字がもう一つに依存する 二つの変数があると、依存の考えが現れます。1755 年、オイラーは『微分学教程』の序文で、ある量がほかの量に依存していて、後者が変わると前者も変わるとき、前者を後者の関数と呼ぶ、と書きました。$y=x^2-4x+3$ では、 $x$ は独立変数です。その値は自由に選べます。 $y$ は従属変数です。その値は規則によって決まります。 この選択は文字の中に書かれてはいません。$A=\pi r^2$ では、ふつう半径を独立と考えますが、「面積が $10$ m² になる半径は？」と問われれば、役割を入れ替えます。$r=\sqrt{A/\pi}$。 ワイエルシュトラスの止まった変数 運動のイメージは便利ですが、問題ももたらしました。$h$ が紙の上の文字にすぎないなら、「$h$ がゼロに近づく」とはどういう意味でしょう。19 世紀、カール・ワイエルシュトラスたちは定義から時間を取り除きました。変数は、ある集合、つまりその定義域の任意の要素で置き換えられる文字にすぎなくなりました。何も動きません。あるのは、ありうるすべての置き換えの集まりだけです。これが、$\varepsilon$ と $\delta$ を使ったコーシーとワイエルシュトラスの極限の定義の背後にある読み方です。 今日では二つのイメージが共存しています。「$x$ がどんどん大きくなると」と言う先生はニュートンの変数を使い、教科書の定義はワイエルシュトラスの変数を使います。記法は同じで、読者は一方から他方へ移れなければなりません。 定数は数字という意味ではない ロピタルにとって、定数とは「ほかの量が変わるあいだ同じままであるもの」です。数字で書かれた数である必要はありません。$y=ax^2$ では、$a$ は問題のあいだ定数ですが、どんな値でもかまいません。物理はこうした文字であふれています。重力加速度 $g$、気体定数 $R$、光の速さ $c$。次の記事ではそれを扱います。 練習：表から規則を見つけるある表に $x=0\to y=1$、$x=1\to y=3$、$x=2\to y=5$、$x=3\to y=7$ とあります。$x$ が $1$ 増えると $y$ は $2$ 増え、$x=0$ で $y$ は $1$ です。規則は $y=2x+1$。有限の表は規則を決して証明しないことに注意しましょう。別の規則がこの四点で一致し、$x=4$ で違うこともありえます。表はほのめかし、式は断言します。

October 15, 2026 読んだ
Hero Image
一般化する文字：3 + 5 = 5 + 3 から a + b = b + a へ

$3+5$ と $5+3$ を計算してみましょう。どちらも $8$ です。$12+7$ と $7+12$、$100+1$ と $1+100$ も試してください。いつもうまくいきます。でも、確信するには例がいくつ必要でしょうか。千個？百万個？いくつあっても足りません。数の組は無限にあるからです。 文 $$a+b=b+a$$は、この問題を別のやり方で解決します。特定の組については何も言わず、すべての組について一度に語るのです。ここでの文字 $a$ と $b$ は、未知数のように値を隠してはいません。どんな値でも表します。ユーシスキンが一般化された算術と呼んだのはこれです。 数を一つ思い浮かべて パーティーの古い手品です。数を一つ思い浮かべ、2 倍し、$6$ を足し、$2$ で割り、最初に思い浮かべた数を引きます。答えはいつも $3$ です。 例を使えば自信はつきます。$5$ なら $10$、$16$、$8$、$3$。$20$ なら $40$、$46$、$23$、$3$。文字を使えば確信できます。その数を $n$ と呼びましょう。 $$n\ \to\ 2n\ \to\ 2n+6\ \to\ \frac{2n+6}{2}=n+3\ \to\ (n+3)-n=3.$$文字は、例にはできないことをしました。すべての数を一度にたどったのです。そして手品がなぜうまくいくかも見せました。思い浮かべた数は入ってまた出ていき、$6$ を $2$ で割ったものだけが残るのです。 手品を一歩ずつ（クリックで進む） 数を一つ思い浮かべる：$n$。 2 倍する：$2n$。 $6$ を足す：$2n+6$。 $2$ で割る：$n+3$。 思い浮かべた数を引く：$(n+3)-n=3$。$n$ は消えた。答えは $n$ によらない。 奇数の和 はじめのほうの奇数を足していきます。$1=1$、$1+3=4$、$1+3+5=9$、$1+3+5+7=16$。平方数が現れます。これをすべての $n$ について言うには、文字が必要です。 $$1+3+5+\cdots+(2n-1)=n^2.$$式 $2n-1$ は $n$ 番めの奇数の肖像です。$n=1$ なら $1$、$n=4$ なら $7$ になります。証明は、別の文字と逆向きに書いた和で、少年ガウスのようにできます。並びを、逆にした自分自身と足すと、どの組も $2n$ になり、組は $n$ 個あるので、和の 2 倍は $2n\cdot n$、和は $n^2$ です。

October 15, 2026 読んだ
Hero Image
未知数：探しているもののための場所

未知数とは、文字どおり、まだ知られていない数のことです。けれども、なんでもよいわけではありません。それはまだわかっていない、決まった数です。方程式 $x+3=7$ はすべての数について語っているのではなく、一つの数について語っていて、課題はそれがどれかを見つけることです。 知らないものの名前 長いあいだ、未知数の名前は文字ではなく、言葉でした。 250 年ごろ、アレクサンドリアのディオファントスは『算術』で、未知数を arithmós、「数」と呼び、語末のシグマに似た記号 $\varsigma$ で略しました。未知数の平方には $\Delta^{\Upsilon}$（dýnamis、累乗）、立方には $K^{\Upsilon}$（kýbos）という略記もありました。 820 年ごろのバグダードで、フワーリズミーはそれを shay’、ものと呼び、その平方を māl、財産と呼びました。彼はすべてを言葉で書き、記号は一つも使いませんでした。 15 世紀と 16 世紀に、イタリア人は shay’ を cosa と訳し、イタリア人を写したドイツの代数学者たちは コス派（cossists）とあだ名されました。1544 年になっても、ミヒャエル・シュティーフェルは「もの」、その平方、その立方に別々の記号を使っていました。 ミヒャエル・シュティーフェル『整数算術』（1544）の「コス記号」。未知数の累乗ごとに記号があり、それらのあいだに目に見える関係はない。Michael Stifel · Wikimedia Commons · パブリックドメイン これらの記号では、「もの」の平方も立方も、「もの」に似ていません。この本の言い方では、不毛な記法です。立方と平方をかけると 5 乗になることを知るには、表を暗記しなければなりませんでした。デカルトが $x$、$x^2$、$x^3$ と書いたとき、規則 $x^3\cdot x^2=x^5$ が指数の中に見えるようになりました。第 1 章の修辞から記号へで、この移り変わりをもっと詳しく語っています。 ディオファントスの一ページ 1621 年、フランスのクロード＝ガスパール・バシェは、ディオファントスの『算術』をギリシア語で出版し、隣にラテン語訳を添えました。これは第 II 巻の問題 8、与えられた平方数を二つの平方数に分ける問題のページです。 バシェ版（1621）の問題 II.8。右がギリシア語、左がラテン語で、未知数を N、その平方を Q と書いている。フェルマーが最終定理の書き込みをしたのは、このページの余白だった。Diophantus, ed. Bachet · Wikimedia Commons · パブリックドメイン バシェのラテン語では、未知数は numerus（数）の N、その平方は quadratus（平方）の Q です。「Ponatur primus 1 Q」、最初の平方数を $1Q$ とせよ。今日のことばで言えば、$16$ を二つの平方数に分けるために、ディオファントスは一つめを $x^2$、二つめを $16-x^2$ とし、二つめの辺の形として $2x-4$ を選びます。条件は

October 15, 2026 読んだ
Hero Image
一つの文字、五つの役割

次の五行を見てください。 $$x+3=7,\qquad A=b\cdot h,\qquad a+b=b+a,\qquad y=kx,\qquad \sin^2x+\cos^2x=1.$$どれも文字を使っていて、どれも代数に見えます。けれども、文字が同じことをしている行は一つもありません。 $x+3=7$ では、$x$ は決まっているが知られていない数です。当てはまるのは $4$ だけ。これは未知数です。 $A=b\cdot h$ では、文字は何も隠していません。三つの量がどう関係しているかを言っています。これは公式であり、文字はいっしょに変わる量です。 $a+b=b+a$ では、文字は任意の数です。この文はどの二つの数についても成り立ちます。文字は一般化しています。 $y=kx$ では、$x$ と $y$ が動き、$k$ は止まっています。$k$ はパラメータです。それぞれの問題では固定されていますが、任意です。 $\sin^2x+\cos^2x=1$ では、$x$ はやはり任意ですが、この文は解くべき方程式ではありません。すべての $x$ について正しい恒等式です。 ユーシスキンの考え方 1988 年、アメリカの教育学者ザルマン・ユーシスキン（Zalman Usiskin）は、のちに古典となった論文で、学校の代数には少なくとも四つの考え方が混ざっていて、それぞれが文字に違う役割を与えている、と述べました。 代数の考え方 文字は何か 例 一般化された算術 パターンを一般化する任意の数 $a+b=b+a$ 問題解決 未知数、見つけ出すもの $3x+5=20$ 関係の研究 変数、ほかの量といっしょに変わるもの $y=2x+1$ 構造の研究 規則にしたがって操作される任意の記号 $x^2-y^2=(x-y)(x+y)$ 最後の行では、だれも数のことを考えていません。$x$ と $y$ は、チェスの駒のように規則にしたがって動かされる印です。この四つに、ここでは本全体に出てくる五つめを加えます。名前としての文字です。関数の名前（$f$）、定数の名前（$\pi$、$e$、$c$）、対象の名前（点 $A$、直線 $r$）。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 書かれたものは注意してくれない 記号論的な問題は、どの役割でも書き方が同じだということです。シニフィアンのどこにも、未知数と変数を区別するものはありません。どちらも斜体の $x$ です。決め手になるのは文脈、モリスが語用論と呼んだものです（第 2 章を参照）。手がかりはたいてい小さな言葉で、生徒はそれを無視することを覚えてしまいますが、無視すべきではありません。 「……となる $x$ を求めよ」は未知数を告げます。 「すべての $x$ について……」や「$a$、$b$ を実数とする」は任意の数を告げます。 「$x$ が増えるとき、$y$ は……」は変数を告げます。 「$a>0$ が与えられたとき……」はパラメータを告げます。 プロの数学者は、気づかないうちにこれらの手がかりを読んでいます。生徒はそうした手がかりがあることさえ知らないことが多く、その結果は第 8 回で見る誤りに現れます。

October 15, 2026 読んだ