エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

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

多重集合・自由可換モノイド(6)

「数学ではできるがコンピューターではできないこと」、「コンピューターではできるが数学ではできないこと」があると考えられていると、私の感想ですが、思います。これらは実際にできないということではなく、それを記述する方法がないのではないかと、私…