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

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

2022-01-17から1日間の記事一覧

関数プログラミングと無限論理多項式(1)

この記事では、サーバーで無限に実行されるプログラムとブラウザーで実行されるプログラムを組み合わせたものを記述する方法について考えていきます。まずC#のイテレーターで考えてみます。今後はHaskellなどのプログラミング言語とも比較していきたいと思い…