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

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

関数プログラミング(3)

関数プログラミングで無限に行われる入出力を書くときにどこに書くのかというだいたいの説明はできたのですが、厳密な説明ではないところが多いのでちゃんと説明できているのかはまだよくわかりません。この点をはっきりさせるために関数プログラミングでも「極限」で定義できるかどうかについて考えてみます。まず関数プログラミングを表す数学的構造はどのようなものにすれば良いか、今後考えていきます。