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

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

2015-10-22から1日間の記事一覧

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

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