背景 論理プログラミングの考え方ではプログラムを論理式と考えることができます。論理プログラミングで無限の時間実行するプログラムについて考えてみます。論理式の作るブール代数を半環と見ることで、環の極限と同様に極限を定義することができます。実際…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。