AI-NATIVEシリーズ · 数学の両極・第1回（全1回）· 20歳編

離散と連続——数学の両極と、その交わる瞬間

執筆 Paul Jialiang Wu · agentic-portfolio-lovat.vercel.app · 2026-10-15 · 読了目安21分

離散数学と連続数学はどこが違い、どんなとき・どうやって・なぜ互いに行き来するのか？

ここでは「数字の書き方」自体は扱わない。それはNumber vs Representation (age 20)で語っている。このエッセイは自然数と実数直線に焦点を当て、複素解析は「橋」として名前だけ出し、詳しくは踏み込まない。

このエッセイのテーマ：離散数学と連続数学

ここで扱うのは「離散」と「連続」、数学の両端だ。離散数学は、まとまりごとに数えられるもの――自然数、グラフ、文字列、ステップ――を扱う。連続数学は、途切れのないもの――長さ、時間、温度、実数直線――を測る。対象は、プログラムを書き、数学を学び、機械学習で何かを作る20歳前後の読者。演習にはPythonが動くノートPCと20分があれば十分だ。

違いだけではなく、いつ・どうやって・なぜ両端が行き来するのかが本題だ。数学はこの両端を行き来し続け、現代の工学の多くはその「切り替え」の上に成り立っている。本稿では4つの「切り替え」に名前を付け、それぞれに、きっかけとなる状況・使う技法・動機（なぜそうするか）を整理する。動機は3つに分かれる：真理（証明）、愛（誰かの役に立つ）、美（多くのケースを一つにまとめる）。

このエッセイ自体が一つの試験でもある。本稿はplaybook-mathという手法で書かれており、これはシリーズNumbers at Four Agesのために作ったものだ。この手法が新しいテーマにも通用するかを試している。実際に動かせる仕掛けとして作ったのがTwo Ends Playgroundで、両端の行き来を3つのデモで体験できる無料ページになっている。

このエッセイを貫くイメージは、キッチンの脚立の最上段から見下ろす「全国の食品サプライチェーン」だ。卵は離散的で、数えて扱い、誰も半分の卵は出荷しない。小麦粉は連続的で、重さで測り、何グラムでもありうる。全国チェーンは毎朝、両方を同時に計画しなければならず、4つの「切り替え」すべてがその計画室に顔を出す。

アクティビティ1 · 滑る距離を数える（続きを読む前に自分で考えてほしい）

二つの極と、その間を分かつもの

この分かれ目は古くから知られている。アリストテレスは量についての議論をこう始めている：「Quantity is either discrete or continuous."（訳：量は離散的か連続的かのいずれかである。）" (Aristotle, Categories, Part 6, tr. E. M. Edghill）。彼の区別は明快だ。離散量では、部分同士が境界を共有しない。彼の例では「two fives make ten, but the two fives have no common boundary, but are separate"（訳：5が2つで10になるが、その2つの5は共通の境界を持たず、別々である。）」。一方、線分は接する部分からできている。

まず「離散的」という言葉をこのエッセイでどう使うかを明確にしておく。ここでの「離散的」は、自然数のように分かれた、数えられる単位から成るものを指す。分数もまた数えられるが、どんな2つの間にも必ずもう1つあるほど密集しているだけだ。「連続的」とは、隙間のない線分のことを意味する。

長い歴史の中で、謎とされてきたのはむしろ連続の側だった。ゼノンの運動の逆説（二分法、アキレスと亀、矢と競技場, Huggett, Stanford Encyclopedia of Philosophy, Zeno's Paradoxes）は、線分がどこまでも分割できるという考えに挑んだ。分数はどんな2つの間にももう1つあるので、線分を埋め尽くしているように見えたが、それでも穴が残る。Dedekindは有理数について「a gappiness, incompleteness, discontinuity"（訳：隙間、不完全性、不連続性）" (Bell, Stanford Encyclopedia of Philosophy, Continuity and Infinitesimals (quoting Dedekind 1872)）と呼んだ。1872彼は数えられる分数だけを使ってその穴を埋めた。すなわち、各実数を「分数を左と右の山に分ける切り方」で定義した（MacTutor, Richard Dedekind）。連続体は、可算な断片から組み上げられた。

さらにCantorは、この二つの世界がそもそも同じ「大きさ」すら持たないことを明らかにした。1874 彼は、実数は一つずつ順番に並べることができないが、自然数や分数はできることを証明した（MacTutor, Georg Cantor）。彼の有名な対角線論法はその後に登場する（1891 (Wikipedia, Cantor's diagonal argument）。つまり、直線上の点は、どんなに名前を並べても足りないほど多いということだ。この構成に納得しない者もいた。WeylのDas Kontinuum (1918）は、それ抜きで解析学を立て直そうとした（Stanford Encyclopedia of Philosophy, Hermann Weyl).

両端それぞれに、独自の道具箱がある。離散数学はΣで総和をとり、Δで差分をとり、帰納法で証明し、場合分けを正確に数える。連続数学は∫で積分し、d/dxで微分し、近似や極限を使って証明する。この二つの道具箱は、多くの講義が思っている以上に互いを映し合っている。「The finite difference is the discrete analog of the derivative.（訳：有限差分は導関数の離散的アナロジーである。）" (Weisstein, MathWorld, Finite Difference」。ΣはΔを、ちょうど∫がd/dxを打ち消すのと同じように打ち消す。Graham、Knuth、Patashnikはこの対称性に一冊丸ごと本を書き、そのタイトルにもそれを込めた。「Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics.（訳：Concrete Mathematicsは連続（CONtinuous）と離散（disCRETE）数学の融合である。）" (Graham, Knuth & Patashnik, Concrete Mathematics, publisher description (InformIT)).

アクティビティ2：階段を描く

四つの切り替え

数学はどちらか一方にとどまるものではなく、両端を行き来しながら回っている。それぞれの切り替えには、きっかけとなる状況、使う技法、そして背後にある動機がある。図の矢印は、その切り替えが結果を届ける先を示している。極限は滑らかな式を生み（1つ目）、解析は整数についての事実を導き（2つ目）、サンプリングは機械が扱える数値を作り（3つ目）、リラクゼーションは連続側で解いてから整数に戻す（4つ目、往復）。

切り替え1・数える→測る：極小のステップがたくさんあるとき

状況： 膨大な数の小さなパーツから成る離散的な問題。

技法： パーツをどんどん細かくして極限をとる。和が積分になり、ヒストグラムが曲線になる。

例：

• スターリングの公式（1730, MacTutor, James Stirling）は n! を滑らかな式 √(2πn)(n/e)ⁿ で近似する。n = 10 でもう近似値は10!より0.83%低いだけだ（計算値）。
• また、1733 ド・モアブルはコインを多数回投げたときの表の数がベルカーブに従うことを示した（MacTutor, Abraham de Moivre).
• さらに、1837 ポアソン分布は希な事象が多数起こる極限として現れる（MacTutor, Simeon Poisson).

「Two Ends Playground」パート2ではコインの例が見られる。100回投げて表が50回出る確率は正確に0.079589、ベルカーブの高さは0.079788（計算値）。

ここでの原動力は、美である。 たった一本の曲線が、百万通りの個別ケースすべてを一挙に包み込む。キッチンの計画担当は、もはや一人ひとりの注文を逐一予測するのではなく、全国全体の需要をなめらかな曲線でまとめて捉えるようになる。

第2の回転 · 測ることで数える：カウントだけでは手に負えないとき

きっかけとなる状況： カウントだけでは突破できない整数の問いがあるとき。

使う技法： 離散的な数列を連続関数で包み、その関数に微積分をかける。Wilfのたとえが見事だ：「A generating function is a clothesline on which we hang up a sequence of numbers for display."（訳：母関数とは、数列を吊るして見せるための物干しロープである。）" (Wilf, generatingfunctionology).

代表例は素数だ。これは数学で最も離散的な存在である。

• ここで1859 Riemannはゼータ関数を使って素数に挑んだ。ゼータ関数を複素変数の関数として扱った（Riemann, On the Number of Primes Less Than a Given Magnitude, tr. D. R. Wilkins).
• 素数定理（x以下の素数はおよそx / ln x個）は、1896Hadamardとde la Vallée Poussinによって、それぞれ独立に、まさにその連続的な道具立てで証明された（Weisstein, MathWorld, Prime Number Theorem).
• Eulerの1/n²の和がπ²/6になる、つまり円周率が整数の和に現れる（原典：1735, Euler Archive, E41 De summis serierum reciprocarum).

ここでの原動力は真理である。 連続側の手法が、離散側では長らく証明できなかった事実に到達した。ただし、それが唯一の道ではなかった。やがて、1949 SelbergとErdősが、複素解析を一切使わない素数定理の証明を発見した（MacTutor, Atle Selberg）。この方法が最初にたどり着いたが、それだけが道ではなかった。

3つ目の回り道・数えることが測ることに仕えるとき：機械や人が現実に手を動かす必要がある場面

きっかけ： 誰かが有限の装置――コンピュータ、センサー、手――で相手をしなければならない連続的な世界。

やり方： サンプリングする、細かく区切る、あるいは有限個の数に丸める。

例：

• Shannonのサンプリング定理（1949）は、どこまで情報を失わずに済むかを教えてくれる：「If a function f(t) contains no frequencies higher than W cps, it is completely determined by giving its ordinates at a series of points spaced 1/2W seconds apart」（訳：関数f(t)がWヘルツより高い周波数を含まなければ、1/2W秒ごとに並んだ点での値を与えるだけで完全に決まる）" (Shannon (1949), Communication in the Presence of Noise, Proc. IRE 37(1)）。だから曲がファイルとして保存できる。
• 高速フーリエ変換（1965, Cooley & Tukey (1965), Math. Comp. 19(90), Crossref record）によって、離散的な周波数解析がどこでも安価に実行できるようになった。
• 有限要素法はCourantが数値的に初めて使ったもので（1943 (MacTutor, Richard Courant）、橋や翼を小さなパーツに分割し、機械が解ける形にする。
• 浮動小数点（IEEE 754-2019, IEEE Standards Association, IEEE 754-2019）は、すべてのコンピュータに実数直線の代わりとなる有限個の数のメニューを与えている。

その下の機械は本質的に離散的だ：チューリングマシンのテープは「正確に一つの記号」が各マスに書かれる（Stanford Encyclopedia of Philosophy, Turing Machines).

ここでの動機は愛、つまり誰かの役に立つことだ：技術者、リスナー、スキャナーの患者。キッチンでサーモスタットはオーブンの温度を連続的に読み続けることはできない。1秒間に数回だけ温度を測り、それでパンはちゃんと焼き上がる。

自然界が離散側で答えを出すこともある。Planckがエネルギーを整数個の量子として導入したのは1900年12月14日 (MacTutor, Max Planck）。空間や時間が本質的に粒状なのかどうかは、今も決着していない。

第4の回り道・測る側から数える側へ：選択肢が膨大すぎるとき

状況：選択肢が多すぎて一つずつ試すのが現実的でない離散的な問題。

やり方：選択肢を連続的なものだと見なして、なめらかな問題として解き、最後に整数に丸め直す。最適化ではこれが線形計画緩和で、0か1かの変数を0から1までの連続値に広げる。その代償がintegrality gap、つまり最良の整数解と連続解の最悪比である（Wikipedia, Linear programming relaxation).

キッチン（これは例であって実際の計画ではない）では、チェーンの最適化担当者が1店舗あたり2.7個の卵を計画する。2.7個の卵を注文した人はいないが、最適化担当者は毎朝そう計算し、最後に丸める。

機械学習でもこの回り道は日常茶飯事だ：

• Gumbel-softmaxトリックは、離散的な選択の代わりに連続的な代理変数を通して勾配を流す。この手法は2016年の同じ週に2つのグループが独立に発見した（Jang, Gu & Poole (2016), Categorical Reparameterization with Gumbel-Softmax、arXiv 1611.01144; Maddison, Mnih & Teh (2016), The Concrete Distribution、arXiv 1611.00712).
• 量子化対応トレーニングでは、学習中に8ビット整数への丸めを模擬する（これもこの回：離散的な問題をなめらかな問題として扱う）。こうして重みや活性化は、後で整数演算だけで動かせるようになる（Jacob et al. (2017), Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference、arXiv 1712.05877）。それを実際にそのハードウェアで動かすのが3番目の回だ。

ここでの動機は「愛」、そして可能な限り「真理」も加わる。LP緩和では、なめらかな問題が実用的な解と「どれだけ離れているか」の証明可能な上限を与えてくれる。一方、Gumbel-softmaxにはそのような保証はない。勾配は温度パラメータで調整されたバイアス付き推定値であり、エンジニアは速度を優先してそれを受け入れる。

これは一方通行ではなく、ぐるりと回る円環だ

4つの回は、単なる別々の小技ではない。現場の仕事はこの円を何度も巡る。

言語モデルの流れを例にとろう：

1. 単語は離散的なトークンだ。
2. トレーニングではそれらを連続ベクトルに持ち上げ、重みを勾配で調整する。これが4番目の回、離散的な問題をなめらかに緩和する動きだ。一部のパイプラインでは学習中に整数丸めも模擬するが、これも4番目の回にあたる。
3. 多くのデプロイ済みモデルは、その後8ビットなどの低精度整数でサービング用ハードウェア上で動く。これが3番目の回、再び「有限な機械で動かす」側に戻る。（16ビット浮動小数点で動くモデルも多いが、いずれにせよ最後は有限個の離散値に落ち着く。）
4. 出力は1トークンずつ離散的にサンプリングされる。

離散→連続→離散——あなたが読む1つの答えごとに、円環を一周している。

橋のシミュレーションの場合：

1. 物理法則は連続だ。
2. エンジニアは橋を有限要素、つまり離散的なメッシュ（3番目の回）に分割する。
3. さらにそのメッシュを細かくし続け、ピースが小さくなるほど答えが収束するかを確かめる（1番目の回＝極限）。

最終的な数値への信頼は、この円環を一周して「確かに成り立つ」と確認した経験から生まれる。

この同じ円環が、3つの動機が実際にどう働くかも説明してくれる：

• 美と真理は、問題を「全体像が見える側」や「証明できる側」へと引き寄せる。
• 愛は、それを使う人が実際に使える側へと引き寄せる。3番目なら機械の有限なメニュー、4番目なら解ける連続的な問題だ。

アクティビティ3 · コードでヒンジの動きを観察しよう

import math
g = 0.5772156649015329   # Euler-Mascheroni constant
for n in (10, 100, 1000, 10**6):
    H = math.fsum(1/k for k in range(1, n+1))
    print(n, H - (math.log(n) + g), 1/(2*n))
n = 100   # coin flips: exact count vs bell curve
exact = sum(math.comb(n, k) for k in range(56)) / 2**n
Phi = lambda z: 0.5*(1 + math.erf(z/math.sqrt(2)))
print(exact, Phi((55.5 - 50)/5))

ここでγはオイラー＝マスケローニ定数（0.5772…）であり、1 + 1/2 + … + 1/n の和が長期的に ln n より常にこれだけ上にあることを示す。この差は 0.0492、0.00499、0.000500、0.000000500 と続く。毎回ほぼ 1/(2n) になる（計算済み）。コインの例では、100回投げて55回以下が出る確率を、厳密なカウント（0.864373）と、ベルカーブに半ステップの連続性補正を加えた近似（0.864334）で計算している。これが両端をつなぐ蝶番、すなわち和と積分が項ごとにどう違うかを正確に示すオイラー＝マクローリン公式である。オイラーとマクローリンはこれを独立に発見した、1735年ごろ (Wikipedia, Euler-Maclaurin formula）。残りの 1/(2n) が次の項となる。Kronecker はこう言ったと伝えられている「God created the integers, all else is the work of man."（訳：神は整数を創り、その他すべては人間の仕事である。）" (MacTutor, Leopold Kronecker (an attributed remark, reported second-hand)）。この蝶番は、両端がその論争よりもずっと近いことを示している。

真理・愛・美：なぜ数学者はこの回転を使うのか

この四つの回り道は単なるテクニックではない。それぞれに理由があり、その動機は三つに分かれる。

• 真理： 回り道は何かを証明する。2つ目が最も典型的で、曲線が素数の分布に初めて証明を与えた。4つ目はLPリラクゼーションのとき、丸めた答えがどれだけズレているかの保証（バウンド）を与える。
• 愛： 回り道は誰かの役に立つ。3つ目は人が音楽ファイルや安全な橋、動くスキャナーを必要とするから生まれた。4つ目はプランナーが明日の卵の発注を今夜必要とするから生まれた。
• 美： 回り道は多くのケースを一つにまとめる。1つ目は100万回のコイントスを一つの曲線に置き換える。蝶番は和の表全体を ln n + γ + 1/(2n) に圧縮する。Hardy はこれを数学全体の基準にした：「Beauty is the first test: there is no permanent place in the world for ugly mathematics."（訳：美が第一の試金石であり、醜い数学にはこの世に永続する居場所はない。）" (Hardy (1940), A Mathematician's Apology).

どれか一つの動機だけでは、必ずどこかで破綻する：

• 真理だけで愛がない場合 誰も計算できない「存在証明」だけが残る。最適な卵の発注計画が「存在する」ことは証明できても、それでは明日の朝誰も食べられない。
• 愛だけで真理がない場合 チェックされていない答えを信じてしまう。オプティマイザーが2.7個の卵を各店舗に割り当て、それを何も考えず3個に丸めると、計画より11%多く卵が出荷される（計算：3 ÷ 2.7）。各店舗には親切だが、倉庫の床はオムレツで埋まる。
• 美だけで真理がない場合 見事な議論だが、まだ証明にはなっていない。Eulerがπ²/6を初めて導いたとき（書簡1735）は、誰にも正当化できない手順を踏んでいた。彼自身が納得した証明が現れたのは1741 (Wikipedia、バーゼル問題）。答え自体は正しかったが、美しさが真理より先に姿を現した。

ここから先は、私自身の見方であることを明記しておく。私は「真理・愛・美」は一つのリアリティの三つの側面であり、私の信仰ではそれが一つの人格に宿ると考えている。ただし、このチェックリストを使うのに信仰は不要だ。もっとも、数学が世界にぴたりと合うことについて、Wignerが指摘した不思議さにあなたも気づくかもしれない。彼はそれを「a wonderful gift which we neither understand nor deserve（訳：私たちには理解も値しもしない、素晴らしい贈り物）" (Wigner（1960）、The Unreasonable Effectiveness of Mathematics in the Natural Sciences, Comm. Pure Appl. Math. 13(1)).

数には二つの姿があるのか

本稿で検証したシリーズは「身体レンズ」を使っている：

• ものを一つにまとめる“霊”、
• 骨・肉・皮膚という層、
• 二つの姿――粒子のような離散と、流れや波のような連続。

本稿はその最後の行を掘り下げたものだ。このレンズでは、二つの姿は各層を貫く軸であり、それ自体が層ではないと考える。四つの“行き来”がそれを裏付ける：形は変わっても、扱う対象（素数の個数、音、卵の注文）は同じままだ。

ただしこのレンズも、物理学が未解決の領域では破綻する。Planckの量子はエネルギーを粒立たせたが、量子論はいまだに滑らかな波を使い、空間が本質的に粒状かどうかは分かっていない。数学はどちらか一方に決める必要がない。必要に応じて両方の姿を持ち、自在に行き来できる。

同じ発想を四つの年齢で

playbookでは、どの年齢でも変わらず通用する一つのアイデアが求められる。ここではそれを四つのスケールで示す。最後のものだけ全文を載せる。

同じ物語、出口は五通り

半分だけ正しい思い込み

• 「コンピュータは実数で動作する。」 コンピュータは、実数直線そのものではなく、限られた有理数のメニューを使って動いている。この直感はかなり正しい。なぜなら、そのメニューは驚くほど優秀だからだ。ただし、実際の実数のほとんどはそこには載っていない。
• 「微積分は最初から厳密だった。」 実際には、証明よりもずっと前から手法だけは機能していた。Dedekind の連続体が登場したのは 1872、Leibniz からほぼ2世紀も後のことだ。
• 「離散数学はコンピュータの世界、連続数学は物理の世界。」 ここで挙げたどの切り替えも、その境界をまたいでいる。素数はまず微積分で手なずけられ、物理は量子を見つけた。

さあ、今度は自分が教える番だ

なぜこれが大事か：5つの「なぜ」

現場でよくあるのは、学生が離散数学と微積分をまったく別の科目として学び、和が積分に寄り添ったり、曲線が素数の事実を証明したりする場面で驚くことだ。

1. なぜそんなに驚くのか？ 彼らは「切り替え」を一度も見ていないからだ。どちらの科目も一方の端にとどまり、橋渡しは偶然の一致のように見えてしまう。だが実際は、de Moivre（1733 (MacTutor, Abraham de Moivre).
2. なぜ科目ごとに端にとどまるのか？ 学科やカリキュラムが話題ごとに分断されているからだ。組合せ論はこちら、解析はあちら。Δ/Σとd/dx/∫の「鏡合わせ」の関係は、どちらの領域にも属さない（Weisstein, MathWorld, Finite Difference).
3. なぜその「鏡合わせ」が要なのか？ なぜなら、切り替えはその上で起こるからだ。Euler–Maclaurin、Stirling、生成関数はすべて、その橋を渡るための道具である（Wilf, generatingfunctionology).
4. なぜ橋渡しが現場のエンジニアに効いてくるのか？ 彼らの使うツールは、まさにこの切り替えの上に成り立っている。たとえばサンプリング音声（Shannon (1949), Communication in the Presence of Noise, Proc. IRE 37(1)）、リラックス化オプティマイザー（Wikipedia, 線形計画法のリラックス化）、量子化モデル（Jacob et al. (2017), Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference）。自分が今どの切り替えにいるかを知らないと、エイリアシングや整数性ギャップ、丸め誤差といった落とし穴が見えなくなる。
5. 根本原因： これらの切り替えが単なる小技として教えられ、全体の地図としては示されていない。修正はこのエッセイの枠組みだ。どんなツールでも、「どの切り替えか」「どんな条件で起きるか」「使う技法は何か」「動機は何か」を一行で書き出せば、どこに注意すべきかが分かる。

実践編：今週やること

1. 「教えるつもりで読む」ための一文を読む。
2. 滑る動作を数える（アクティビティ1、3分）。
3. 4つの長方形で階段を描き、そのあとTwo Ends Playground でスライダーを100まで動かす（10分）。
4. ヒンジのコードを実行し、パート3と見比べる（5分）。
5. 自分が使っているツール（音声フォーマット、ソルバー、量子化モデルなど）を一つ選び、「どの切り替えか・条件・技法・動機・想定される失敗」を一行でまとめる。
6. 15歳の子に「階段から滑り台へ」の話を教える。

フィードバック：できたかどうかの目安

ノートなしで次の3つができる：

1. 4つの切り替えと、それぞれの具体例を挙げられる。
2. 1 + 1/2 + … + 1/n と ln n + γ の差（おおよそ1/(2n)）を予測できる。
3. 自分の使うツールについて、その切り替えが生む失敗モードを挙げられる。

これで測れないもの：本番のコードベースで、咄嗟に切り替えを見抜けるかどうか。実践編ステップ5の一行メモが、その習慣になる。

フィードフォワード：今のうちに決めておくトリップワイヤ

• 信号をサンプリングするなら、まずその最高周波数を書き留めておくべきだ。 サンプリング定理は「それ以上の周波数は存在しない」という仮定の上に成り立つ。現実の信号には、サンプリング前にフィルターが必要になる。
• 緩和した解を丸めるなら、その差分（ギャップ）も必ず報告すること。 境界（誤差）のない答えは、真理なき愛にすぎない。
• 議論がどれほど美しくても、手順が検証されていなければ、それが確認されるまでは「仮説」と呼ぶべきだ。 オイラーの1735 議論がそのことを思い出させる。

5S自己評価

参考文献

1. Aristotle.Categories 第6部、E. M. Edghill訳。classics.mit.edu
2. Huggett, N. "Zeno's Paradoxes."Stanford Encyclopedia of Philosophy. plato.stanford.edu
3. Bell, J. L. "Continuity and Infinitesimals."Stanford Encyclopedia of Philosophy. plato.stanford.edu
4. O'Connor, J. J. & Robertson, E. F.「Richard Dedekind」MacTutor.mathshistory.st-andrews.ac.uk
5. O'Connor, J. J. & Robertson, E. F.「Georg Cantor」MacTutor.mathshistory.st-andrews.ac.uk
6. 「Cantor's diagonal argument." Wikipedia. en.wikipedia.org
7. 「Hermann Weyl." Stanford Encyclopedia of Philosophy. plato.stanford.edu
8. O'Connor, J. J. & Robertson, E. F.「The rise of calculus." MacTutor. mathshistory.st-andrews.ac.uk
9. O'Connor, J. J. & Robertson, E. F.「Bernhard Riemann." MacTutor. mathshistory.st-andrews.ac.uk
10. Weisstein, E. W.「Finite Difference." MathWorld. mathworld.wolfram.com
11. Graham, R. L., Knuth, D. E. & Patashnik, O. Concrete Mathematics, publisher description. informit.com
12. O'Connor, J. J. & Robertson, E. F.「James Stirling." MacTutor. mathshistory.st-andrews.ac.uk
13. O'Connor, J. J. & Robertson, E. F.「Abraham de Moivre." MacTutor. mathshistory.st-andrews.ac.uk
14. O'Connor, J. J. & Robertson, E. F.「Siméon Poisson." MacTutor. mathshistory.st-andrews.ac.uk
15. Riemann, B. (1859). On the Number of Primes Less Than a Given Magnitude, tr. D. R. Wilkins. maths.tcd.ie
16. Weisstein, E. W.「Prime Number Theorem." MathWorld. mathworld.wolfram.com
17. Euler, L. E41,「De summis serierum reciprocarum.」Euler Archive. scholarlycommons.pacific.edu
18. 「バーゼル問題（Basel problem）。」Wikipedia. en.wikipedia.org
19. Wilf, H. S. generatingfunctionology. math.upenn.edu
20. Shannon, C. E. (1949). Communication in the presence of noise. Proc. IRE 37(1). PDF
21. Cooley, J. W. & Tukey, J. W. (1965). An algorithm for the machine calculation of complex Fourier series. Math. Comp. 19(90). Crossref
22. O'Connor, J. J. & Robertson, E. F.「Richard Courant.」MacTutor. mathshistory.st-andrews.ac.uk
23. IEEE 754-2019, Standard for Floating-Point Arithmetic. standards.ieee.org
24. O'Connor, J. J. & Robertson, E. F.「Max Planck.」MacTutor. mathshistory.st-andrews.ac.uk
25. 「チューリングマシン（Turing Machines）。」Stanford Encyclopedia of Philosophy. plato.stanford.edu
26. 「線形計画緩和（Linear programming relaxation）。」Wikipedia. en.wikipedia.org
27. Jang, E., Gu, S. & Poole, B. (2016). Categorical Reparameterization with Gumbel-Softmax. arXiv:1611.01144
28. Maddison, C. J., Mnih, A. & Teh, Y. W. (2016). The Concrete Distribution. arXiv:1611.00712
29. Jacob, B. ほか (2017). Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. arXiv:1712.05877
30. Hardy, G. H. (1940). A Mathematician's Apology. archive.org
31. O'Connor, J. J. & Robertson, E. F.「Leopold Kronecker」MacTutor. mathshistory.st-andrews.ac.uk
32. Wigner, E. P. (1960). The Unreasonable Effectiveness of Mathematics in the Natural Sciences. Comm. Pure Appl. Math. 13(1). PDF
33. Kobayashi, K. (2024). Interactive learning effects of preparing to teach and teaching. Educational Psychology Review. ERIC EJ1414484

関連記事