目標 「モノイド的構文解析」では構文解析を冪等半環で表し、それを C# 形式で記述しました。ここでは論理プログラミングについて同様のことを試みます。この考察を発展させて論理プログラミングとクロージャーの関連についても調査する予定です。これがどの…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
