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

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

2020-10-10から1日間の記事一覧

声に出して読めなくもない数学(1)

無限の順序を指定する方法を考えるということがこのブログの1つの目的なのですが、そのためには数学の理論のイメージを持つ必要があると考えています。「声に出して読みたい…」というのが以前ありましたが、数学に置き換えると数式の操作を通じてイメージを…