tag: Lisp

Common Lisp の CLOG で YouTube のプレイリスト機能を実装してみた

<2022-09-03 Sat>

ACL2 で非末尾再帰と末尾再帰の階乗関数が等しいことを証明した

<2022-08-17 Wed>