エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

$\zeta(s) = 0$ となる $s$ を零点と言います。 $-2, -4, -6, \cdots$ はリーマンのゼータ関数の零点となります。（これもあとで説明する予定です）