ACL2のサンプルを思わずベタ書き。 http://userweb.cs.utexas.edu/users/moore/acl2/v3-6/TUTORIAL1-TOWERS-OF-HANOI.html (defn move [a b] ['move a 'to b]) (defn hanoi [a b c n] (if (< n 1) nil (if (= n 1) (list (move a c)) (concat (hanoi a c b (…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。