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

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

2020-02-10から1日間の記事一覧

論理計算と随伴関手(7)

論理プログラミングの「極限」は逆像として表すことができることがわかりましたが、逆像は「引き戻し」として表すことができるようです。「引き戻し」は「極限」で表すことができるのでここから考えていきます。環の理論を使ってクライアント側の関数プログ…