少し説明を追加しておきます。CLPのプログラムを「論理式を他の論理式に変換するもの」(1ステップの変換)と考えたものを「構文」、その1ステップの変換を無限に繰り返すことによって、CLPプログラムを「論理式を実行結果に写す写像」と考えたものを「効果」…

数学とソフトウェアのページで行っている調査は、C#でライブラリを作ろうしたとき、ライブラリに機能を追加することが簡単にできないか、C#には関数プログラミング的な機能があるので、それを利用して自動的にライブラリに機能を追加することはできないか、…