エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2015-01-01から1年間の記事一覧

少し追加

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

論理プログラミング・関数プログラミングの調査

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