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

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

2021-06-21から1日間の記事一覧

中間報告(6)

このブログは、論理プログラミングに実行順序を指定する機能を追加するため、現在は主に数学的帰納法や可換モノイドについてプログラミング言語で記述する方法を調査しています。 前回の中間報告以降更新したもの 代数的構造による圏論 ← 斜めの線を使わない…