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

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

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

エレファントな関数論(1)

行列の行または列を入れ替える操作によって不変であるようなものの記法について、テンソル積を使って書くことができるかと思いましたが、今のところできていません。行または列の結合を可換な和と考えればよいと思われるので可換な和の記法、推移律の記法に…