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

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

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

中間報告(8)

このブログでは、「無限の項を持つ多項式のようなもの」(「無限論理多項式」と呼ぶことにします)を使って、サーバーで無限に実行されるプログラムとブラウザーで実行されるプログラムの組み合わせを表そうとしています。この「無限論理多項式」の定義につい…