logoを使って足し算を定義する (defrel (++o n m k) (logo k n '(1) m))でいいんじゃね > (run* k (++o '(1 1) '(1 0 1) k)) '((0 0 0 1))
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。