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

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

中間報告(1)

現在の状況は…
無限の時間にわたって動作するプログラムを半環の極限として表すことができるのではないかということで、それに似た代数的構造を探そうとしています。
それを探す手段として、圏論の計算を数式の変形で行おうと考えていますがまだそこまでたどり着いていません。