現在の状況は… 無限の時間にわたって動作するプログラムを半環の極限として表すことができるのではないかということで、それに似た代数的構造を探そうとしています。 それを探す手段として、圏論の計算を数式の変形で行おうと考えていますがまだそこまでたど…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。