Bonsoir!!

data nat : Set where
  zero : nat
  suc : nat -> nat

• foooo¹
• baarrr

ha $1 + 2 = a^b$

おはようございます。

$$e^{ix} = \cos{x} + i\sin{x}$$

微分方程式など

以下の微分方程式を解く。

$$x' = \frac{x}{t+1}$$ $$\frac{1}{x} x' = \frac{1}{t+1}$$

両辺を$t$について積分すると、

$$\int \frac{1}{x} \mathrm{d}x = \int \frac{1}{t+1} \mathrm{d}t + c$$

よって、

$$\log(x) = \log(t+1) + c$$ $$\log\left(\frac{x}{t+1}\right) = c$$ $$\frac{x}{t+1} = e^c$$

したがって、

$$x = k(t + 1)$$

となる。

Footnotes

1. yayayay ↩