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

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

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

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

エラトステネスのふるい(2) 整数の場合 次に「エラトステネスのふるい」の整数の場合を考えます。 を整数全体の集合とし、以下 とします。 を自然数全体の集合とし、 を を の絶対値に写す写像とします。 は となる が存在するとき の単元と呼びます。 の単…