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

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

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

今後の課題

数学的帰納法の記法 数学的帰納法に関する計算を「」という書き方でやっています。「素因数分解の一意性」の証明をこの記法で行うことが目標となっています。このままの記法でできると思うのですが、できない場合は新しい記法を考えていきます。 可換な和、…