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

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

2021-01-31から1日間の記事一覧

エレファントな整数論(18)

整数の素因数分解 整数 が素数であることは (1) ならば または であることと同値となります。素数全体の集合を とし、 を の絶対値とします。 とおくと となります。 に対して 、 と書くことにします。 (2) ならば は素数の積で表すことができます。 [証明] …