2021-11-14から1日間の記事一覧
概要 先の記事に書きましたとおり、等式の完備化ツールをCommon Lispで作ってみています。 zkat.hatenablog.com このツールを使って、いくつかの問題を実際に完備化してみたいと思いました。 試してみる とは言っても、いい感じの入力となる問題を自分で作る…
概要 先の記事に書きましたとおり、等式の完備化ツールをCommon Lispで作ってみています。 zkat.hatenablog.com このツールを使って、いくつかの問題を実際に完備化してみたいと思いました。 試してみる とは言っても、いい感じの入力となる問題を自分で作る…