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

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

2020-01-23から1日間の記事一覧

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

関数プログラミングと論理プログラミングを対応させることによって、入出力が無限に実行されるプログラムをどのように書けば良いのかを考えていきます。関数プログラミングで無限に続く入出力を書く方法を考える必要はあるのですが、それを記述する言葉がな…