超離散極限の原理のデモです．すなわち，基本公式 \[ \lim_{\epsilon \to +0}\epsilon\log(\mathrm e^{a/\epsilon}+\mathrm e^{x/\epsilon})=\max(a, x) \] の成立（$a=-1$ の場合）を確認することができます．右側のスライダーを下に動かすと $\epsilon$ が小さくなり，max 関数に近づいていく様子が見えます．