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

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

2023-01-01から1ヶ月間の記事一覧

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

演算が「多重集合・自由可換モノイド(2)」と同じようになったので書き方を戻すことにします。単項イデアル整域のイデアル全体の集合の作る半環について考えます。単項イデアル整域の素元分解が可能であることの説明を数式で書いてみたのですが、少し長くなり…

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

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