kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2019-12-23から1日間の記事一覧

Reasoned Schemer (69) 勘違い修正

いろいろ考え直さないとか? ↓みたいなのやっていくときはqをqのままにしないで書き替えてったほうがいいのかなー (run* q (== q 'pea)) = (run #f q (== q 'pea)) = (let ((q (var 'q))) (map (reify q) (run-goal #f (conj (== q 'pea))))) = ...