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

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

対称式の基本定理・証明1・一般の場合

次に、一般の場合について証明します。その前に、基本対称式の定義をもう一度書いておきます。