From f1f76c1ceb4fab785656b31401a9062311f01b6e Mon Sep 17 00:00:00 2001 From: Masahiro Kitagawa Date: Tue, 2 Dec 2025 12:09:52 +0900 Subject: [PATCH 1/3] style: Use Roman font for derivertives and sine --- src/content/2.1/declarative-programming.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/content/2.1/declarative-programming.tex b/src/content/2.1/declarative-programming.tex index d20ad02d7..9b0d9782f 100644 --- a/src/content/2.1/declarative-programming.tex +++ b/src/content/2.1/declarative-programming.tex @@ -66,8 +66,8 @@ These are the direct encodings of the differential equations corresponding to Newton's laws of motion: \begin{align*} - F & = m \frac{dv}{dt} \\ - v & = \frac{dx}{dt} + F & = m \frac{\mathrm{d}v}{\mathrm{d}t} \\ + v & = \frac{\mathrm{d}x}{\mathrm{d}t} \end{align*} Similar methods may be applied to more complex problems, like the propagation of electromagnetic fields using Maxwell's equations, or even @@ -93,7 +93,7 @@ ray refract at the boundary of air and water, resulting in Snell's law of refraction: \begin{equation*} - \frac{sin(\theta_1)}{sin(\theta_2)} = \frac{v_1}{v_2} + \frac{\sin\theta_1}{\sin\theta_2} = \frac{v_1}{v_2} \end{equation*} where $v_1$ is the speed of light in the air and $v_2$ is the speed of light in the water. From f539c7e1e908a81b3a812ac0f28472a1c870c464 Mon Sep 17 00:00:00 2001 From: Masahiro Kitagawa Date: Tue, 2 Dec 2025 12:19:26 +0900 Subject: [PATCH 2/3] fix: Mortar slows down not only at the top It slows down all the way until it reaches there --- src/content/2.1/declarative-programming.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/content/2.1/declarative-programming.tex b/src/content/2.1/declarative-programming.tex index 9b0d9782f..a52cd2879 100644 --- a/src/content/2.1/declarative-programming.tex +++ b/src/content/2.1/declarative-programming.tex @@ -111,7 +111,7 @@ the total energy). When you fire a mortar to hit a given target, the projectile will first go up, where the potential energy due to gravity is higher, and spend some time there racking up negative contribution to -the action. It will also slow down at the top of the parabola, to +the action. It will also slow down toward the top of the parabola, to minimize kinetic energy. Then it will speed up to go quickly through the area of low potential energy. From 8824bde1af8c7e085b59bc940d6117fff19946aa Mon Sep 17 00:00:00 2001 From: Masahiro Kitagawa Date: Sun, 4 Jan 2026 13:59:14 +0900 Subject: [PATCH 3/3] style: Remove parentheses inside of sqrt --- src/content/2.2/limits-and-colimits.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/content/2.2/limits-and-colimits.tex b/src/content/2.2/limits-and-colimits.tex index 997d1e932..3cbdc68a7 100644 --- a/src/content/2.2/limits-and-colimits.tex +++ b/src/content/2.2/limits-and-colimits.tex @@ -461,7 +461,7 @@ \section{Examples of Limits} $a$ could, for instance, be the set of three-dimensional vectors, and $f$ the vector length. Then the pullback is the set of pairs $(v, ())$, where $v$ is a vector of length 1.23 (a -solution to the equation $\sqrt{(x^{2}+y^{2}+z^{2})} = 1.23$), and +solution to the equation $\sqrt{x^{2}+y^{2}+z^{2}} = 1.23$), and $()$ is the dummy element of the singleton set. But pullbacks have more general applications, also in programming. For