2021-01-11から1日間の記事一覧
エラトステネスのふるい(1) 一般の整域の場合 ここでは既約元の定義から「エラトステネスのふるい」を一般化したものを導くことを考えます。 を整域とします。 は となる が存在するとき の単元と呼びます。 の単元全体の集合を と書きます。 とおきます。 …
エレファント・コンピューティング調査報告
極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。